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

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

    Research output: Book/ReportReportProfessional

    157 Downloads (Pure)

    Abstract

    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 languageUndefined
    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)
    No.TR-CTIT-13-13
    ISSN (Print)1381-3625

    Keywords

    • 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

    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 (extended version). (CTIT Technical Report Series; No. TR-CTIT-13-13). Enschede: Centre for Telematics and Information Technology (CTIT).
    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 (extended version). Enschede : Centre for Telematics and Information Technology (CTIT), 2013. (CTIT Technical Report Series; TR-CTIT-13-13).
    @book{bf83d7b54c654b10bfcc5e9eb494844c,
    title = "DFTCalc: a tool for efficient fault tree analysis (extended version)",
    abstract = "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.",
    keywords = "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",
    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 = 20{\%}; Type of activity = technical report; Main leader = UT; Type of audience = scientific community; Size of audience = n.a.; Countries addressed = international;",
    year = "2013",
    month = "6",
    language = "Undefined",
    series = "CTIT Technical Report Series",
    publisher = "Centre for Telematics and Information Technology (CTIT)",
    number = "TR-CTIT-13-13",
    address = "Netherlands",

    }

    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 (extended version). CTIT Technical Report Series, no. TR-CTIT-13-13, Centre for Telematics and Information Technology (CTIT), Enschede.

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

    Enschede : Centre for Telematics and Information Technology (CTIT), 2013. (CTIT Technical Report Series; No. TR-CTIT-13-13).

    Research output: Book/ReportReportProfessional

    TY - BOOK

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

    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 = 20%; Type of activity = technical report; Main leader = UT; Type of audience = scientific community; Size of audience = n.a.; Countries addressed = international;

    PY - 2013/6

    Y1 - 2013/6

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

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

    KW - Interactive Markov chains

    KW - EWI-23404

    KW - EC Grant Agreement nr.: FP7/318003

    KW - Dynamic Fault Trees

    KW - METIS-297678

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

    KW - IR-86711

    KW - Reliability

    M3 - Report

    T3 - CTIT Technical Report Series

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

    PB - Centre for Telematics and Information Technology (CTIT)

    CY - Enschede

    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 (extended version). Enschede: Centre for Telematics and Information Technology (CTIT), 2013. (CTIT Technical Report Series; TR-CTIT-13-13).