Advanced SearchSearch Tips
An Optimized V&V Methodology to Improve Quality for Safety-Critical Software of Nuclear Power Plant
facebook(new window)  Pirnt(new window) E-mail(new window) Excel Download
 Title & Authors
An Optimized V&V Methodology to Improve Quality for Safety-Critical Software of Nuclear Power Plant
Koo, Seo-Ryong; Yoo, Yeong-Jae;
  PDF(new window)
As the use of software is more wider in the safety-critical nuclear fields, so study to improve safety and quality of the software has been actively carried out for more than the past decade. In the nuclear power plant, nuclear man-machine interface systems (MMIS) performs the function of the brain and neural networks of human and consists of fully digitalized equipments. Therefore, errors in the software for nuclear MMIS may occur an abnormal operation of nuclear power plant, can result in economic loss due to the consequential trip of the nuclear power plant. Verification and validation (V&V) is a software-engineering discipline that helps to build quality into software, and the nuclear industry has been defined by laws and regulations to implement and adhere to a through verification and validation activities along the software lifecycle. V&V is a collection of analysis and testing activities across the full lifecycle and complements the efforts of other quality-engineering functions. This study propose a methodology based on V&V activities and related tool-chain to improve quality for software in the nuclear power plant. The optimized methodology consists of a document evaluation, requirement traceability, source code review, and software testing. The proposed methodology has been applied and approved to the real MMIS project for Shin-Hanul units 1&2.
Safety-Critical Software;Verification & Validation;Quality;Traceability;Testing;
 Cited by
N.G. Leveson (1995), "Safeware - System Safety and Computers," Addison-Wesley.

Storey N (1996), "Safety-Critical Computer Systems," Addison-Wesley.

Dyer M (1992), "The Cleanroom Approach to Quality Software Development," John Wiley & Sons.

S. Koo, P. Seong, J. Yoo, S. Cha, and Y. Yoo (2005), "An Effective Technique for the Software Requirements Analysis of NPP Safety-Critical Systems, Based on Software Inspection, Requirement Traceability, and Formal Specification", Reliability Engineering and System Safety, Vol. 89, No. 3, pp. 248-260. crossref(new window)

S. Koo, P. Seong (2006), "Software Design Specification and Analysis Technique(SDSAT) for the Development of Safety-Critical Systems Based on a Programmable Logic Controller(PLC)", Reliability Engineering and System Safety, Vol. 91, Issue 6, pp. 648-664. crossref(new window)

S. Koo, P. Seong, J Yoo, S Cha, C Youn, H Han (2006), "NuSEE: an integrated environment of software specification and V&V for NPP safety-critical systems," Nuclear Engineering and Technology, Vol. 38, No. 3, pp. 259-276.

IEEE (1998), IEEE Standard 1012 for software verification and validation, an American National Standard.