Boosting Fault Tree Analysis by Formal Methods

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

    5 Citations (Scopus)
    6 Downloads (Pure)


    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
    ISBN (Electronic)978-3-319-68270-9
    Publication statusPublished - 15 Oct 2017

    Publication series

    NameLecture notes in computer science


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

    Cite this