@inbook{de578eb298234c64ac9afdb09f102179,
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.",
keywords = "2025 OA procedure",
author = "Falak Sher and Mari{\"e}lle Stoelinga and Matthias Volk",
note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.",
year = "2024",
month = nov,
day = "18",
doi = "10.1007/978-3-031-75778-5\_13",
language = "English",
isbn = "978-3-031-75777-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "274--293",
editor = "Nils Jansen",
booktitle = "Principles of Verification: Cycling the Probabilistic Landscape",
address = "Germany",
}