Fault trees are a key technique in safety and reliability engineering. Their application includes aerospace, nuclear power, car, and process engineering industries. Various fault tree extensions exist that increase expressiveness while yielding succinct models. Their analysis is a main bottleneck: techniques do not scale and require manual effort. Formal methods have an enormous potential to solve these issues. We discuss a mixture of formal method techniques resulting in a fully automated and scalable approach to analyze Dugan’s dynamic fault trees.
|Title of host publication||ModelEd, TestEd, TrustEd|
|Subtitle of host publication||Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday|
|Editors||Joost-Pieter Katoen, Rom Langerak, Arend Rensink|
|Publication status||Published - 15 Oct 2017|
|Name||Lecture notes in computer science|
Katoen, J. P., & Stoelinga, M. I. A. (2017). Boosting Fault Tree Analysis by Formal Methods. In J-P. Katoen, R. Langerak, & A. Rensink (Eds.), ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (pp. 368-380). (Lecture notes in computer science; Vol. 10500). https://doi.org/10.1007/978-3-319-68270-9_19