The Law Commission presumption concerning the dependability of computer evidence

We consider the condition set out in section 69(1)(b) of the Police and Criminal Evidence Act 1984 (PACE 1984) that reliance on computer evidence should be subject to proof of its correctness, and compare it to the 1997 Law Commission recommendation that acommon law presumption be used that a computer operated correctly unless there is explicit evidence to the contrary (LC Presumption). We understand the LC Presumption prevails in current legal proceedings. We demonstrate that neither section 69(1)(b) of PACE 1984 nor the LC presumption reflects the reality of general software-based system behaviour

Briefing Note: The legal rule that computers are presumed to be operating correctly – unforeseen and unjust consequences

The presumption that computers are reliable in England and Wales is proved to be wrong

The ‘digital glimpse’ as imagining home

This paper proposes the concept of the ‘digital glimpse’, which develops the existing framing of imaginative travel. Here it articulates the experiences of mobile workers digitally connecting into family life and everyday rituals when physically absent with work. The recent embedding of digital communication technologies into personal relationships and family life is reconfiguring how absence is experienced and practiced by workers on the move, and through this, new digital paradigms for life on-the-move are emerging. This paper explores how such social relationships are maintained at-a-distance through digital technology – using evidence from qualitative interviews with mobile workers and their families. Digital technology now enables expressive forms of ‘virtual travel’, including video calling, picture sharing, and instant messaging. This has implications for the ways in which families can manage the social and relational pressures of being apart. Experiences of imaginative travel created through novel media can enrich the experience and give a greater sense of connection for both those who are at home and those who are away. While technology is limited in its ability to replicate a sense of co-presence, ‘digital glimpses’ are an emergent set of sociotechnical practices that can reduce the negative impact of absence on family relationships

The legal rule that computers are presumed to be operating correctly – unforeseen and unjust consequences

In England and Wales, courts consider computers, as a matter of law, to have been working correctly unless there is evidence to the contrary. Therefore, evidence produced by computers is treated as reliable unless other evidence suggests otherwise. This way of handling evidence is known as a ‘rebuttable presumption’. A court will treat a computer as if it is working perfectly unless someone can show why that is not the case. This presumption poses a challenge to those who dispute evidence produced by a computer system. Frequently the challenge is insurmountable, particularly where a substantial institution operates the system. The Post Office Horizon scandal clearly exposes the problem and the harm that may result. From 1999, the Post Office prosecuted hundreds of postmasters and Post Office employees for theft and fraud based on evidence produced by the Horizon computer system showing shortfalls in their branch accounts. In those prosecutions, the Post Office relied on the presumption that computers were operating correctly. Hundreds of postmasters and others were convicted, sentenced to terms of imprisonment, fined, or had their property confiscated. This clearly demonstrated that the Law Commission’s assertion that ‘such a regime would work fairly’ was flawed. In the December 2019 judgment in the group litigation Bates v The Post Office Ltd (No 6: Horizon Issues) Rev 1, Mr Justice Fraser concluded that it was possible that software errors in Horizon could have caused apparent shortfalls in branch accounts, rather than these being due to theft or fraud. Following this judgement, the Criminal Cases Review Commission referred an unprecedented number of convictions, based upon the supposed shortfalls in the Horizon accounts, to the Court of Appeal. Appeal courts have quashed more than 70 convictions at the time of writing. There will be many more appeals and many more convictions quashed in what is likely the largest miscarriage of justice in British history. Were it not for the group litigation, the fundamental unreliability of the software in the Post Office’s Horizon computer system would not have been revealed, as previous challenges to Horizon’s correctness were unable to rebut the presumption of reliability for computer evidence. The financial risk of bringing legal action deterred other challenges. Similar issues apply in other situations where the reliability of computer evidence is questioned, such as in payment disputes. The legal presumption, as applied in practice, has exposed widespread misunderstanding about the nature of computer failures – in particular, the fact that these are almost invariably failures of software. The presumption has been the cause of widespread injustice. There is a pressing requirement for the presumption to be re-evaluated to avoid the risk of further or continuing injustice. We propose that the presumption that computer evidence is reliable be replaced with a process where if computer evidence is challenged, a party must justify the correctness of the evidence upon which they rely. The proposed process, summarised below, requires the disclosure of documents that would already exist in any well-managed computer system. The procedural and evidential safeguards of the kind we propose would probably have avoided the disastrous repeated miscarriages of justice over the past 20 years

Recommendations for the probity of computer evidence

There exists widespread misunderstanding about the nature of computers and how and why they are liable to fail. The present approach to the disclosure or discovery and evaluation of evidence produced by computers in legal proceedings is unsatisfactory. The central problem is the evidential presumption that computers are reliable. This presumption is not warranted. To this end, recommendations are proposed to rectify this problem with the aim of increasing the probability of a fair trial

Probabilistic Model-Based Safety Analysis

Model-based safety analysis approaches aim at finding critical failure combinations by analysis of models of the whole system (i.e. software, hardware, failure modes and environment). The advantage of these methods compared to traditional approaches is that the analysis of the whole system gives more precise results. Only few model-based approaches have been applied to answer quantitative questions in safety analysis, often limited to analysis of specific failure propagation models, limited types of failure modes or without system dynamics and behavior, as direct quantitative analysis is uses large amounts of computing resources. New achievements in the domain of (probabilistic) model-checking now allow for overcoming this problem. This paper shows how functional models based on synchronous parallel semantics, which can be used for system design, implementation and qualitative safety analysis, can be directly re-used for (model-based) quantitative safety analysis. Accurate modeling of different types of probabilistic failure occurrence is shown as well as accurate interpretation of the results of the analysis. This allows for reliable and expressive assessment of the safety of a system in early design stages

The SPectrometer for Ice Nuclei (SPIN): an instrument to investigate ice nucleation

The SPectrometer for Ice Nuclei (SPIN) is a commercially available ice nucleating particle (INP) counter manufactured by Droplet Measurement Technologies in Boulder, CO. The SPIN is a continuous flow diffusion chamber with parallel plate geometry based on the Zurich Ice Nucleation Chamber and the Portable Ice Nucleation Chamber. This study presents a standard description for using the SPIN instrument and also highlights methods to analyze measurements in more advanced ways. It characterizes and describes the behavior of the SPIN chamber, reports data from laboratory measurements, and quantifies uncertainties associated with the measurements. Experiments with ammonium sulfate are used to investigate homogeneous freezing of deliquesced haze droplets and droplet breakthrough. Experiments with kaolinite, NX illite, and silver iodide are used to investigate heterogeneous ice nucleation. SPIN nucleation results are compared to those from the literature. A machine learning approach for analyzing depolarization data from the SPIN optical particle counter is also presented (as an advanced use). Overall, we report that the SPIN is able to reproduce previous INP counter measurements

Non-Local Configuration of Component Interfaces by Constraint Satisfaction

© 2020 Springer-Verlag. The final publication is available at Springer via https://doi.org/10.1007/s10601-020-09309-y.Service-oriented computing is the paradigm that utilises services as fundamental elements for developing applications. Service composition, where data consistency becomes especially important, is still a key challenge for service-oriented computing. We maintain that there is one aspect of Web service communication on the data conformance side that has so far escaped the researchers attention. Aggregation of networked services gives rise to long pipelines, or quasi-pipeline structures, where there is a profitable form of inheritance called flow inheritance. In its presence, interface reconciliation ceases to be a local procedure, and hence it requires distributed constraint satisfaction of a special kind. We propose a constraint language for this, and present a solver which implements it. In addition, our approach provides a binding between the language and C++, whereby the assignment to the variables found by the solver is automatically translated into a transformation of C++ code. This makes the C++ Web service context compliant without any further communication. Besides, it uniquely permits a very high degree of flexibility of a C++ coded Web service without making public any part of its source code.Peer reviewe

Consumer behaviour and the life-course: shopper reactions to self service grocery shops and supermarkets in England c.1947-1975

This is the author accepted manuscript. The final version is available from SAGE Publications via the DOI in this recordThe paper examines the development of self-service grocery shopping from a consumer perspective. Using qualitative data constructed through a nationwide biographical survey and oral histories, it is possible to go beyond contemporary market surveys which give insufficient attention to shopping as a socially and culturally embedded practice. The paper uses the conceptual framework of the life-course, to demonstrate how grocery shopping is a complex activity, in which the retail encounter is shaped by the specific interconnection of different retail formats with consumer characteristics and situational influences. Consumer reactions to retail modernization must be understood in relation to the development of consumer practices at points of transition and stability within the life-course. These practices are accessed by examining retrospective consumer narratives about food shopping