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 2008-11-17, 14:13 authored by Rasa Remenyte-Prescott, J.D. AndrewsThis 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 PublishersPublication date
2007Notes
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-389XLanguage
- en