Probabilistic Failure Propagation and Transformation Analysis

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

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

32 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


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

Cite this