Exhaustive test cases for the software reliability of safety-critical digital systems in nuclear power plants

2019 ◽  
Vol 352 ◽  
pp. 110151
Author(s):  
Jaehyun Cho ◽  
Sung Min Shin ◽  
Seung Jun Lee ◽  
Wondea Jung
Author(s):  
Steven A. Arndt

Over the past 20 years, the nuclear power industry in the United States (U.S.) has been slowly replacing old, obsolete, and difficult-to-maintain analog technology for its nuclear power plant protection, control, and instrumentation systems with digital systems. The advantages of digital technology, including more accurate and stable measurements and the ability to improve diagnostics capability and system reliability, have led to an ever increasing move to complete these upgrades. Because of the difficulties with establishing digital systems safety based on analysis or tests, the safety demonstration for these systems relies heavily on establishing the quality of the design and development of the hardware and software. In the United States, the U.S. Nuclear Regulatory Commission (NRC) has established detailed guidelines for establishing and documenting an appropriate safety demonstration for digital systems in NUREG-0800, “Standard Review Plan for the Review of Safety Analysis Reports for Nuclear Power Plants: LWR Edition,” Chapter 7, “Instrumentation and Controls,” Revision 5, issued March 2007 [1], and in a number of regulatory guides and interim staff guidance documents. However, despite the fact that the United States has a well-defined review process, a number of significant challenges associated with the design, licensing, and implementation of upgrades to digital systems for U.S. plants have emerged. Among these challenges have been problems with the quality of the systems and the supporting software verification and validation (V&V) processes, challenges with determining the optimum balance between the enhanced capabilities for the new systems and the desire to maintain system simplicity, challenges with cyber security, and challenges with developing the information needed to support the review of new systems for regulatory compliance.


Author(s):  
Guo Jia ◽  
Yang Ming

Since safety-critical software is crucial to nuclear safety in the occurrence of accident, it is required to have rather higher requirements in both reliability and safety than the non-safety one. However, since the complexity of a software product, how to ensure the reliability and safety of a software product is still a challenging work. The paper presents a design of a platform for safety justification of safety-critical software of nuclear power plants. A syllogism referred as to Claim, Argument and Evidence (CAE) is applied to clarify the key factors that will affect software reliability and the dependencies between them. The proposed safety justification platform offers a user-friendly graphical interface to help construct a CAE model by a drag and drop way. The proposed safety justification platform could be used for the rigorous argument of various factors that may affect the reliability of a safety-critical software product during different phases of its life cycle and establishing their causalities. In this way, it could greatly improve its creditability and applicability and lowering the uncertainties in software development and application, and therefore has a significant engineering values in ensuring and improving the quality and reliability of nuclear software products.


Nuclear Power ◽  
10.5772/9909 ◽  
2010 ◽  
Author(s):  
Risto Nevalainen ◽  
Juha Halminen ◽  
Hannu Harju ◽  
Mika Johansso

Sign in / Sign up

Export Citation Format

Share Document