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

Rasa Remenyte-Prescott and John D. Andrews

International Journal of Reliability and Safety, 2007, vol. 1, issue 4, 446-464

Abstract: 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.

Keywords: fault tree analysis; binary decision diagrams; BDDs; non-coherent systems; prime implicants; reliability. (search for similar items in EconPapers)
Date: 2007
References: Add references at CitEc
Citations:

Downloads: (external link)
http://www.inderscience.com/link.php?id=16259 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:ids:ijrsaf:v:1:y:2007:i:4:p:446-464

Access Statistics for this article

More articles in International Journal of Reliability and Safety from Inderscience Enterprises Ltd
Bibliographic data for series maintained by Sarah Parker ().