Browse > Article
http://dx.doi.org/10.3745/KTCCS.2016.5.9.275

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

Lee, Young-Jun (한국원자력연구원)
Lee, Jang-Soo (한국원자력연구원)
Kim, Young-Kuk (충남대학교 컴퓨터공학과)
Publication Information
KIPS Transactions on Computer and Communication Systems / v.5, no.9, 2016 , pp. 275-284 More about this Journal
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
Software Reliability; Fault Injection; Fault Weight; Fault Detection Coverage;
Citations & Related Records
Times Cited By KSCI : 2  (Citation Analysis)
연도 인용수 순위
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.   DOI
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.   DOI
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.   DOI
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.   DOI
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.