We present a dynamic fault tree model of the benchmark propulsion system, and solve it using Galileo. Dynamic fault trees (DFT) extend traditional static fault trees with special gates to model spares and other sequence dependencies. Galileo solves DFT models using a judicious combination of automatically generated Markov and Binary Decision Diagram models. Galileo easily handles the complexities exhibited by the benchmark problem. In particular, Galileo is designed to model phased mission systems.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    A dynamic fault tree model of a propulsion system


    Beteiligte:
    Xu, Hong (Autor:in) / Dugan, Joanne Bechta (Autor:in) / Meshkat, Leila (Autor:in)

    Kongress:

    8th International Conference on Probabilistic Safety Assessment & Management ; 2006 ; New Orleans, LA, United States


    Erscheinungsdatum :

    14.05.2006


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    A Dynamic Fault Tree Model for a Propulsion System (PSAM-0188)

    Xu, H. / Dugan, J. B. / Meshkat, L. | British Library Conference Proceedings | 2006


    Qualitative hazard analysis of propulsion system using fault tree analysis

    Panwar, S. S. / Nayyar, V. K. / Defence Research & Development Laboratory et al. | British Library Conference Proceedings | 2000


    Uncertainty Analysis with Dynamic Fault Tree

    Zhou, S. / Ou, Y. / Dugan, J.B. et al. | British Library Conference Proceedings | 2006



    Dynamic Fault Tree Analysis of a Reconfigurable Software System

    Dugan, J.B. / Assaf, T.S. / System Safety Society (U.S.) | British Library Conference Proceedings | 2006