Prime implicants for modularised non-coherent fault trees using binary decision diagrams
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 se...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Published: |
Inderscience
2007
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/3316/ |
| _version_ | 1848791000873435136 |
|---|---|
| author | Remenyte-Prescott, Rasa Andrews, John |
| author_facet | Remenyte-Prescott, Rasa Andrews, John |
| author_sort | Remenyte-Prescott, Rasa |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-14T18:21:33Z |
| format | Article |
| id | nottingham-3316 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T18:21:33Z |
| publishDate | 2007 |
| publisher | Inderscience |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-33162020-05-04T20:29:05Z https://eprints.nottingham.ac.uk/3316/ Prime implicants for modularised non-coherent fault trees using binary decision diagrams Remenyte-Prescott, Rasa Andrews, John 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. Inderscience 2007 Article PeerReviewed 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 fault tree analysis; binary decision diagrams; BDDs; non-coherent systems; prime implicants; reliability http://www.inderscience.com/info/inarticle.php?artid=16259 doi:10.1504/IJRS.2007.016259 doi:10.1504/IJRS.2007.016259 |
| spellingShingle | fault tree analysis; binary decision diagrams; BDDs; non-coherent systems; prime implicants; reliability Remenyte-Prescott, Rasa Andrews, John Prime implicants for modularised non-coherent fault trees using binary decision diagrams |
| title | Prime implicants for modularised non-coherent fault trees using binary decision diagrams |
| title_full | Prime implicants for modularised non-coherent fault trees using binary decision diagrams |
| title_fullStr | Prime implicants for modularised non-coherent fault trees using binary decision diagrams |
| title_full_unstemmed | Prime implicants for modularised non-coherent fault trees using binary decision diagrams |
| title_short | Prime implicants for modularised non-coherent fault trees using binary decision diagrams |
| title_sort | prime implicants for modularised non-coherent fault trees using binary decision diagrams |
| topic | fault tree analysis; binary decision diagrams; BDDs; non-coherent systems; prime implicants; reliability |
| url | https://eprints.nottingham.ac.uk/3316/ https://eprints.nottingham.ac.uk/3316/ https://eprints.nottingham.ac.uk/3316/ |