Qualitative Analysis of Complex Modularized Fault Trees Using Binary Decision Diagrams

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

Volumn 220, Issue 1, 2006, Pages 45-53

  Remenyte, R ^a   Andrews, J D ^a  

^a LOUGHBOROUGH UNIVERSITY   (United Kingdom)

Author keywords

binary decision diagram; fault tree analysis; minimal cut sets

Indexed keywords

EID: 84990405099     PISSN: 1748006X     EISSN: 17480078     Source Type: Journal    
DOI: 10.1243/1748006XJRR10     Document Type: Article

References (7)

1. Rauzy A. New algorithms for fault tree analysis Reliab. Eng. Syst. Safety, 1993, 40, 203–211.
2. Vesely W. E. A time dependent methodology for fault tree evaluation Nuc. Des. and Engng, 1970, 13, 337–360.
3. Platz O. Olsen J. V. FAUNET: A program package for evaluation of fault trees and networks, Research Establishment Risk Report, September 1976, No. 348, DK-4000 Roskilde, Denmark.
4. Dutuit Y. Rauzy A. A linear-time algorithm to find modules of fault trees IEEE Trans. Reliability, 1996, 45 (3), 422–425.
5. Reay K. A. Andrews J. D. A fault tree analysis strategy using binary decision diagrams Rel. Engng and Syst. Safety, 2002, 78, 45–56.
6. Sinnamon R. M. Andrews J. D. Improved efficiency in qualitative fault tree analysis Qual. and Rel. Engng Int., 1997, 13, 293–298.
7. Andrews J. D. Moss T. R. Reliability and risk assessment, 2002 (Professional Engineering Publishing, Bury St Edmunds and London).