정보처리학회 논문지 (The Transactions of the Korea Information Processing Society)

한국정보처리학회 (Korea Information Processing Society)
권호 표지
DOI QR코드

DOI QR Code

원자력 안전 소프트웨어 대상 신뢰도 측정 방법 및 도구 개발

Development of Reliability Measurement Method and Tool for Nuclear Power Plant Safety Software

  • ;
  • 최우영 (한국과학기술원 전산학부) ;
  • 지은경 (한국과학기술원 전산학부) ;
  • 류덕산 (전북대학교 소프트웨어공학과)
  • 투고 : 2024.03.14
  • 심사 : 2024.04.22
  • 발행 : 2024.05.31
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

원자력발전소에서 디지털 계측제어 시스템 비중이 높아지면서 원자력발전소에 대한 확률론적 안정성 평가 시 소프트웨어에 대한 신뢰도 평가가 중요해졌다. 원전 소프트웨어 신뢰도 추정을 위한 방법들이 몇 가지 제안 되었지만 해당 방법의 효과적 적용을 지원하는 도구 지원이 미비하였다. 본 연구에서는 소프트웨어 개발 품질 및 검증 품질과 같은 정성적 정보와 통계적 시험 결과와 같은 정량적 정보를 활용하여 원전 소프트웨어 신뢰도를 정량적으로 측정할 수 있는 자동화 도구를 설계하였고 구현하였다. 개발된 도구를 산업용 원자로 보호 시스템 사례에 적용한 결과, 개발된 도구가 원전 소프트웨어의 신뢰성 평가를 효과적으로 지원할 수 있음을 확인하였다.

Since nuclear power plants (NPPs) increasingly employ digital I&C systems, reliability evaluation for NPP software has become crucial for NPP probabilistic risk assessment. Several methods for estimating software reliability have been proposed, but there is no available tool support for those methods. To support NPP software manufacturers, we propose a reliability measurement tool for NPP software. We designed our tool to provide reliability estimation depending on available qualitative and quantitative information that users can offer. We applied the proposed tool to an industrial reactor protection system to evaluate the functionality of this tool. This tool can considerably facilitate the reliability assessment of NPP software.

키워드

과제정보

본 연구는 원자력안전위원회의 재원으로 한국원자력안전재단의 지원을 받아 수행한 원자력안전연구사업의 연구결과입니다(No. 2105030).

참고문헌

  1. International Atomic Energy Agency (IAEA), "Instrumentation and Control (I&C) Systems in Nuclear Power Plants: A Time of Transition," Nuclear Technology Review, pp. 83-94, 2008.
  2. A. M. Neufelder, "IEEE Recommended Practice on Software Reliability," IEEE Standard, 1633-2016.
  3. T. L. Chu, "Development of quantitative software reliability models for digital protection systems of nuclear power plant," United States Nuclear Regulatory Commission, Office of Nuclear Regulatory Research, 2013.
  4. H. G. Kang et al., "Development of a Bayesian belief network model for software reliability quantification of digital protection systems in nuclear power plants," Annals of Nuclear Energy, Vol.120, pp.62-73, 2018.
  5. T. L. Chu, "Development of a statistical testing approach for quantifying safety-related digital system on demand failure probability," United States Nuclear Regulatory Commission, Office of Nuclear Regulatory Research, 2017.
  6. Y. Cai, Y. Wu, J. Zhou, M. Liu, and Q. Zhang, "Quantitative software reliability assessment methodology based on Bayesian belief networks and statistical testing for safety-critical software," Annals of Nuclear Energy, Vol. 145, pp.107593, 2020.
  7. D. Spiegelhalter, A. Thomas, N. Best, & D. Lunn, "WinBUGS user manual," 2003.
  8. T. L. Chu, "Developing a Bayesian belief network model for quantifying the probability of software failure of a protection system," United States Nuclear Regulatory Commission, Office of Nuclear Regulatory Research, 2018.
  9. A. J. Albrecht, "Measuring application development productivity," Proc. Joint Share, Guide, and Ibm Application Development Symposium, 1979.
  10. International Function Point Users Group (IFPUG), "Function Point Counting Practices Manual," 2000.
  11. C. Jones, "Applied Software Measurement: Global Analysis of Productivity and Quality," McGraw Hill, 2008.
  12. 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, pp.160-161, 2005.
  13. G. Y. Park and S. C. Jang, "A software reliability estimation method to nuclear safety software," Nuclear Engineering and Technology, Vol.46, No.1, pp.55-62, 2014.
  14. P. Virtanen et al., "SciPy 1.0: fundamental algorithms for scientific computing in Python," Nature Methods, Vol.17, No.3, pp.261-272, 2020.
  15. J. S. Rachine, "RStudio: a platform-independent IDE for R and Sweave," Journal of Applied Econometrics, Vol.27, No.1, pp.167-172, 2012.
  16. M. C. Kim, S. C. Jang, and J. J. Ha, "Possibilities and limitations of applying software reliability growth models to safety-critical software," Nuclear Engineering and Technology, Vol.39, No.2, pp.129-132, 2007.
  17. H. S. Son, H. G. Kang, and S. C. Chang, "Procedure for application of software reliability growth models to NPP PSA," Nuclear Engineering and Technology, Vol.41, No.8, pp.1065-1072, 2009.