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

    51 Citations (Scopus)
    619 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 languageEnglish
    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 - 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
    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
    Country/TerritoryFrance
    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

    Fingerprint

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

    Cite this