DFTCalc: a tool for efficient fault tree analysis (extended version)

Florian Arnold, Axel Belinfante, Freark Iwert van der Berg, Dennis Guck, Mariëlle Ida Antoinette Stoelinga

    Research output: Book/ReportReportProfessional

    296 Downloads (Pure)


    Effective risk management is a key to ensure that our nuclear power plants, medical equipment, and power grids are dependable; and is often required by law. Fault Tree Analysis (FTA) is a widely used methodology here, computing important dependability measures like system reliability. This paper presents DFTCalc, a powerful tool for FTA, providing (1) efficient fault tree modelling via compact representations; (2) effective analysis, allowing a wide range of dependability properties to be analysed (3) efficient analysis, via state-of-the-art stochastic techniques; and (4) a flexible and extensible framework, where gates can easily be changed or added. Technically, DFTCalc is realised via stochastic model checking, an innovative technique offering a wide plethora of pow- erful analysis techniques, including aggressive compression techniques to keep the underlying state space small.
    Original languageEnglish
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Publication statusPublished - Jun 2013

    Publication series

    NameCTIT Technical Report Series
    PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
    ISSN (Print)1381-3625


    • Interactive Markov chains
    • EWI-23404
    • EC Grant Agreement nr.: FP7/318003
    • Dynamic Fault Trees
    • METIS-297678
    • EC Grant Agreement nr.: FP7/2007-2013
    • IR-86711
    • Reliability


    Dive into the research topics of 'DFTCalc: a tool for efficient fault tree analysis (extended version)'. Together they form a unique fingerprint.

    Cite this