Abstract

Fault tree analysis is a widespread industry standard for assessing system reliability. Standard (static) fault trees model the failure behaviour of systems in dependence of their component failures. To overcome their limited expressive power, common dependability patterns, such as spare management, functional dependencies, and sequencing are considered. A plethora of such dynamic fault trees (DFTs) have been defined in the literature. They differ in e.g., the types of gates (elements), their meaning, expressive power, the way in which failures propagate, how elements are claimed and activated, and how spare races are resolved. This paper systematically uncovers these differences and categorises existing DFT variants. As these differences may have huge impact on the reliability assessment, awareness of these impacts is important when using DFT modelling and analysis.
Original languageUndefined
Pages299-310
Number of pages12
DOIs
StatePublished - Jun 2016

Fingerprint

Fault tree analysis
Industry

Keywords

  • IR-104513
  • EWI-27798

Cite this

Junges, Sebastian; Guck, Dennis; Katoen, Joost P.; Stoelinga, Mariëlle Ida Antoinette / Uncovering dynamic fault trees.

2016. 299-310.

Research output: Scientific - peer-reviewPaper

@misc{9bf6b1a8f401478cb5f24c5a5fa41085,
title = "Uncovering dynamic fault trees",
abstract = "Fault tree analysis is a widespread industry standard for assessing system reliability. Standard (static) fault trees model the failure behaviour of systems in dependence of their component failures. To overcome their limited expressive power, common dependability patterns, such as spare management, functional dependencies, and sequencing are considered. A plethora of such dynamic fault trees (DFTs) have been defined in the literature. They differ in e.g., the types of gates (elements), their meaning, expressive power, the way in which failures propagate, how elements are claimed and activated, and how spare races are resolved. This paper systematically uncovers these differences and categorises existing DFT variants. As these differences may have huge impact on the reliability assessment, awareness of these impacts is important when using DFT modelling and analysis.",
keywords = "IR-104513, EWI-27798",
author = "Sebastian Junges and Dennis Guck and Katoen, {Joost P.} and Stoelinga, {Mariëlle Ida Antoinette}",
year = "2016",
month = "6",
doi = "10.1109/DSN.2016.35",
pages = "299--310",

}

Uncovering dynamic fault trees. / Junges, Sebastian; Guck, Dennis; Katoen, Joost P.; Stoelinga, Mariëlle Ida Antoinette.

2016. 299-310.

Research output: Scientific - peer-reviewPaper

TY - CONF

T1 - Uncovering dynamic fault trees

AU - Junges,Sebastian

AU - Guck,Dennis

AU - Katoen,Joost P.

AU - Stoelinga,Mariëlle Ida Antoinette

PY - 2016/6

Y1 - 2016/6

N2 - Fault tree analysis is a widespread industry standard for assessing system reliability. Standard (static) fault trees model the failure behaviour of systems in dependence of their component failures. To overcome their limited expressive power, common dependability patterns, such as spare management, functional dependencies, and sequencing are considered. A plethora of such dynamic fault trees (DFTs) have been defined in the literature. They differ in e.g., the types of gates (elements), their meaning, expressive power, the way in which failures propagate, how elements are claimed and activated, and how spare races are resolved. This paper systematically uncovers these differences and categorises existing DFT variants. As these differences may have huge impact on the reliability assessment, awareness of these impacts is important when using DFT modelling and analysis.

AB - Fault tree analysis is a widespread industry standard for assessing system reliability. Standard (static) fault trees model the failure behaviour of systems in dependence of their component failures. To overcome their limited expressive power, common dependability patterns, such as spare management, functional dependencies, and sequencing are considered. A plethora of such dynamic fault trees (DFTs) have been defined in the literature. They differ in e.g., the types of gates (elements), their meaning, expressive power, the way in which failures propagate, how elements are claimed and activated, and how spare races are resolved. This paper systematically uncovers these differences and categorises existing DFT variants. As these differences may have huge impact on the reliability assessment, awareness of these impacts is important when using DFT modelling and analysis.

KW - IR-104513

KW - EWI-27798

U2 - 10.1109/DSN.2016.35

DO - 10.1109/DSN.2016.35

M3 - Paper

SP - 299

EP - 310

ER -