DFTCalc: a tool for efficient fault tree analysis

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    48 Citations (Scopus)
    564 Downloads (Pure)


    Effective risk management is a key to ensure that our nuclear power plants, medical equipment, and power grids are dependable; and it 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 powerful analysis techniques, including aggressive compression techniques to keep the underlying state space small.
    Original languageEnglish
    Title of host publicationProceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP)
    Place of PublicationBerlin
    Number of pages9
    ISBN (Print)978-3-642-40793-2
    Publication statusPublished - Sept 2013
    Event32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Toulouse, France - Toulouse, France, Toulouse, France
    Duration: 24 Sept 201327 Sept 2013
    Conference number: 32

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349


    Conference32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Toulouse, France
    Abbreviated titleSAFECOMP 2013
    Internet address


    • EC Grant Agreement nr.: FP7/318003
    • EWI-23820
    • EC Grant Agreement nr.: FP7/2007-2013
    • METIS-300073
    • Interactive Markov chains
    • Reliability
    • IR-87570
    • Dynamic Fault Trees


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

    Cite this