Ordering heuristic to develop the binary decision diagram based on structural importance

Reliability Engineering and System Safety

Volumn 72, Issue 1, 2001, Pages 31-38

  Bartlett, L M ^a   Andrews, J D ^a  

^a LOUGHBOROUGH UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION THEORY; GRAPH THEORY; HEURISTIC METHODS;

BINARY DECISION DIAGRAMS (BDD);

FAULT TREE ANALYSIS;

EID: 0035313506     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0951-8320(00)00103-4     Document Type: Article

References (15)

1. Vesely W.E. A time dependent methodology for fault tree evaluation. Nuclear Design and Engineering. 13:1970;337-360.
2. Akers S.B. Binary decision diagrams. IEEE Transactions on Computers. C-27:1978;509-516.
3. Rauzy AA. Brief introduction to binary decision diagrams. European Journal of Automation, 1996;30(8):1033-50.
4. Rauzy A. New algorithms for fault tree analysis. Reliability Engineering and System Safety. 40:1993;203-211.
5. Sinnamon RM, Andrews JD. Quantitative fault tree analysis using binary decision diagrams. European Journal of Automation 1996;30(8):1051-71.
6. Bryant RE. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers 1986;C-35(8):677-91.
7. Sinnamon RM, Andrews JD. Improved efficiency in qualitative fault tree analysis. Advances in Reliability Technology Symposium, Manchester, 1996.
8. Sinnamon RM, Andrews JD. Fault tree analysis and binary decision diagrams. Proceedings of the Reliability and Maintainability Symposium, Las Vegas, January 1996.
9. Minato S, Ishiura N, Yajima, S. On variable ordering of binary decision diagrams for the application of the multi-level logic synthesis. Proceedings of the European Conference on Design Automation, 1991. p. 50-4.
10. Bouissou, M., Bruyere, F., Rauzy, A., BDD Based Fault-Tree Processing: A Comparison of Variable Ordering Heuristics. Proceedings of ESREL '97 Conference, August 1997.
11. Bouissou M. An ordering heuristic for building binary decision diagrams from fault trees. Proceedings of Reliability and Maintainability Symposium, Las Vegas, 1996. p. 208-214.
12. Fujita M, Fujisawa H, Kawato N. Evaluation and improvements of boolean comparison method based on binary decision diagrams. IEEE Transactions on Computer Aided Design (Conference), November 1988. p. 2-5.
13. Lambert HE. Measures of importance of events and cut sets in fault trees. Reliability and Fault Tree Analysis: Theoretical and Applied Aspects of System Reliability and Safety Assessment, SIAM, Philadelphia, 1975. p. 77-100.
14. Andrews JD, Bartlett LM. Efficient basic event orderings for binary decision diagrams. Proceedings of the Annual Reliability and Maintainability Symposium, 1998, p. 61-68.
15. Group Aralia. Computation of Prime Implicants of a Fault Tree Within Aralia. Proceedings of the European Safety and Reliability Association Conference, ESREL'95, 1995. p. 190-202.