Uncovering dynamic fault trees

Sebastian Junges, Dennis Guck, Joost P. Katoen, Mariëlle Ida Antoinette Stoelinga

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

    24 Citations (Scopus)
    104 Downloads (Pure)

    Abstract

    Fault tree analysis is a widespread industry standard for assessing system reliability. Standard (static) fault trees model the failure behaviour of systems in dependence of their component failures. To overcome their limited expressive power, common dependability patterns, such as spare management, functional dependencies, and sequencing are considered. A plethora of such dynamic fault trees (DFTs) have been defined in the literature. They differ in e.g., the types of gates (elements), their meaning, expressive power, the way in which failures propagate, how elements are claimed and activated, and how spare races are resolved. This paper systematically uncovers these differences and categorises existing DFT variants. As these differences may have huge impact on the reliability assessment, awareness of these impacts is important when using DFT modelling and analysis.
    Original languageEnglish
    Title of host publication46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) 2016
    Place of PublicationToulouse, France
    PublisherIEEE
    Pages299-310
    Number of pages12
    ISBN (Electronic)2158-3927
    DOIs
    Publication statusPublished - Jun 2016
    Event46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016 - ENAC, Toulouse, France
    Duration: 28 Jun 20161 Jul 2016
    Conference number: 46
    https://dsn-2016.sciencesconf.org/

    Conference

    Conference46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016
    Abbreviated titleDSN 2016
    CountryFrance
    CityToulouse
    Period28/06/161/07/16
    Internet address

    Keywords

    • IR-104513
    • EWI-27798

    Fingerprint Dive into the research topics of 'Uncovering dynamic fault trees'. Together they form a unique fingerprint.

    Cite this