Formalizing Probabilistic Safety Claims
نویسندگان
چکیده
A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Littlewood, this paper presents a mathematical framework that can be used to state and formally prove probabilistic safety claims. It also enables hazardous conditions, their uncertainties, and their interactions to be integrated into the safety claim. This framework provides a formal description of the probabilistic composition of an arbitrary number of hazardous conditions and their effects on system behavior. An example is given of a probabilistic safety claim for a conflict detection algorithm for aircraft in a 2D airspace. The motivation for developing this mathematical framework is that it can be used in an automated theorem prover to formally verify safety claims.
منابع مشابه
The methodology of research in Traditional Medicine
In countries having traditional medicine (TM), one of the main challenges for any researcher is research methodology. Current methodologies are different with what was in past. The main purpose of this article is to present the steps (herbs, claims and methodology) of research in TM fields. 1. Assessment of herbs History, method of study, quality assessment, efficacy, safety, toxicity and the...
متن کاملThe methodology of research in Traditional Medicine
In countries having traditional medicine (TM), one of the main challenges for any researcher is research methodology. Current methodologies are different with what was in past. The main purpose of this article is to present the steps (herbs, claims and methodology) of research in TM fields. 1. Assessment of herbs History, method of study, quality assessment, efficacy, safety, toxicity and the...
متن کاملProbabilistic design: The future of rock engineering
A brief background to the development of the rock engineering design process is given, showing that since the development of the science of mathematics, deterministic methods have been used to perform various calculations. The variability of rock properties and support characteristics have always been known. However, they were not explicitly used in design but compensated for by the use of a sa...
متن کاملA pattern discovery framework for adverse event evaluation and inference in spontaneous reporting systems
Safety of medical products is a major public health concern. We present a critical discussion of the currently used analytical tools for mining spontaneous reporting systems (SRS) to identify safety signals after use of medical products. We introduce a pattern discovery framework for the analysis of SRS. The terminology ‘pattern discovery’ is borrowed from the engineering and artificial intelli...
متن کاملFormalizing Knowledge and Evidence about Potential Drug-drug Interactions
Potential drug-drug interactions (PDDI) are a significant source of preventable drug-related harm. One contributing factor is that there is no standard way to represent PDDI knowledge claims and associated evidence in a computable form. The research we present in this paper addresses this problem by creating a new version of the Drug Interaction Knowledge Base, with scalable, interlinkable repo...
متن کامل