DFTCalc: a tool for efficient fault tree analysis

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

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

    37 Citations (Scopus)
    117 Downloads (Pure)

    Abstract

    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 languageUndefined
    Title of host publicationProceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP)
    Place of PublicationBerlin
    PublisherSpringer
    Pages293-301
    Number of pages9
    ISBN (Print)978-3-642-40793-2
    DOIs
    Publication statusPublished - Sep 2013
    Event32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Toulouse, France - Toulouse, France, Toulouse, France
    Duration: 24 Sep 201327 Sep 2013
    Conference number: 32
    http://conf.laas.fr/SAFECOMP2013/

    Publication series

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

    Conference

    Conference32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Toulouse, France
    Abbreviated titleSAFECOMP 2013
    CountryFrance
    CityToulouse
    Period24/09/1327/09/13
    Internet address

    Keywords

    • 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

    Cite this

    Arnold, F., Belinfante, A., van der Berg, F., van der Berg, F. I., Guck, D., & Stoelinga, M. I. A. (2013). DFTCalc: a tool for efficient fault tree analysis. In Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP) (pp. 293-301). (Lecture Notes in Computer Science; Vol. 8153). Berlin: Springer. https://doi.org/10.1007/978-3-642-40793-2_27