How secure is ERTMS?

This paper reports on the results of a security analysis of the European Railway Traffic Management System (ERTMS) specifications. ERTMS is designed to be fail-safe and the general philosophy of ‘if in doubt, stop the train’ makes it difficult to engineer a train accident. However, it is possible to exploit the fail-safe behaviour of ERTMS and create a situation that causes a train to halt. Thus, denial of service attacks are possible, and could be launched at a time and place of the attacker’s choosing, perhaps designed to cause maximum disruption or passenger discomfort. Causing an accident is more difficult but not impossible

A new polymorph of phenylselenium trichloride

A second polymorph of phenylselenium trichloride, PhSeCl3 or C6H5Cl3Se, is disclosed, which is comprised of asymmetric chlorine-bridged noncovalent dimer units rather than polymeric chains. These dimers are each weakly bound to an adjacent dimer through noncovalent Se...Cl bonding interactions. Phenyl rings within each dimer are oriented in a syn fashion. Density functional theory (DFT) calculations reveal that the putative anti isomer is within 5 kJ mol-1 of the experimentally observed form. This structure represents the first additional polymorph discovered for an organoselenium trihalide compound.https://doi.org/10.1107/S205322961901301

Worst Case Reliability Prediction Based on a Prior Estimate of Residual Defects

In this paper we extend an earlier worst case bound reliability theory to derive a worst case reliability function R(t), which gives the worst case probability of surviving a further time t given an estimate of residual defects in the software N and a prior test time T. The earlier theory and its extension are presented and the paper also considers the case where there is a low probability of any defect existing in the program. For the "fractional defect" case, there can be a high probability of surviving any subsequent time t. The implications of the theory are discussed and compared with alternative reliability models

Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction

Prior research has suggested that the failure rates of faults follow a log normal distribution. We propose a specific model where distributions close to a log normal arise naturally from the program structure. The log normal distribution presents a problem when used in reliability growth models as it is not mathematically tractable. However we demonstrate that a worst case bound can be estimated that is less pessimistic than our earlier worst case bound theory

A Methodology for Safety Case Development

This paper will outline a safety case methodology that seeks to minimise safety risks and commercial risks by constructing a demonstrable safety case. The safety case ideas presented here were initially developed in an EU-sponsored SHIP project [1] and was then further developed in the UK Nuclear Safety Research Programme (the QUARC Project [2]). Some of these concepts have subsequently been incorporated in safety standards such as MOD Def Stan 00-55, and have also been used to establish specific safety cases for clients. A generalisation of the concepts also appears in Def Stan 00-42 Part 2, in the form of the software reliability case

Confidence: Its role in dependability cases for risk assessment

Society is increasingly requiring quantitative assessment of risk and associated dependability cases. Informally, a dependability case comprises some reasoning, based on assumptions and evidence, that supports a dependability claim at a particular level of confidence. In this paper we argue that a quantitative assessment of claim confidence is necessary for proper assessment of risk. We discuss the way in which confidence depends upon uncertainty about the underpinnings of the dependability case (truth of assumptions, correctness of reasoning, strength of evidence), and propose that probability is the appropriate measure of uncertainty. We discuss some of the obstacles to quantitative assessment of confidence (issues of composability of subsystem claims; of the multi-dimensional, multi-attribute nature of dependability claims; of the difficult role played by dependence between different kinds of evidence, assumptions, etc). We show that, even in simple cases, the confidence in a claim arising from a dependability case can be surprisingly low

Magnetism and Magnetic Isomers in Free Chromium Clusters

We have used the Stern-Gerlach deflection technique to study magnetism in chromium clusters of 20-133 atoms. Between 60 K and 100 K, we observe that these clusters have large magnetic moments and respond superparamagnetically to applied magnetic fields. Using superparamagnetic theory, we have determined the moment per atom for each cluster size and find that it often far exceeds the moment per atom present anywhere in the bulk antiferromagnetic lattice. Remarkably, our cluster beam contains two magnetically distinguishable forms of each cluster size with >= 34 atoms. We attribute this observation to structural isomers