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

Remenyte-Prescott, Rasa and Andrews, John (2007) Prime implicants for modularised non-coherent fault trees using binary decision diagrams. International Journal of Reliability and Safety, 1 (4). pp. 446-464. ISSN 1479-3903

[img] PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (426kB)

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.

Item Type: Article
Additional Information: Copyright Inderscience.
Keywords: fault tree analysis; binary decision diagrams; BDDs; non-coherent systems; prime implicants; reliability
Schools/Departments: University of Nottingham UK Campus > Faculty of Engineering > Department of Civil Engineering
Identification Number: https://doi.org/10.1504/IJRS.2007.016259
Depositing User: Remenyte-Prescott, Dr Rasa
Date Deposited: 05 Aug 2014 17:47
Last Modified: 14 Sep 2016 16:51
URI: http://eprints.nottingham.ac.uk/id/eprint/3316

Actions (Archive Staff Only)

Edit View Edit View