Probabilistic Failure Propagation and Transformation Analysis

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

doi:10.1007/978-3-642-04468-7_18

Probabilistic Failure Propagation and Transformation Analysis

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

33 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 language	English
Title of host publication	Computer Safety, Reliability, and Security
Subtitle of host publication	28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings
Editors	Bettina Buth, Gerd Rabe, Till Seyfarth
Publisher	Springer-Verlag Berlin Heidelberg
Pages	215-228
Number of pages	14
Volume	LNCS 5775
Edition	1
ISBN (Electronic)	9783642044687
ISBN (Print)	3642044670, 9783642044670
DOIs	https://doi.org/10.1007/978-3-642-04468-7_18
Publication status	Published - 2009
Externally published	Yes
Event	28th International Conference on Computer Safety, Reliability, and Security - Hamburg, Germany Duration: 15 Sept 2009 → 18 Sept 2009 Conference number: 28 https://www.springer.com/de/book/9783642044670

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer
Volume	5775
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	28th International Conference on Computer Safety, Reliability, and Security
Abbreviated title	SAFECOMP 2009
Country/Territory	Germany
City	Hamburg
Period	15/09/09 → 18/09/09
Internet address	https://www.springer.com/de/book/9783642044670

Access to Document

10.1007/978-3-642-04468-7_18Licence: Unspecified

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

Ge, Xiaocheng ; Paige, Richard F. ; McDermid, John A. / Probabilistic Failure Propagation and Transformation Analysis. Computer Safety, Reliability, and Security: 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings. editor / Bettina Buth ; Gerd Rabe ; Till Seyfarth. Vol. LNCS 5775 1. ed. Springer-Verlag Berlin Heidelberg, 2009. pp. 215-228 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{8a1d660e47cf43118fb0eef350a346f4,

title = "Probabilistic Failure Propagation and Transformation Analysis",

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.",

keywords = "Component-based system, Failure, Probabilistic analysis, Safety analysis",

author = "Xiaocheng Ge and Paige, {Richard F.} and McDermid, {John A.}",

year = "2009",

doi = "10.1007/978-3-642-04468-7_18",

language = "English",

isbn = "3642044670",

volume = "LNCS 5775",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag Berlin Heidelberg",

pages = "215--228",

editor = "Bettina Buth and Gerd Rabe and Till Seyfarth",

booktitle = "Computer Safety, Reliability, and Security",

address = "Germany",

edition = "1",

note = "28th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2009 ; Conference date: 15-09-2009 Through 18-09-2009",

url = "https://www.springer.com/de/book/9783642044670",

}

Ge, X, Paige, RF & McDermid, JA 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 edn, vol. LNCS 5775, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5775, Springer-Verlag Berlin Heidelberg, pp. 215-228, 28th International Conference on Computer Safety, Reliability, and Security, Hamburg, Hamburg, Germany, 15/09/09. https://doi.org/10.1007/978-3-642-04468-7_18

Probabilistic Failure Propagation and Transformation Analysis. / Ge, Xiaocheng; Paige, Richard F.; McDermid, John A.
Computer Safety, Reliability, and Security: 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings. ed. / Bettina Buth; Gerd Rabe; Till Seyfarth. Vol. LNCS 5775 1. ed. Springer-Verlag Berlin Heidelberg, 2009. p. 215-228 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5775).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Probabilistic Failure Propagation and Transformation Analysis

AU - Ge, Xiaocheng

AU - Paige, Richard F.

AU - McDermid, John A.

N1 - Conference code: 28

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

KW - Component-based system

KW - Failure

KW - Probabilistic analysis

KW - Safety analysis

UR - http://www.scopus.com/inward/record.url?scp=70350440692&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-04468-7_18

DO - 10.1007/978-3-642-04468-7_18

M3 - Conference contribution

AN - SCOPUS:70350440692

SN - 3642044670

SN - 9783642044670

VL - LNCS 5775

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 215

EP - 228

BT - Computer Safety, Reliability, and Security

A2 - Buth, Bettina

A2 - Rabe, Gerd

A2 - Seyfarth, Till

PB - Springer-Verlag Berlin Heidelberg

T2 - 28th International Conference on Computer Safety, Reliability, and Security

Y2 - 15 September 2009 through 18 September 2009

ER -

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

Probabilistic Failure Propagation and Transformation Analysis

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this