Skip to main content

Research Repository

Advanced Search

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

Remenyte-Prescott, Rasa; Andrews, John

Authors

JOHN ANDREWS john.andrews@nottingham.ac.uk
Professor of Infrastructure Asset Management



Abstract

This paper presents an extended strategy for the analysis of complex fault trees. The method utilises 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 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.

Citation

Remenyte-Prescott, R., & Andrews, J. (2007). Prime implicants for modularised non-coherent fault trees using binary decision diagrams. International Journal of Reliability and Safety, 1(4), doi:10.1504/IJRS.2007.016259

Journal Article Type Article
Publication Date Jan 1, 2007
Deposit Date Aug 5, 2014
Publicly Available Date Aug 5, 2014
Journal International Journal of Reliability and Safety
Print ISSN 1479-389X
Electronic ISSN 1479-3903
Publisher Inderscience
Peer Reviewed Peer Reviewed
Volume 1
Issue 4
DOI https://doi.org/10.1504/IJRS.2007.016259
Keywords fault tree analysis; binary decision diagrams; BDDs; non-coherent systems; prime implicants; reliability
Public URL http://eprints.nottingham.ac.uk/id/eprint/3316
Publisher URL http://www.inderscience.com/info/inarticle.php?artid=16259
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf
Additional Information Copyright Inderscience.

Files


Prime_Implicants_for_Modularised_Non-coherent_Fault_Trees.pdf (427 Kb)
PDF

Copyright Statement
Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf



You might also like



Downloadable Citations