AN OVERVIEW OF RISK QUANTIFICATION ISSUES FOR DIGITALIZED NUCLEAR POWER PLANTS USING A STATIC FAULT TREE
暂无分享,去创建一个
Seung Jun Lee | Ho Jung Lee | Jong Gyun Choi | Hyun Gook Kang | Man Cheol Kim | Seung-Cheol Jang | Seung Jun Lee | Heung Seop Eom | J. Choi | M. Kim | S. Jang | H. Eom | Ho Jung Lee
[1] John A. Forester,et al. Expert elicitation approach for performing ATHEANA quantification , 2004, Reliab. Eng. Syst. Saf..
[2] Seung-Soo Kim,et al. COMPARISON BETWEEN EXPERIMENTALLY MEASURED AND THERMODYNAMICALLY CALCULATED SOLUBILITIES OF UO2AND THO2IN KURT GROUND WATER , 2009 .
[3] Seung-Cheol Jang,et al. ATWS Frequency Quantification Focusing on Digital I&C Failures , 2004 .
[4] Lixuan Lu,et al. Probabilistic Safety Assessment for Instrumentation and Control Systems in Nuclear Power Plants: An Overview , 2004 .
[5] Barry W. Johnson,et al. Dependability metrics to assess safety-critical systems , 2005, IEEE Transactions on Reliability.
[6] Man Cheol Kim,et al. POSSIBILITIES AND LIMITATIONS OF APPLYING SOFTWARE RELIABILITY GROWTH MODELS TO SAFETY- CRITICAL SOFTWARE , 2007 .
[7] David Lorge Parnas,et al. Assessment of safety-critical software in nuclear power plants , 1991 .
[8] Hyun Gook Kang,et al. An analysis of safety-critical digital systems for risk-informed design , 2002, Reliab. Eng. Syst. Saf..
[9] Poong Hyun Seong. Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems , 2008 .
[10] Bev Littlewood,et al. The use of computers in safety-critical applications , 1998 .
[11] H. S. Eom,et al. Survey of Bayesian belief nets for the quantitative reliability assessment of safety critical software used in nuclear power plants , 2000 .
[12] Joon Lyou,et al. A Safety Assessment Methodology for a Digital Reactor Protection System , 2006 .
[13] A. Tversky,et al. Judgment under Uncertainty: Heuristics and Biases , 1974, Science.
[14] Barry W. Johnson,et al. Coverage Estimation Using Statistics of the Extremes for When Testing Reveals No Failures , 2002, IEEE Trans. Computers.
[15] Poong Hyun Seong,et al. Evaluation of error detection coverage and fault-tolerance of digital plant protection system in nuclear power plants , 2006 .
[16] Martin Neil,et al. Using Bayesian networks to predict software defects and reliability , 2008 .
[17] David Wright,et al. Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software , 1997, IEEE Trans. Software Eng..
[18] Hyun Gook Kang,et al. Application of condition-based HRA method for a manual actuation of the safety features in a nuclear power Plant , 2006, Reliab. Eng. Syst. Saf..
[19] Dong-Hak Kook,et al. DESIGN AND CONSTRUCTION OF AN ADVANCED SPENT FUEL CONDITIONING PROCESS FACILITY (ACPF) , 2009 .
[20] Donald D Dudenhoeffer,et al. Technology Roadmap Instrumentation, Control, and Human-Machine Interface to Support DOE Advanced Nuclear Energy Programs , 2007 .
[21] B. A. Gran,et al. THE USE OF BAYESIAN BELIEF NETS IN SAFETY ASSESSMENT OF SOFTWARE BASED SYSTEMS , 2000 .
[22] Laura Uusitalo,et al. Advantages and challenges of Bayesian networks in environmental modelling , 2007 .
[23] G. B. Finelli,et al. The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software , 1993, IEEE Trans. Software Eng..
[24] Hyun Kook Shin,et al. Development of an Advanced Digital Reactor Protection System Using Diverse Dual Processors to Prevent Common-Mode Failure , 2003 .