File(s) under permanent embargo

Reason: This item is currently closed access.

Prime implicants for modularised non-coherent fault trees using binary decision diagrams

journal contribution
posted on 17.11.2008, 14:13 by Rasa Remenyte-Prescott, J.D. Andrews
This paper presents an extended strategy for the analysis of complex fault trees. The method uses simplification rules, which are applied to the fault tree to reduce it to a series of smaller subtrees, whose solution is equivalent to the original fault tree. The smaller subtree units are less sensitive to the basic event ordering during Binary Decision Diagram (BDD) conversion. BDDs are constructed for every subtree. Qualitative analysis is performed on the set of BDDs to obtain the prime implicant sets for the original top event. It is shown how to extract the prime implicant sets from complex and modular events in order to obtain the prime implicant sets of the original fault tree in terms of basic events.

History

School

  • Aeronautical, Automotive, Chemical and Materials Engineering

Department

  • Aeronautical and Automotive Engineering

Citation

REMENYTE-PRESCOTT, R. and ANDREWS, J.D., 2007. Prime implicants for modularised non-coherent fault trees using binary decision diagrams. International Journal of Reliability and Safety, 1 (4), pp. 446-464.

Publisher

© Inderscience Publishers

Publication date

2007

Notes

This article is Restricted Access. It was published in the journal, International Journal of Reliability and Safety [© Inderscience] and is available at: www.inderscience.com/ijrs/

ISSN

1479-3903;1479-389X

Language

en