FTREX features for an efficient PSA

American Nuclear Society - International Topical Meeting on Probabilistic Safety Assessment and Analysis, PSA 2008

Volumn 1, Issue , 2008, Pages 420-430

  Jung, Woo Sik ^a   Canavan, Ken ^b   Riley, Jeff ^b  

^a Korea Atomic Energy Research Institute   (South Korea)

^b ELECTRIC POWER RESEARCH INSTITUTE   (United States)

Author keywords

Fault tree solver; FTREX; ZBDD; Zero suppressed binary decision diagram

Indexed keywords

COHERENT FAULT; FAULT-TREES; LOGICAL LOOP; MEMORY USAGE; MINIMAL CUT SETS; NON-COHERENT FAULT TREES; PARALLEL COMPUTING; POST PROCESSING; QUICK TESTS; RULE BASED; TRUNCATION ERRORS; ZERO-SUPPRESSED BINARY DECISION DIAGRAMS;

APPROXIMATION ALGORITHMS; BINARY DECISION DIAGRAMS; BINARY TREES; PARALLEL ARCHITECTURES; PEELING;

ELECTRIC FAULT CURRENTS;

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

References (20)

1. S.H. Han, "PC-workstation based level 1 PRA code package-KIRAP," Reliability Engineering and System Safety, Vol. 30, pp. 313-322, (1990).
2. Electric Power Research Institute, FTREX User Manual Version 1.4, EPRI, Palo Alto, CA, (2008).
3. C.Y. Lee, "Representation of switching circuits by binary-decision programs," Bell System Technical Journal, 38, pp. 985-999, (1959).
4. B. Akers, "Binary Decision Diagrams," IEEE Transactions on Computers, C-27(6), pp. 509-516, (1978).
5. R. Bryant, "Graph Based Algorithms for Boolean Function Manipulation," IEEE Transactions on Computers, C-35(8), pp. 677-691, (1986).
6. R. Bryant, "Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams," ACM Computing Surveys, 24, pp. 293-318, (1992).
7. O. Coudert and J.C. Madre, "Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions," Proceedings of the 29th ACM/IEEE Design Automation Conference, DAC'92, (1992).
8. A. Rauzy, "New Algorithms for Fault Trees Analysis," Reliability Engineering and System Safety, 40, pp. 203-211, (1993).
9. O. Coudert and J.C. Madre, "Fault Tree Analysis: 1020 Prime Implicants and Beyond," Proceedings of the Annual Reliability and Maintainability Symposium, Atlanta, NC, USA, (1993).
10. A. Rauzy and Y. Dutuit, "Exact and Truncated Computations of Prime Implicants of Coherent and Non-coherent Fault Trees Within Aralia," Reliability Engineering and System Safety, 58, pp. 127-144, (1997).
11. Y. Dutuit and A. Rauzy, "Efficient Algorithms to Assess Component And Gate Importance in Fault Tree Analysis," Reliability Engineering & System Safety, Volume 72, pp. 213-222, (2001).
12. S. Epstein, A. Rauzy, "Can we trust PRA," Reliability Engineering & System Safety, Volume 88, pp. 195-205, (2005).
13. S. Minato., "Zero-suppressed BDDs for set manipulation in combinatorial problems," Proc. of the 30th Int'l Conf. on Design Automation, pp. 272-277, (1993).
14. W.S. Jung, S.H. Han, J.J. Ha, "A Fast BDD Algorithm for Large Coherent Fault Trees Analysis," Reliability Engineering and System Safety, Vol. 83, pp. 369-374, (2004).
15. W.S. Jung, S.H. Han, J.J. Ha, "Development of an Efficient BDD Algorithm to Solve Large Fault Trees," Proceedings of the 7th International Conference on Probabilistic Safety Assessment and Management, June, Berlin, Germany, (2004).
16. W.S. Jung, S.H. Han, J.J. Ha, "An Overview of the Fault Tree Solver FTREX," 13th International Conference on Nuclear Engineering, Beijing, China, May 16-20, (2005).
17. W.S. Jung, S.H. Han, "Development of an analytical method to break logical loops at the system level," Reliability Engineering & System Safety, Vol. 90, pp. 37-44, (2005).
18. Yang, J.E., "Analytic Method to Break Logical Loops Automatically in PSA," Reliability Engineering and Safety, Vol. 56, pp. 101-105, (1997).
19. W.S. Jung, J.E. Yang, J.J. Ha, "Development of Measures to Estimate Truncation Error in Fault Tree Analysis," Reliability Engineering & System Safety, Vol. 90, Issue 1, pp. 30-36, (2005).
20. J.J. Ha, W.S. Jung, C.K. Park, "The Application of PSA Techniques to the Vital Area Identification of Nuclear Power Plants," Nuclear Engineering and Technology, Vol. 37 No. 3, pp. 259-264 (2005).