Modular Criticality Analysis for Dynamic Fault Trees

Falak Sher; Mariëlle Stoelinga; Matthias Volk

doi:10.1007/978-3-031-75778-5_13

Modular Criticality Analysis for Dynamic Fault Trees

Falak Sher
, Mariëlle Stoelinga
, Matthias Volk (Corresponding author)

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

Abstract

Fault trees are commonly used to model fault occurrence and propagation in safety-critical systems. A common analysis question is “how critical is a component failure for the overall system reliability?” These insights allow to guide and tailor system improvements. Dynamic fault trees, a common extension of classical fault trees, enable more realistic modelling. However, their analysis via model-checking techniques, can suffer from state-space explosion. In this work, we revisit a modular analysis of criticality values in dynamic fault trees. The analysis exploits modules—independent subtrees—in the fault tree, and analyses them individually. Our experiments show that modular analysis can successfully mitigate state-space explosion.

Original language	English
Title of host publication	Principles of Verification: Cycling the Probabilistic Landscape
Subtitle of host publication	Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday
Editors	Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
Publisher	Springer
Chapter	13
Pages	274-293
Number of pages	20
Volume	3
ISBN (Electronic)	978-3-031-75778-5
ISBN (Print)	978-3-031-75777-8
DOIs	https://doi.org/10.1007/978-3-031-75778-5_13
Publication status	Published - 18 Nov 2024

Publication series

Name	Lecture Notes in Computer Science
Volume	15262
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Funding

This research has been partially funded by NWO under the grant PrimaVera number NWA.1160.18.238, the Marie Sklodowska-Curie grant agreement No 101008233, and by the ERC Consolidator grant CAESAR number 864075.

Access to Document

10.1007/978-3-031-75778-5_13

Cite this

Sher, F., Stoelinga, M., & Volk, M. (2024). Modular Criticality Analysis for Dynamic Fault Trees. In N. Jansen, S. Junges, B. L. Kaminski, C. Matheja, T. Noll, T. Quatmann, M. Stoelinga, & M. Volk (Eds.), Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday (Vol. 3, pp. 274-293). (Lecture Notes in Computer Science; Vol. 15262). Springer. https://doi.org/10.1007/978-3-031-75778-5_13

Sher, Falak ; Stoelinga, Mariëlle ; Volk, Matthias. / Modular Criticality Analysis for Dynamic Fault Trees. Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. editor / Nils Jansen ; Sebastian Junges ; Benjamin Lucien Kaminski ; Christoph Matheja ; Thomas Noll ; Tim Quatmann ; Mariëlle Stoelinga ; Matthias Volk. Vol. 3 Springer, 2024. pp. 274-293 (Lecture Notes in Computer Science).

@inbook{3eaa7c31e43240349b182a1580538395,

title = "Modular Criticality Analysis for Dynamic Fault Trees",

abstract = "Fault trees are commonly used to model fault occurrence and propagation in safety-critical systems. A common analysis question is “how critical is a component failure for the overall system reliability?” These insights allow to guide and tailor system improvements. Dynamic fault trees, a common extension of classical fault trees, enable more realistic modelling. However, their analysis via model-checking techniques, can suffer from state-space explosion. In this work, we revisit a modular analysis of criticality values in dynamic fault trees. The analysis exploits modules—independent subtrees—in the fault tree, and analyses them individually. Our experiments show that modular analysis can successfully mitigate state-space explosion.",

author = "Falak Sher and Mari{\"e}lle Stoelinga and Matthias Volk",

year = "2024",

month = nov,

day = "18",

doi = "10.1007/978-3-031-75778-5\_13",

language = "English",

isbn = "978-3-031-75777-8",

volume = "3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "274--293",

editor = "Nils Jansen and Sebastian Junges and Kaminski, \{Benjamin Lucien\} and Christoph Matheja and Thomas Noll and Tim Quatmann and Mari{\"e}lle Stoelinga and Matthias Volk",

booktitle = "Principles of Verification: Cycling the Probabilistic Landscape",

address = "Germany",

}

Sher, F, Stoelinga, M & Volk, M 2024, Modular Criticality Analysis for Dynamic Fault Trees. in N Jansen, S Junges, BL Kaminski, C Matheja, T Noll, T Quatmann, M Stoelinga & M Volk (eds), Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. vol. 3, Lecture Notes in Computer Science, vol. 15262, Springer, pp. 274-293. https://doi.org/10.1007/978-3-031-75778-5_13

Modular Criticality Analysis for Dynamic Fault Trees. / Sher, Falak; Stoelinga, Mariëlle; Volk, Matthias (Corresponding author).
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. ed. / Nils Jansen; Sebastian Junges; Benjamin Lucien Kaminski; Christoph Matheja; Thomas Noll; Tim Quatmann; Mariëlle Stoelinga; Matthias Volk. Vol. 3 Springer, 2024. p. 274-293 (Lecture Notes in Computer Science; Vol. 15262).

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

TY - CHAP

T1 - Modular Criticality Analysis for Dynamic Fault Trees

AU - Sher, Falak

AU - Stoelinga, Mariëlle

AU - Volk, Matthias

PY - 2024/11/18

Y1 - 2024/11/18

N2 - Fault trees are commonly used to model fault occurrence and propagation in safety-critical systems. A common analysis question is “how critical is a component failure for the overall system reliability?” These insights allow to guide and tailor system improvements. Dynamic fault trees, a common extension of classical fault trees, enable more realistic modelling. However, their analysis via model-checking techniques, can suffer from state-space explosion. In this work, we revisit a modular analysis of criticality values in dynamic fault trees. The analysis exploits modules—independent subtrees—in the fault tree, and analyses them individually. Our experiments show that modular analysis can successfully mitigate state-space explosion.

AB - Fault trees are commonly used to model fault occurrence and propagation in safety-critical systems. A common analysis question is “how critical is a component failure for the overall system reliability?” These insights allow to guide and tailor system improvements. Dynamic fault trees, a common extension of classical fault trees, enable more realistic modelling. However, their analysis via model-checking techniques, can suffer from state-space explosion. In this work, we revisit a modular analysis of criticality values in dynamic fault trees. The analysis exploits modules—independent subtrees—in the fault tree, and analyses them individually. Our experiments show that modular analysis can successfully mitigate state-space explosion.

UR - https://www.scopus.com/pages/publications/85212098728

U2 - 10.1007/978-3-031-75778-5_13

DO - 10.1007/978-3-031-75778-5_13

M3 - Chapter

SN - 978-3-031-75777-8

VL - 3

T3 - Lecture Notes in Computer Science

SP - 274

EP - 293

BT - Principles of Verification: Cycling the Probabilistic Landscape

A2 - Jansen, Nils

A2 - Junges, Sebastian

A2 - Kaminski, Benjamin Lucien

A2 - Matheja, Christoph

A2 - Noll, Thomas

A2 - Quatmann, Tim

A2 - Stoelinga, Mariëlle

A2 - Volk, Matthias

PB - Springer

ER -

Sher F, Stoelinga M, Volk M. Modular Criticality Analysis for Dynamic Fault Trees. In Jansen N, Junges S, Kaminski BL, Matheja C, Noll T, Quatmann T, Stoelinga M, Volk M, editors, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. Vol. 3. Springer. 2024. p. 274-293. (Lecture Notes in Computer Science). doi: 10.1007/978-3-031-75778-5_13