Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Please use this identifier to cite or link to this item: https://dspace.lboro.ac.uk/2134/4000

Title: Prime implicants for modularised non-coherent fault trees using binary decision diagrams
Authors: Remenyte-Prescott, Rasa
Andrews, J.D.
Keywords: Fault tree analysis
Binary decision diagrams
Non-coherent systems
Prime implicants
Issue Date: 2007
Publisher: © Inderscience Publishers
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.
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.
Description: 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/
URI: https://dspace.lboro.ac.uk/2134/4000
ISSN: 1479-3903
Appears in Collections:Closed Access (Aeronautical and Automotive Engineering)

Files associated with this item:

File Description SizeFormat
07_IJSR_PrimeImp_RR&JDA.pdf417.64 kBAdobe PDFView/Open


SFX Query

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.