Assessment of the Quality of Safety Cases: A Research Preview

Proceedings of the 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019.[Context and motivation] Safety-critical systems in application domains such as aerospace, automotive, healthcare, and railway are subject to assurance processes to provide confidence that the systems do not pose undue risks to people, property, or the environment. The development of safety cases is usually part of these processes to justify that a system satisfies its safety requirements and thus is dependable. [Question/problem] Although safety cases have been used in industry for over two decades, their management still requires improvement. Important weaknesses have been identified and means to assess the quality of safety cases are limited. [Principal ideas/results] This paper presents a research preview on the assessment of the quality of safety cases. We explain how the area should develop and present our preliminary work towards enabling the assessment with Verification Studio, an industrial tool for system artefact quality analysis. [Contribution] The insights provided allow researchers and practitioners to gain an understanding of why safety case quality requires further investigation, what aspects must be considered, and how quality assessment could be performed in practice.The research leading to this paper has received funding from the AMASS project (H2020-ECSEL ID 692474; Spain’s MINECO ref. PCIN-2015-262). We also thank REFSQ reviewers for their valuable comments to improve the paper

Experimental realisation of Shor's quantum factoring algorithm using qubit recycling

Quantum computational algorithms exploit quantum mechanics to solve problems exponentially faster than the best classical algorithms. Shor's quantum algorithm for fast number factoring is a key example and the prime motivator in the international effort to realise a quantum computer. However, due to the substantial resource requirement, to date, there have been only four small-scale demonstrations. Here we address this resource demand and demonstrate a scalable version of Shor's algorithm in which the n qubit control register is replaced by a single qubit that is recycled n times: the total number of qubits is one third of that required in the standard protocol. Encoding the work register in higher-dimensional states, we implement a two-photon compiled algorithm to factor N=21. The algorithmic output is distinguishable from noise, in contrast to previous demonstrations. These results point to larger-scale implementations of Shor's algorithm by harnessing scalable resource reductions applicable to all physical architectures.Comment: 7 pages, 3 figure

Kerr-Newman Black Hole Thermodynamical State Space: Blockwise Coordinates

A coordinate system that blockwise-simplifies the Kerr-Newman black hole's thermodynamical state space Ruppeiner metric geometry is constructed, with discussion of the limiting cases corresponding to simpler black holes. It is deduced that one of the three conformal Killing vectors of the Reissner-Nordstrom and Kerr cases (whose thermodynamical state space metrics are 2 by 2 and conformally flat) survives generalization to the Kerr-Newman case's 3 by 3 thermodynamical state space metric.Comment: 4 pages incl 2 figs. Accepted by Gen. Rel. Grav. Replaced with Accepted version (minor corrections

Direct Formation of Supermassive Black Holes via Multi-Scale Gas Inflows in Galaxy Mergers

Observations of distant bright quasars suggest that billion solar mass supermassive black holes (SMBHs) were already in place less than a billion years after the Big Bang. Models in which light black hole seeds form by the collapse of primordial metal-free stars cannot explain their rapid appearance due to inefficient gas accretion. Alternatively, these black holes may form by direct collapse of gas at the center of protogalaxies. However, this requires metal-free gas that does not cool efficiently and thus is not turned into stars, in contrast with the rapid metal enrichment of protogalaxies. Here we use a numerical simulation to show that mergers between massive protogalaxies naturally produce the required central gas accumulation with no need to suppress star formation. Merger-driven gas inflows produce an unstable, massive nuclear gas disk. Within the disk a second gas inflow accumulates more than 100 million solar masses of gas in a sub-parsec scale cloud in one hundred thousand years. The cloud undergoes gravitational collapse, which eventually leads to the formation of a massive black hole. The black hole can grow to a billion solar masses in less than a billion years by accreting gas from the surrounding disk.Comment: 26 pages, 4 Figures, submitted to Nature (includes Supplementary Information

Spacetime Noncommutativity in Models with Warped Extradimensions

We construct consistent noncommutative (NC) deformations of the Randall-Sundrum spacetime that solve the NC Einstein equations with a non-trivial Poisson tensor depending on the fifth coordinate. In a class of these deformations where the Poisson tensor is exponentially localized on one of the branes (the NC-brane), we study the effects on bulk particles in terms of Lorentz-violating operators induced by NC-brane interactions. We sketch two models in which massive bulk particles mediate NC effects to an almost-commutative SM-brane, such that observables at high energy colliders are enhanced with respect to low energy and astrophysical observables.Comment: 15 pages, LaTeX, pdf figures included, to appear in JHE

Two classes of nonlocal Evolution Equations related by a shared Traveling Wave Problem

We consider reaction-diffusion equations and Korteweg-de Vries-Burgers (KdVB) equations, i.e. scalar conservation laws with diffusive-dispersive regularization. We review the existence of traveling wave solutions for these two classes of evolution equations. For classical equations the traveling wave problem (TWP) for a local KdVB equation can be identified with the TWP for a reaction-diffusion equation. In this article we study this relationship for these two classes of evolution equations with nonlocal diffusion/dispersion. This connection is especially useful, if the TW equation is not studied directly, but the existence of a TWS is proven using one of the evolution equations instead. Finally, we present three models from fluid dynamics and discuss the TWP via its link to associated reaction-diffusion equations

The Human Fungal Pathogen Cryptococcus neoformans Escapes Macrophages by a Phagosome Emptying Mechanism That Is Inhibited by Arp2/3 Complex-Mediated Actin Polymerisation

The lysis of infected cells by disease-causing microorganisms is an efficient but risky strategy for disseminated infection, as it exposes the pathogen to the full repertoire of the host's immune system. Cryptococcus neoformans is a widespread fungal pathogen that causes a fatal meningitis in HIV and other immunocompromised patients. Following intracellular growth, cryptococci are able to escape their host cells by a non-lytic expulsive mechanism that may contribute to the invasion of the central nervous system. Non-lytic escape is also exhibited by some bacterial pathogens and is likely to facilitate long-term avoidance of the host immune system during latency. Here we show that phagosomes containing intracellular cryptococci undergo repeated cycles of actin polymerisation. These actin ‘flashes’ occur in both murine and human macrophages and are dependent on classical WASP-Arp2/3 complex mediated actin filament nucleation. Three dimensional confocal imaging time lapse revealed that such flashes are highly dynamic actin cages that form around the phagosome. Using fluorescent dextran as a phagosome membrane integrity probe, we find that the non-lytic expulsion of Cryptococcus occurs through fusion of the phagosome and plasma membranes and that, prior to expulsion, 95% of phagosomes become permeabilised, an event that is immediately followed by an actin flash. By using pharmacological agents to modulate both actin dynamics and upstream signalling events, we show that flash occurrence is inversely related to cryptococcal expulsion, suggesting that flashes may act to temporarily inhibit expulsion from infected phagocytes. In conclusion, our data reveal the existence of a novel actin-dependent process on phagosomes containing cryptococci that acts as a potential block to expulsion of Cryptococcus and may have significant implications for the dissemination of, and CNS invasion by, this organism.\ud \u