A reduction approach to improve the quantification of linked fault trees through binary decision diagrams

Reliability Engineering and System Safety

Volumn 95, Issue 12, 2010, Pages 1314-1323

  Ibáñez Llano, Cristina ^a   Rauzy, Antoine ^b   Meléndez, Enrique ^c   Nieto, Francisco ^a  

^a ICAI School of Engineering   (Spain)

^b DASSAULT SYSTÈMES   (France)

^c 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

Binary decision diagrams; Dynamic event trees; Fault trees; Minimal cutsets; Probabilistic safety assessment

Indexed keywords

CLASSICAL APPROACH; COMPUTER MEMORIES; DEGREE OF REDUCTION; DYNAMIC DEVELOPMENT; DYNAMIC EVENT TREES; DYNAMIC GENERATION; EVENT TREES; FAULT-TREES; FULL MODEL; MINIMAL CUTSETS; PROBABILISTIC SAFETY ASSESSMENT; REDUCTION PROCESS; RELIABILITY MODEL;

BINARY TREES; GRAPHIC METHODS; NUCLEAR INDUSTRY;

BINARY DECISION DIAGRAMS;

EID: 77957156140     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2010.06.008     Document Type: Article

References (27)

1. W.E. Vesely A time dependant methodology for fault tree evaluation Nuclear Engineering Design 13 1970 337 360
2. R.E. Bryant Graph-based algorithms for Boolean function manipulation IEEE Transactions on Computers C-35 1986 667 691
3. R.E. Bryant Symbolic manipulation with ordered binary decision diagrams ACM Computing Surveys 24 1992 293 318
4. S. Epstein, and A. Rauzy Can we trust PRA? Reliability Engineering and System Safety 88 2005 195 205 (Pubitemid 40415370)
5. J.D. Andrews, and S.J. Dunnett Event-tree analysis using binary decision diagrams IEEE Transactions on Reliability 49 2000 230 238
6. S. Contini, G.G.M. Cojazzi, and G. Renda On the use of non-coherent fault trees in safety and security studies Reliability Engineering and System Safety 93 2008 1886 1895
7. Izquierdo JM, Hortal J, Snchez Perea M, Meléndez E. An integrated PSA approach to independent regulatory evaluations of nuclear safety assessments of Spanish nuclear power stations. CSN Publication ODE-04.18, 2002.
8. Meléndez E, Izquerdo JM, Snchez M, Hortal J, Pérez-Mulas A. Tree simulation techniques for integrated safety assessment, CSNI specialist meeting on simulators and plant analysers, Espoo, Finlandia, 1999.
9. S. Contini A new hybrid method for fault tree analysis Reliability Engineering and System Safety 49 1995 13 21
10. A. Rauzy Toward an efficient implementation of the MOCUS algorithm IEEE Transactions on Reliability 52 2003 175 180
11. W.S. Jung, S.H. Han, and J.J. Ha A fast BDD algorithm for large coherent fault tree analysis Reliability Engineering and System Safety 83 2004 369 374
12. M. epin Analysis of truncation limit in probabilistic safety assessment Reliability Engineering and System Safety 87 2005 395 403
13. A. Rauzy New algorithms for fault trees analyses Reliability Engineering and System Safety 40 1993 203 211
14. A. Rauzy A brief introduction to binary decision diagrams European Journal of Automation (Journal Europen des Sytemes Automatises) 30 1996 1033 1050
15. R. Sinnamon, and J. Andrews Quantitative fault tree analysis using binary decision diagrams Journal Europeen des Systemes Automatises. Special Issue on Binary Decision Diagrams 30 1996 1051 1071 (Pubitemid 126471061)
16. Brace KS, Rudell RL, Bryant RE. Efficient implementation of a BDD package. In: Proceedings of ACM/IEEE design automation conference (DAC'90), Orlando, Florida, USA. 1990.
17. Rudell RL. Dynamic variable ordering for ordered binary decision. In: Proceedings of the IEEE/ACM international conference on computer-aided design. ICCAD'9, Santa Clara, California, USA, 1993.
18. B. Bollig, and I. Wegener Improving the variable ordering of OBDD is NP-complete IEEE Transactions on Software Engineering 45 1996 993 1001
19. S.J. Friedman, and K.J. Supowit Finding the optimal variable ordering for binary decision diagrams IEEE Transactions on Computers C-39 1990 710 713
20. M. Bouissou, F. Bruyre, and A.B.D.D. Rauzy Based fault tree processing: a comparison of variable ordering heuristics C. Guedes Soares, Advances in safety and reliability 1997 Pergamon UK 2045 2052
21. M. Nikolskaia, and A. Rauzy Fine-tuning of Boolean formulae preprocessing techniques G.I. Schuller, P. Kafka, Advances in safety and reliability 1999 A.A. Balkema Rotterdam 1027 1032
22. C. Ibaez-Llano, E. Melndez, and F. Nieto Variable ordering schemes to apply to the binary decision diagram methodology for event tree sequences assessment Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability 222 2008 7 16
23. J.M. Izquierdo, E. Melndez, and J. Devooght Relationships between probabilistic dynamics and event trees Reliability Engineering and System Safety 52 1996 197 209
24. A. Rauzy Mathematical foundations of minimal cutsets IEEE Transactions on Reliability 50 2001 389 396
25. W.S. Jung, S. Han, and J.-E. Yang Fast BDD truncation method for efficient top event probability calculation Nuclear Engineering and Technology 40 2008 63 72
26. W.S. Jung, J.E. Yang, and J.J. Ha Development of measures to estimate truncation error in fault tree analysis Reliability Engineering and System Safety 90 2005 30 36
27. C. Ibaez-Llano, A. Rauzy, E. Melndez, and F. Nieto Minimal cutsets-based reduction approach for the use of binary decision diagrams on probabilistic safety assessment fault tree models Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability 223 4 2009 301 311