@inbook{cfedfca7e9d54933b38793002ec667d3,
title = "BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees",
abstract = "Fault trees are a key model in reliability analysis. Classical static fault trees (SFT) can best be analysed using binary decision diagrams (BDD). State-based techniques are favorable for the more expressive dynamic fault trees (DFT). This paper combines the best of both worlds by following Dugan{\textquoteright}s approach: dynamic sub-trees are analysed via model checking Markov models and replaced by basic events capturing the obtained failure probabilities. The resulting SFT is then analysed via BDDs. We implemented this approach in the Storm model checker. Extensive experiments (a) compare our pure BDD-based analysis of SFTs to various existing SFT analysis tools, (b) indicate the benefits of our efficient calculations for multiple time points and the assessment of the mean-time-to-failure, and (c) show that our implementation of Dugan{\textquoteright}s approach significantly outperforms pure Markovian analysis of DFTs. Our implementation Storm-dft is currently the only tool supporting efficient analysis for both SFTs and DFTs.",
keywords = "This work was part of the MISSION (Models in Space Systems: Integration, Operation, and Networking) project, funded by the European Union{\textquoteright}s Horizon 2020 research and innovation programme under Marie Sk{\l}odowska-Curie Actions grant number 101008233., 22/4 OA procedure",
author = "Daniel Basg{\"o}ze and Matthias Volk and Joost-Pieter Katoen and Shahid Khan and Marielle Stoelinga",
note = "Funding Information: This work has been partially funded by NWO under the grant PrimaVera number NWA.1160.18.238, European Union{\textquoteright}s Horizon 2020 research and innovation programme under the Marie Sk lodowska-Curie grant agreement No. 101008233 (Mission), and the ERC Consolidator Grant 864075 (CAESAR). Khan is funded by a HEC-DAAD stipend. Publisher Copyright: {\textcopyright} 2022, Springer Nature Switzerland AG.; 14th International Symposium NASA Formal Methods, NFM 2022, NFM 2022 ; Conference date: 24-05-2022 Through 27-05-2022",
year = "2022",
month = may,
day = "20",
doi = "10.1007/978-3-031-06773-0_38",
language = "English",
isbn = "978-3-031-06772-3",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "713--732",
editor = "Deshmukh, {Jyotirmoy V.} and Klaus Havelund and Ivan Perez",
booktitle = "NASA Formal Method",
address = "Germany",
}