Analysis of non-coherent fault trees using ternary decision diagrams

Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability

Volumn 222, Issue 2, 2008, Pages 127-138

  Remenyte Prescott, R ^a   Andrews, J ^a  

^a LOUGHBOROUGH UNIVERSITY   (United Kingdom)

Author keywords

binary decision diagrams; fault tree analysis; non coherent fault trees; ternary decision diagrams

Indexed keywords

EID: 84993736143     PISSN: 1748006X     EISSN: 17480078     Source Type: Journal    
DOI: 10.1243/1748006XJRR154     Document Type: Article

References (17)

1. Rauzy A. New algorithms for fault tree analysis. Reliability Engng and Syst. Safety, 1993, 40, 203–211
2. Vesely W.E. A time dependent methodology for fault tree evaluation. Nucl. Des. and Engng, 1970, 13, 337–360
3. Sinnamon R.M. Andrews J.D. Improved efficiency in qualitative fault tree analysis. Quality and Reliability Engng Int., 1997, 13, 293–298
4. Sinnamon R.M. Andrews J.D. Improved accuracy in quantitative fault tree analysis. Quality and Reliability Engng Int., 1997, 13, 285–292
5. Andrews J.D. The use of not logic in fault tree analysis. Quality and Reliability Engng Int., 2001, 17, 143–150
6. Courdet O. Madre J.-C. A new method to compute prime and essential prime implicants of Boolean functions. Advd. Res. in VLSI and Parallel Syst., 1992, 113–128
7. Dutuit Y. Rauzy A. Exact and truncated computations of prime implicants of coherent and non-coherent fault trees with Aralia. Reliability Engng and Syst. Safety, 1997, 58, 225–235
8. Rauzy A. Mathematical foundation of minimal cutsets. IEEE Trans. on Reliability, 2001, 50(4), 389–396
9. Contini S. Binary decision diagrams with labelled variables for non-coherent fault tree analysis. European Commission, Joint Research Centre, 2005
10. Sasao T. Ternary decision diagrams and their applications. Representations of discrete functions (Eds Ed. Sasao T. Fujita M.), 1996, Ch. 12, pp. 269–292 (Kluwer Academic Publishers)
11. Bartlett L.M. Andrews J.D. Comparison of two new approaches to variable ordering for binary decision diagrams. Quality and Reliability Engng Int., 2001, 17, 151–158
12. Bartlett L.M. Andrews J.D. Selecting an ordering heuristic for the fault tree binary decision diagram conversion process using neural networks. IEEE Trans. Reliability, 2002, 51(3), 344–349
13. Andrews J.D. Beeson S. Birnbaum's measure of component importance for non-coherent systems. IEEE Trans. Reliability, 2003, 52(2), 213–219
14. Beeson S. Andrews J.D. Calculating the failure intensity of a non-coherent fault tree using the BDD technique. Quality and Reliability Engng Int., 2004, 20, 225–235
15. Remenyte-Prescott R. System failure modelling using binary decision diagrams. Doctoral Thesis, Loughborough University, Loughborough, UK, 2007
16. Platz O. Olsen J.V. FAUNET: a program package for evaluation of fault trees and networks, Research Establishment risk report, 348, DK-4000 Roskilde, Denmark, 1976
17. Dutuit Y. Rauzy A. A linear-time algorithm to find modules of fault trees. IEEE Trans. Reliability, 1996, 45(3), 422–425