Probabilistic Failure Propagation and Transformation Analysis

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

30 Citations (Scopus)


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
Number of pages14
VolumeLNCS 5775
ISBN (Electronic)9783642044687
ISBN (Print)3642044670, 9783642044670
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

Publication series

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


Conference28th International Conference on Computer Safety, Reliability, and Security
Abbreviated titleSAFECOMP 2009
Internet address

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

Cite this