KIPS Transactions on Computer and Communication Systems (정보처리학회논문지:컴퓨터 및 통신 시스템)

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

DOI QR Code

The Software Reliability Evaluation of a Nuclear Controller Software Using a Fault Detection Coverage Based on the Fault Weight

가중치 기반 고장감지 커버리지 방법을 이용한 원전 제어기기 소프트웨어 신뢰도 평가

  • Received : 2016.08.17
  • Accepted : 2016.08.29
  • Published : 2016.09.30
Download PDF
⟨ Previous Next ⟩

Abstract

The software used in the nuclear safety field has been ensured through the development, validation, safety analysis, and quality assurance activities throughout the entire process life cycle from the planning phase to the installation phase. However, this evaluation through the development and validation process needs a lot of time and money, and there are limitations to ensure that the quality is improved enough. Therefore, the effort to calculate the reliability of the software continues for a quantitative evaluation instead of a qualitative evaluation. In this paper, we propose a reliability evaluation method for the software to be used for a specific operation of the digital controller in a nuclear power plant. After injecting weighted faults in the internal space of a developed controller and calculating the ability to detect the injected faults using diagnostic software, we can evaluate the software reliability of a digital controller in a nuclear power plant.

원자력분야에서 사용되는 안전관련 소프트웨어는 계획단계부터 설치단계까지의 전 생명주기 공정을 통해 개발과 확인검증, 안전성 분석, 그리고 품질보증 활동을 수행해 소프트웨어의 안전성을 보장하고 있다. 그러나 이러한 개발과 검증공정을 통한 평가는 시간과 비용을 많이 필요로 한다. 또한, 소프트웨어의 품질을 향상시키기 위해 다양한 활동을 수행했다고 주장하지만, 어느 정도의 품질이 향상되었는지 확인하기에는 한계가 있다. 이러한 한계를 극복하기 위해서 정량적인 평가를 수행할 수 있는 소프트웨어 신뢰도 계산 방법을 제안한다. 특히, 소프트웨어가 사용하는 메모리 공간에 고장을 주입하여 소프트웨어의 고장을 모사하고, 주입된 고장에 가중치를 부여하여 고장 민감도에 차이를 두고, 감지능력을 평가하여 소프트웨어 고장율을 계산한다. 이러한 고장율을 활용하여 소프트웨어 신뢰도 계산을 수행하면 정량적인 평가결과를 획득할 수 있게 된다.

Keywords

References

  1. BTP-7-14, Guidance on software reviews for digital computer-based instrumentation and control system. NUREG-0800, Standard Review Plan: branch technical position 7-14, Revision 5, Nuclear Regulatory Commission.
  2. The Institute of Electrical and Electronics Engineers, Inc., "Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations," IEEE 7-4.3.2.
  3. K. C. Kwon and M. S. Lee, "Technical Review on the Localized Digital Instrumentation and Control Systems," Nuclear Engineering and Technology, Vol.41, No.4, pp.447-454, 2009. https://doi.org/10.5516/NET.2009.41.4.447
  4. Gaurav Aggarwal and V. K Gupta, "Software Reliability Growth Model," International Journal of Advanced Research in Computer Science and Software Engineering, Vol.4, pp. 475-479, 2014.
  5. H. S. Eom, G. Y. Park, H. G. Kang, and S. C. Jang, "Reliability assessment of a safety-critical software by using generalized Bayesian nets," 6th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human Machine Interface Technology, Knoxville, Tennessee 2009.
  6. Mohd. Anjum, Md. Asraful Haque, and Nesar Ahmad, "Analysis and Ranking of Software Reliability Models Based on Weighted Criteria Value," Information Technology and Computer Science, No.2, pp.1-14, 2013.
  7. B. A. Gran and A. Helminen, "The BBN methodology: progress report and future work. OECD Halden Reactor Project," HWR-693, 2002.
  8. "Development of Nuclear Risk Management Technology," Research Report, KAERI/RR-2794/2006.
  9. Yangyang Yu, Barry W. Johnson, "Fault Injection Techniques: A perspective on the state of Research," Fault injection techniques and Tools for Embedded System Reliability Evaluation, 7-39, 2003.
  10. H. G. Kang, "An Overview of Risk quantification Issues of Digitalized Nuclear Power Plants Using Static Fault Trees," Nuclear Engineering and Technology, Vol.41, pp.849-858, 2009. https://doi.org/10.5516/NET.2009.41.6.849
  11. J. Duraes and H. Madeira, "Emulation of software faults, a field data study and a practical approach," IEEE Trans. Softw. Eng,. Vol.32, No.11, pp.849-867, 2006. https://doi.org/10.1109/TSE.2006.113
  12. M. C. Hsueh, T. K. Tsai, and R. KIyer, "Fault Injection Techniques and Tools," IEEE Computer, Vol.30, No.4, pp.75-82, April, 1997.
  13. Jean arlat et al., "Fault Injection for Dependability Validation: A Methodology and Some Applications," IEEE Trans. On Soft. Eng., Vol.16, No.2, pp.166-182, Feb., 1990. https://doi.org/10.1109/32.44380
  14. PATENT, "Fault mode apparatus and method using software," 10-1222349, The Korean Intellectual Property Office, 2013.
  15. Y. Yu, "A perspective on the state of Research on Fault injection techniques," Research Report, University of Virginia, May, 2001.
  16. H. Madeira, D. Costa, and M. Vieira, "On the emulation of software faults by software faults by software fault injection," Proceedings of International Conference on Dependable Systems and Networks, pp.417-426, 2000.
  17. S. Richter and J. Wittig, "Verification and Validation Process for Safety I&C Systems," Nuclear Plant Journal, pp.36-40, May-June, 2003.