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

    108 Citations (Scopus)
    136 Downloads (Pure)

    Abstract

    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
    Pages708-717
    Number of pages10
    ISBN (Print)0-7695-2855-4
    DOIs
    Publication statusPublished - Jun 2007

    Publication series

    Name
    PublisherIEEE Computer Society Press
    Number2

    Keywords

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

    Cite this