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

Computer Science

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

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	SAFECOMP '09
Subtitle of host publication	Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	215-228
Number of pages	14
ISBN (Print)	978-3-642-04467-0
DOIs	https://doi.org/10.1007/978-3-642-04468-7_18
Publication status	Published - 2009

Publication series

Name	Lecture Notes In Computer Science
Publisher	Springer
Volume	5775
ISSN (Print)	0302-9743

Keywords

failure
safety analysis
probabilistic analysis
component-based system

Access to Document

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

http://www.springerlink.com/content/93x1031136407w36/

Cite this

@inproceedings{74918881fd5448bcb937ab2ef7a47955,

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 = "failure, safety analysis, probabilistic analysis, component-based system",

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 = "978-3-642-04467-0",

series = "Lecture Notes In Computer Science",

publisher = "Springer",

pages = "215--228",

booktitle = "SAFECOMP '09",

address = "Germany",

}

Probabilistic Failure Propagation and Transformation Analysis. / Ge, Xiaocheng ; Paige, Richard F.; McDermid, John A.
SAFECOMP '09 : Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security. Berlin, Heidelberg: Springer, 2009. p. 215-228 (Lecture Notes In Computer Science; Vol. 5775).

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

TY - GEN

T1 - Probabilistic Failure Propagation and Transformation Analysis

AU - Ge, Xiaocheng

AU - Paige, Richard F.

AU - McDermid, John A.

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 - failure

KW - safety analysis

KW - probabilistic analysis

KW - component-based system

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

SN - 978-3-642-04467-0

T3 - Lecture Notes In Computer Science

SP - 215

EP - 228

BT - SAFECOMP '09

PB - Springer

CY - Berlin, Heidelberg

ER -

Probabilistic Failure Propagation and Transformation Analysis

Abstract

Publication series

Keywords

Access to Document

Other files and links

Refinement patterns for contractual statecharts

Cite this

Probabilistic Failure Propagation and Transformation Analysis

Abstract

Publication series

Keywords

Access to Document

Other files and links

Projects

Refinement patterns for contractual statecharts

Cite this