Nuclear Engineering and Technology

  • 제41권8호
  • /
  • Pages.1065-1072
  • /
  • 2009
  • /
  • 1738-5733(pISSN)
  • /
  • 2234-358X(eISSN)
한국원자력학회 (Korean Nuclear Society)
권호 표지
DOI QR코드

DOI QR Code

PROCEDURE FOR APPLICATION OF SOFTWARE RELIABILITY GROWTH MODELS TO NPP PSA

  • 발행 : 2009.10.31
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

As the use of software increases at nuclear power plants (NPPs), the necessity for including software reliability and/or safety into the NPP Probabilistic Safety Assessment (PSA) rises. This work proposes an application procedure of software reliability growth models (RGMs), which are most widely used to quantify software reliability, to NPP PSA. Through the proposed procedure, it can be determined if a software reliability growth model can be applied to the NPP PSA before its real application. The procedure proposed in this work is expected to be very helpful for incorporating software into NPP PSA.

키워드

참고문헌

  1. N.G. Leveson, SAFEWARE, System safety and Computers, Addison Wesley, 1995
  2. H.G. Kang, et al., “An Overview of Risk Quantification Issues of Digitalized Nuclear Power Plants using Static Fault Tree,” Nuclear Engineering and Technology, Vol.41, 2009
  3. D.A. Peled, SOFTWARE RELIABILITY METHODS, Springer, 2001
  4. J. Yoo, T. Kim, S. Cha, J.S. Lee, and H.S. Son, “A formal software requirements specification method for digital nuclear plants protection systems,” Journal of Systems and Software, 74, 1, pp.73–83, 2005 https://doi.org/10.1016/j.jss.2003.10.018
  5. NEA/CSNI/R(97)23, Operating and maintenance experience with computer- based systems in nuclear power plants, 1998
  6. Kang, H.G and Sung, T, “An analysis of safety-critical digital systems for risk-informed design,” Reliability Engineering and Systems Safety, Vol. 78, No. 3, 2002 https://doi.org/10.1016/S0951-8320(02)00176-X
  7. White, R.M and Boettcher, D.B, “Putting Sizewell B digital protection in context,” Nuclear Engineering International, pp. 41-43, 1994
  8. B. Li, M. Li, S. Ghose, and C. Smidts, “Integrating software into PRA,” Proceedings of the 14th International Symposium on Software Reliability Engineering, IEEE Computer Society Press, 2003 https://doi.org/10.1109/ISSRE.2003.1251066
  9. C.A. Asad, M.I. Ullah, M.J. Rehman, "An approach for software reliability model selection," Proceedings of the 28th Annual International Computer Software and Applications Conference (COMSAC'04), IEEE, 2004 https://doi.org/10.1109/CMPSAC.2004.1342891
  10. M. R. Lyu, HANDBOOK OF SOFTWARE RELIABILITY, IEEE Computer Society Press and McGraw-Hill, 1996
  11. A. Wood, “Software Reliability Growth Models: Assumptions vs. Reality,” Proceedings of the International Symposium on Software Reliability Engineering, 23, 11, pp. 136-141, 1997 https://doi.org/10.1109/ISSRE.1997.630858
  12. P.H. Seong, et al., RELIABILITY AND RISK ISSUES IN LARGE SCALE SAFETY-CRITICAL DIGITAL CONTROL SYSTEMS, Springer-Verlag, 2008
  13. J. Musa, A. Ackerman, “Quantifying Software Validation: When to Stop Testing,” IEEE Software, May, pp. 19-27, 1989 https://doi.org/10.1109/52.28120
  14. D.R. Prince Williams, “Prediction Capability Analysis of Two and Three Parameters Software Reliability Growth Models,” Information Technology Journal, 5, 6, pp. 1048-1052, 2006 https://doi.org/10.3923/itj.2006.1048.1052
  15. J.D. Musa, A. Iannino, and K. Okumoto, SOFTWARE RELIABILITY, Measurement, Prediction, Application, McGraw-Hill, 1987
  16. C. Huang, C. Lin, S. Kuo, M.R. Lyu, and C. Sue, “Software Reliability Growth Models Incorporating Fault Dependency with Various Debugging Time Lags,” Proceedings of The 28th Annual International Computer Software and Application Conference(COMSAC'04), IEEE, 2004 https://doi.org/10.1109/CMPSAC.2004.1342826
  17. J. Sall, A. Lehman, “JMP Start Statistics,” SAS Institute, Duxbury Press

피인용 문헌

  1. Software Failure Probability Assessment by Bayesian Inference vol.183, pp.1, 2013, https://doi.org/10.13182/NT13-A16996