Variable ordering schemes to apply to the binary decision diagram methodology for event tree sequences assessment

Proceedings of the European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk

Volumn 2, Issue , 2006, Pages 1645-1652

  Ibanez Llano C ^a   Melendez Asensio E ^a   Nieto Fuentes, F ^b  

^a ICAI School of Engineering   (Spain)

^b Presidenta de la Comisión Nacional de Radiofísica Vocal del Comité Asesor del Consejo de Seguridad Nuclear Expresidenta de la Sociedad Española de Protección Radiológica   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY DECISION DIAGRAMS; BINARY SEQUENCES; DATA STRUCTURES; FILE ORGANIZATION; RISK MANAGEMENT;

BINARY DECISIONS; DO-MAINS; DYNAMIC EVENTS; EVENT TREES; FAULT TREES; RELIABILITY MODELS; SEVERAL VARIABLES; SINGLE FAULTS; VARIABLE ORDERINGS;

RELIABILITY;

DYNAMIC EVENTS; EVENT TREES; FAULT-TREES; RELIABILITY MODEL; SEVERAL VARIABLES; SINGLE FAULT; VARIABLE ORDERING;

EID: 56249129753     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. Andrews, J.D. & Bartlett, L.M. 1998. Efficient Basic orderings for Binary Decision Diagrams. Proceedings of Annual Reliability and Maintainability Symposium RAMS'98: 61-69.
2. Andrews, J.D. & Bartlett, L.M. 1999. Efficient Basic Event Ordering Schemes for Fault Tree Analysis. Quality & Reliability Engineering International 15: 95-101.
3. Andrews, J.D. & Dunnett, S.J. 2000. Event-Tree Analysis using Binary Decision Diagrams. IEEE Transactions on Reliability 49: 230-239.
4. Bartlett, L.M. 2000. Variable Ordering Heuristics for Binary Decision Diagrams. PhD Thesis. University of Loughborough.
5. Bartlett, L.M. & Andrews, J.D. 2002. Choosing a Heuristic for the 'Fault Tree to Binary Decision Diagram' Conversion, using Neural Networks. IEEE Transactions on Reliability 51(3): 344-349.
6. Bartlett, L.M. 2004. Neural Network Selection Mechanism for BDD Construction. Quality & Reliability Engineering International 20: 217-223.
7. Bollig, B. & Wegener, I. 1996. Improving the variable ordering of OBDD is NP-complete. IEEE Transactions on Software Engineering 45(9): 993-1001.
8. Bouissou, M. 1996. An ordering heuristic for building Binary Decision Diagrams from Fault Trees. Proceedings of Annual Reliability and Maintainability Symposium RAMS'96.
9. Bouissou, M., Bruyere, F. & Rauzy, A. 1997. BDD based Fault Tree processing: a comparison of Variable Ordering Heuristics. Proceedings of European Safety & Reliability Association Conference ESREL'97 3: 2045-2052.
10. Brace, K., Rudell, R. & Bryant, R.E. 1990. Efficient implementation of a BDD package. Proceedings of ACM/IEEE Design Automation Conference: 40-45.
11. Bryant, R.E. 1986. Graph based algorithms for Boolean function manipulation. IEEE Transactions on Computers 35(8): 677-691.
12. Cojazzi, G.G.M., Contini, S. & Renda, G. 2005. On the need of exact probabilistic quantification in FT/ET analysis. Proceedings of European Safety & Reliability Association Conference ESREL'05.
13. Contini, S. & De Cola, G. 1996. A top down approach to Fault Tree Analysis using Binary Decision Diagrams. Journal Europèen des Systémes Automatisès.
14. Epstein, S & Rauzy, A. 2005. Can we trust PRA?. Reliability Enginerring and System Safety 88: 195-205.
15. Fujita, M. Fujisawa & H. Kawato, N. 1998. Evaluation and improvements of Boolean comparison methods based on binary Decision Diagrams. IEEE Transactions on Computer Aided Design ICCAD'88: 2-5.
16. Izquierdo J.M., Hortal J., Sánchez Perea M. & Meléndez E. 2002. An integrated PSA approach to independent regulatory evaluations of nuclear safety assessments of Spanish nuclear power stations. "Otros Documentos" 28, CSN, Spain.
17. Izquierdo J.M., Meléndez E. & Devooght, J. 1996. Relationships between probabilistic dynamics and event trees. Reliability Engineering & System Safety 52: 197-209.
18. Meléndez, E., Izquierdo, J.M., Sánchez, M., Hortal, J. & Pérez-Mulas, A. 1999. Tree Simulation techniques for Integrated Safety Assessment, CSNI Specialist Meeting on Simulators and Plant Analysers, Espoo, Finland.
19. Minato S., Ishiura, N. & Yajima, S. 1991. On variable ordering of binary decision diagrams for the application of the multi-level logic synthesis. Proceedings of the European Conference on Design Automation: 50-54.
20. Minato, S. 1993. Zero-suppressed BDD for set manipulation in combinatorial problems. Proceedings of the ACM/IEEE Design Automation Conference DAC'93: 272-277.
21. Papazoglou, I.A. 1998. Mathematical foundations of Event Trees. Reliability Engineering & System Safety 61: 169-183.
22. Rauzy, A. 1993. New algorithms for Fault Tree Analysis. Reliability Engineering & System Safety 40: 211-303.
23. Rauzy, A. 1996. A brief introduction to Binary Decision Diagrams. European Journal of Automation 30: 1033-1050.
24. Rudell, R. 1993. Dynamic variable ordering for ordered Binary Decision Diagrams. Proceedings of IEEE International Conference on Computer Aided Design ICCAD'93: 42-47.
25. Sinnamon, R.M. & Andrews, J.D. 1997a. Improving accuracy in quantitative Fault Tree Analysis 13: 285-292.
26. Sinnamon, R.M. & Andrews, J.D. 1997b. Improving efficiency in qualitative Fault Tree Analysis. Quality and Reliability Engineering International 13: 293-298.
27. Steward, M.G. & Melchers, R.E. 1997. Probabilistic Risk Assessment of Engineering Systems. London: Chapman & Hall.
28. Vesely, W.E. 1970. A time dependant methodology for fault tree evaluation. Nucl. Eng. Des 13: 337-360.