Probabilistic Failure Propagation and Transformation Analysis

Xiaocheng Ge, Richard F. Paige, John A. McDermid

Research output: Chapter in Book/Report/Conference proceedingConference contribution

30 Citations (Scopus)

Abstract

A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification of acceptable behaviour. A system can exhibit failure behaviour in many ways, including that from failures of individual or a small number of components. It is important for safety engineers to understand how system failure behaviour relates to failures exhibited by individual components. In this paper, we propose a safety analysis technique, failure propagation and transformation analysis (FPTA), which automatically and quantitatively analyses failures based on a model of failure logic. The technique integrates previous work on automated failure analysis with probabilistic model checking supported by the PRISM tool. We demonstrate the technique and tool on a small, yet realistic safety-related application.

Original languageEnglish
Title of host publicationComputer Safety, Reliability, and Security
Subtitle of host publication28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings
EditorsBettina Buth, Gerd Rabe, Till Seyfarth
PublisherSpringer-Verlag Berlin Heidelberg
Pages215-228
Number of pages14
VolumeLNCS 5775
Edition1
ISBN (Electronic)9783642044687
ISBN (Print)3642044670, 9783642044670
DOIs
Publication statusPublished - 2009
Externally publishedYes
Event28th International Conference on Computer Safety, Reliability, and Security - Hamburg, Germany
Duration: 15 Sep 200918 Sep 2009
Conference number: 28
https://www.springer.com/de/book/9783642044670

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer
Volume5775
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference28th International Conference on Computer Safety, Reliability, and Security
Abbreviated titleSAFECOMP 2009
CountryGermany
CityHamburg
Period15/09/0918/09/09
Internet address

Fingerprint Dive into the research topics of 'Probabilistic Failure Propagation and Transformation Analysis'. Together they form a unique fingerprint.

  • Cite this

    Ge, X., Paige, R. F., & McDermid, J. A. (2009). Probabilistic Failure Propagation and Transformation Analysis. In B. Buth, G. Rabe, & T. Seyfarth (Eds.), Computer Safety, Reliability, and Security: 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings (1 ed., Vol. LNCS 5775, pp. 215-228). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5775). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-642-04468-7_18