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

    35 Citations (Scopus)
    85 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
    Arnold, Florian ; Belinfante, Axel ; van der Berg, Freark ; van der Berg, Freark Iwert ; Guck, Dennis ; Stoelinga, Mariëlle Ida Antoinette. / DFTCalc: a tool for efficient fault tree analysis. Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP). Berlin : Springer, 2013. pp. 293-301 (Lecture Notes in Computer Science).
    @inproceedings{583aa32e5c114e1bb21658e6838c9020,
    title = "DFTCalc: a tool for efficient fault tree analysis",
    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.",
    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",
    author = "Florian Arnold and Axel Belinfante and {van der Berg}, Freark and {van der Berg}, {Freark Iwert} and Dennis Guck and Stoelinga, {Mari{\"e}lle Ida Antoinette}",
    note = "Foreground = 30{\%}; Type of activity = Conference; Main leader = UT; Type of audience = scientific community; Size of audience = 80; Countries addressed = international;",
    year = "2013",
    month = "9",
    doi = "10.1007/978-3-642-40793-2_27",
    language = "Undefined",
    isbn = "978-3-642-40793-2",
    series = "Lecture Notes in Computer Science",
    publisher = "Springer",
    pages = "293--301",
    booktitle = "Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP)",

    }

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

    DFTCalc: a tool for efficient fault tree analysis. / Arnold, Florian; Belinfante, Axel; van der Berg, Freark; van der Berg, Freark Iwert; Guck, Dennis; Stoelinga, Mariëlle Ida Antoinette.

    Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP). Berlin : Springer, 2013. p. 293-301 (Lecture Notes in Computer Science; Vol. 8153).

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

    TY - GEN

    T1 - DFTCalc: a tool for efficient fault tree analysis

    AU - Arnold, Florian

    AU - Belinfante, Axel

    AU - van der Berg, Freark

    AU - van der Berg, Freark Iwert

    AU - Guck, Dennis

    AU - Stoelinga, Mariëlle Ida Antoinette

    N1 - Foreground = 30%; Type of activity = Conference; Main leader = UT; Type of audience = scientific community; Size of audience = 80; Countries addressed = international;

    PY - 2013/9

    Y1 - 2013/9

    N2 - 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.

    AB - 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.

    KW - EC Grant Agreement nr.: FP7/318003

    KW - EWI-23820

    KW - EC Grant Agreement nr.: FP7/2007-2013

    KW - METIS-300073

    KW - Interactive Markov chains

    KW - Reliability

    KW - IR-87570

    KW - Dynamic Fault Trees

    U2 - 10.1007/978-3-642-40793-2_27

    DO - 10.1007/978-3-642-40793-2_27

    M3 - Conference contribution

    SN - 978-3-642-40793-2

    T3 - Lecture Notes in Computer Science

    SP - 293

    EP - 301

    BT - Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP)

    PB - Springer

    CY - Berlin

    ER -

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