Dynamic Fault Tree analysis using Input/Output Interactive Markov Chains

H. Boudali, Pepijn Crouzen, Mariëlle Ida Antoinette Stoelinga

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

    121 Citations (Scopus)
    214 Downloads (Pure)


    Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use, DFT are experiencing a growing success among reliability engineers. Unfortunately, a number of issues still remains when using DFT. Briefly, these issues are (1) a lack of formality (syntax and semantics), (2) limitations in modular analysis and thus vulnerability to the state-space explosion problem, and (3) lack in modular model-building. We use the input/output interactive Markov chain (I/O-IMC) formalism to analyse DFT. I/O-IMC have a precise semantics and are an extension of continuous-time Markov chains with input and output actions. In this paper, using the I/O-IMC framework, we address and resolve issues (2) and (3) mentioned above. We also show, through some examples, how one can readily extend the DFT modeling capabilities using the I/O-IMC framework.
    Original languageUndefined
    Title of host publicationProceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
    Place of PublicationUSA
    PublisherIEEE Computer Society
    Number of pages10
    ISBN (Print)0-7695-2855-4
    Publication statusPublished - Jun 2007
    Event37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007 - Edinburgh, UK, Edinburgh, United Kingdom
    Duration: 25 Jun 200728 Jun 2007
    Conference number: 37

    Publication series

    PublisherIEEE Computer Society Press


    Conference37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007
    Abbreviated titleDSN
    Country/TerritoryUnited Kingdom
    Other25-28 June 2007


    • EWI-9593
    • FMT-DS: Dependable Systems
    • IR-67040
    • METIS-241555

    Cite this