Can we trust PRA?

Reliability Engineering and System Safety

Volumn 88, Issue 3, 2005, Pages 195-205

  Epstein, S ^a   Rauzy, A ^b  

^a ABS CONSULTING   (United States)

^b AIX MARSEILLE UNIVERSITÉ   (France)

Author keywords

Binary decision diagrams; Event Trees; Minimal cutsets; Probabilistic risk assessment

Indexed keywords

APPROXIMATION THEORY; BINARY SEQUENCES; BOOLEAN ALGEBRA; FAILURE ANALYSIS; MATHEMATICAL MODELS; PROBABILITY; PROBLEM SOLVING; RISK ASSESSMENT; SENSITIVITY ANALYSIS;

BINARY DECISION DIAGRAMS (BDD); EVENT-TREES; MINIMAL CUTSETS; PROBABILISTIC RISK ASSESSMENT (PRA);

TREES (MATHEMATICS);

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

References (25)

1. J.D. Andrews, and S.J. Dunnett Event tree analysis using binary decision diagrams IEEE Trans Reliab 49 2000 230 239
2. B. Bollig, and I. Wegener Improving the variable ordering of OBDD is NP-complete IEEE Trans Software Eng 45 9 1996 993 1001
3. E. Borgonovo, and G.E. Apostolakis A new importance measure for risk-informed decision making Reliab Eng Syst Saf 72 2001 193 212
4. R. Bryant Graph based algorithms for Boolean function manipulation IEEE Trans Comput 35 8 1986 677 691
5. K. Brace, R. Rudell, and R. Bryant Efficient implementation of a BDD package Proceedings of the 27th ACM/IEEE Design Automation Conference 1990 p. 40-5, [IEEE 0738]
6. R. Bryant Symbolic Boolean manipulation with ordered binary decision diagrams ACM Comput Surv 24 1992 293 318
7. K.M. Butler, D.E. Ross, R. Kapur, and M.R. Mercer Heuristics to compute variable orderings for efficient manipulation of ordered BDD Proceedings of the 28th Design Automation Conference, DAC'91; June 1991
8. M. Čepin Analysis of truncation limit in probabilistic safety assessment Reliab Eng Syst 2004 [in press]
9. M.C. Cheok, G.W. Parry, and R.R. Sherry Use of importance measures in risk informed regulatory applications Reliab Eng Syst Saf 60 1998 213 226
10. Y. Dutuit, and A. Rauzy Efficient algorithms to assess components and gates importances in Fault-Tree analysis Reliab Eng Syst Saf 72 2000 213 222
11. Epstein S, Rauzy A. LukeTreeWalker: specifications. Technical Report TR2004-01, ARBoost Technologies.
12. M. Fujita, H. Fujisawa, and N. Kawato Evaluation and improvements of Boolean comparison method based on binary decision diagrams Proceedings of IEEE International Conference on Computer Aided Design, ICCAD'88 1988 [p. 2-5]
13. J.B. Fussel, and W.E. Vesely A new methodology for obtaining cut sets for Fault Trees Trans Am Nucl Soc 15 1972 262 263
14. H. Kumamoto, and E.J. Henley Probabilistic risk assessment and management for engineers and scientists 1996 IEEE Press New York [ISBN 0-7803-6017-6]
15. W.S. Jung, and D.K. Kim FORTE: a fast new algorithm for risk monitors and PSA Proceedings of the Fourth International Conference on Probabilistic Safety Assessment and Management, New York, USA 1998 [p. 1221]
16. W.S. Jung, S.H. Han, and J. Ha A fast BDD algorithm for large coherent fault trees analysis Reliab Eng Syst Saf 83 2004 369 374
17. S. Minato, N. Ishiura, and S. Yajima Shared binary decision diagrams with attributed edges for efficient Boolean function manipulation L.J.M. Claesen Proceedings of the 27th ACM/IEEE Design Automation Conference, DAC'90; June 1990 [p. 52-7]
18. S. Minato Zero-suppressed BDD for set manipulation in combinatorial problems Proceedings of the 30th ACM/IEEE Design Automation Conference, DAC'93 1993 [p. 272-7]
19. R. Murgai, J. Jain, and M. Fujita Efficient scheduling techniques for ROBDD construction Proceedings of the International Conference on VLSI Design 1999 [p. 394-401]
20. I.A. Papazoglou Mathematical foundations of event trees Reliab Eng Syst Saf 61 1998 169 183
21. A. Rauzy New algorithms for Fault Trees analysis Reliab Eng Syst Saf 40 1993 203 211
22. A. Rauzy Mathematical foundation of minimal cutsets IEEE Trans Reliab 50 2001 389 396
23. A. Rauzy Towards an efficient implementation of mocus IEEE Trans Reliab 52 2003 175 180
24. R. Rudell Dynamic variable ordering for ordered binary decision diagrams Proceedings of IEEE International Conference on Computer Aided Design, ICCAD'93, November 1993 [p. 42-7]
25. I.B. Wall, and D.H. Worledge Some perspectives on risk importance measures Proceedings of the International Conference on Probabilistic Safety Assessment, PSA'96 1996 [p. 203-7]