A simple component connection approach for fault tree conversion to binary decision diagram

Proceedings - First International Conference on Availability, Reliability and Security, ARES 2006

Volumn 2006, Issue , 2006, Pages 449-456

  Remenyte, R ^a   Andrews, J D ^a  

^a LOUGHBOROUGH UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS; DECISION THEORY; RISK ASSESSMENT;

BINARY DECISION DIAGRAM (BDD); COMPUTER PACKAGES; FAULT TREE ANALYSIS (FTA); INDUSTRIAL SYSTEMS;

TREES (MATHEMATICS);

EID: 33750938476     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ARES.2006.17     Document Type: Conference Paper

References (6)

1. A. Rauzy, "New Algorithms for Fault Tree Analysis," Reliability Engineering and System Safety, no. 40, 1993, pp. 203-21.
2. W.E. Vesely, "A Time Dependent Methodology for Fault Tree Evaluation", Nuclear Design and Engineering, no. 13, 1970, pp. 337-360.
3. R.M. Sinnamon, J.D. Andrews, "Improved Accuracy in Quantitative Fault Tree Analysis", Quality and Reliability Engineering International, no. 13, 1997, pp. 285-292.
4. Y.S. Way, D.Y. Hsia, "A simple component-connection method for building binary decision diagrams encoding a fault tree", Reliability Engineering and System Safety, no. 70, 2000, pp. 59-70.
5. K.A. Reay, "Efficient Fault Tree Analysis Using Binary Decision Diagrams", Doctoral Thesis, Loughborough University, 2002.
6. J.D. Andrews, R. Remenyte, "Fault Tree Conversion to Binary Decision Diagrams", Proceedings of the 23rd ISSC, San Diego, USA, August 2005, ISBN 0-9721385-5-2, [CD-ROM].