Boosting Fault Tree Analysis by Formal Methods

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    2 Citations (Scopus)
    2 Downloads (Pure)

    Abstract

    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.
    Original languageEnglish
    Title of host publicationModelEd, TestEd, TrustEd
    Subtitle of host publicationEssays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
    EditorsJoost-Pieter Katoen, Rom Langerak, Arend Rensink
    Pages368-380
    ISBN (Electronic)978-3-319-68270-9
    DOIs
    Publication statusPublished - 15 Oct 2017

    Publication series

    NameLecture notes in computer science
    Volume10500

    Fingerprint Dive into the research topics of 'Boosting Fault Tree Analysis by Formal Methods'. Together they form a unique fingerprint.

  • Cite this

    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