Nuclear Engineering and Technology

Korean Nuclear Society (한국원자력학회)
권호 표지
DOI QR코드

DOI QR Code

A SOFTWARE RELIABILITY ESTIMATION METHOD TO NUCLEAR SAFETY SOFTWARE

  • Park, Gee-Yong (Instrumentation & Control and Human Factors Korea Atomic Energy Research Institute) ;
  • Jang, Seung Cheol (Integrated Safety Analysis Korea Atomic Energy Research Institute)
  • Received : 2012.09.28
  • Accepted : 2013.06.13
  • Published : 2014.02.25
Download PDF
⟨ Previous Next ⟩

Abstract

A method for estimating software reliability for nuclear safety software is proposed in this paper. This method is based on the software reliability growth model (SRGM), where the behavior of software failure is assumed to follow a non-homogeneous Poisson process. Two types of modeling schemes based on a particular underlying method are proposed in order to more precisely estimate and predict the number of software defects based on very rare software failure data. The Bayesian statistical inference is employed to estimate the model parameters by incorporating software test cases as a covariate into the model. It was identified that these models are capable of reasonably estimating the remaining number of software defects which directly affects the reactor trip functions. The software reliability might be estimated from these modeling equations, and one approach of obtaining software reliability value is proposed in this paper.

Keywords

References

  1. IEEE Std. 1228, IEEE Standard for Software Safety Plan, Institute of Electrical and Electronics Engineers, 1994.
  2. G. Y. Park, J. S. Lee, S. W. Cheon, K. C Kwon, E. Jee, and K. Y. Koh, "Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System," LNCS (Lecture Notes in Computer Science) 4680, pp.148-161, 2007.
  3. G. Y. Park, K. Y. Koh, E. Jee, P. H. Seong, K. C. Kwon, and D. H. Lee, "Fault Tree Analysis of KNICS RPS Software," Nuclear Engineering and Technology, Vol.40, No.5, pp.397-408, 2008. https://doi.org/10.5516/NET.2008.40.5.397
  4. Ch. A. Asad, M. I. Ullah, and M. J. Rehman, "An Approach for Software Reliability Model Selection," Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC'04), Hong Kong, China, September 27-30, 2004.
  5. IEEE Std. 1633-2008, IEEE Recommended Practice on Software Reliability, Institute of Electrical and Electronics Engineers, 2008.
  6. M. C. Kim, S. C. Jang, and J. Ha, "Possibilities and Limitations of Applying Software Reliability Growth Models to Safety- Critical Software," Nuclear Engineering and Technology, Vol.39, No.2, pp.145-148, 2007.
  7. H. S. Son, H. G. Kang, and S. C. Jang, "Procedure for Application of Software Reliability Growth Models to NPP PSA," Nuclear Engineering and Technology, Vol.41, No.8, pp.1065-1072, 2009. https://doi.org/10.5516/NET.2009.41.8.1065
  8. J. H. Park, D. Y. Lee, and C. H. Kim, "Development of KNICS RPS Prototype," Proceedings of ISOFIC (International Symposium on Future I&C) 2005, Tongyeong, Korea, Nov. 1-4, Session 6, pp. 160-161, 2005.
  9. G. Y. Park, S. W. Cheon, K. C. Kwon, K. Y. Koh, P. H. Seong, E. Jee, and S. Cha, "Software Qualification Activities for Safety Critical Software," Sixth American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies (NPIC&HMIT 2009), Knoxville, Tennessee, U.S.A, April 5-9, 2009. (CD-ROM).
  10. J. E. Gaffney, Jr., "Estimating the Number of Faults in Code," IEEE Transactions on Software Engineering, Vol.SE-10, pp.459-464, 1984. https://doi.org/10.1109/TSE.1984.5010260
  11. A. L. Goel and K. Okumoto, "Time-Dependent Error- Detection Rate Model for Software Reliability and Other Performance Measures," IEEE Transactions on Reliability, Vol.R-28, No. 3, pp.206-211, 1979. https://doi.org/10.1109/TR.1979.5220566
  12. CASRE 3.0, http://www.openchannelfoundation.org/projects/CASRE_3.0.
  13. SMERFS III, http://www.slingcode.com/smerfs.
  14. G. Y. Park, H. S. Eom, S. C. Jang, and H. G. Kang, "Software Failure Probability Assessment by Bayesian Inference," Nuclear Technology, July, (to be published) 2013.
  15. B. K. Ray, Z. Liu, and N. Ravishanker, "Dynamic Reliability Models for Software Using Time-Dependent Covariates," TECHNOMETRICS, Vol.48, No.1, pp.1-10, 2006. https://doi.org/10.1198/004017005000000292
  16. S. Inoue and S. Yamada, "Two-Dimensional S/W Reliability Assessment with Testing-Coverage," The 2nd Int. Conf. on Secure System Integration and Reliability Improvement, 2008. (DOI 10.1109/SS1RI.2008.21 IEEE)
  17. D. Spiegelhalter, A. Thomas, N. Best, and D. Lunn, WinBUGS User Manual, Ver. 1.4, January, 2003. (http://www.mrcbsu.cam.ac.kr/bugs)

Cited by

  1. A projection-based approach to software quality evaluation from the users’ perspectives pp.1868-808X, 2018, https://doi.org/10.1007/s13042-018-0873-y
  2. Suitability analysis of software reliability models for its applicability on NPP systems pp.07488017, 2018, https://doi.org/10.1002/qre.2315