Exhaustive testing of safety-critical software for reactor protection system

Sang Hun Lee, Seung Jun Lee, Sung Min Shin, Eun-chan Lee and Hyun Gook Kang

Reliability Engineering and System Safety, 2020, vol. 193, issue C

Abstract: As software is used to implement safety-critical functions in nuclear power plants (NPPs), the software developers must demonstrate that the software will generate its dedicated safety signal in on-demand situations based on proper test results to ensure the safety of digitalized NPP. This paper describes an automated exhaustive test case generation framework for the function block diagram (FBD) programs used in NPP safety systems. The proposed method translates an FBD program to a semantically equivalent satisfiability modulo theories (SMT) formula based on the formal definition of FBD and generates the exhaustive test cases given desired software output by iteratively solving the SMT formula. The effectiveness of the proposed framework is demonstrated with a case study of a trip logic software of a typical NPP reactor protection system. The case study results showed that the proposed approach could effectively generate exhaustive test cases and further prove that the NPP safety software is error-free in terms of its safety function.

Keywords: Nuclear power plant; Digital I&C system; Software reliability; Software testing (search for similar items in EconPapers)
Date: 2020
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (2)

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0951832019307586
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:reensy:v:193:y:2020:i:c:s0951832019307586

DOI: 10.1016/j.ress.2019.106667

Access Statistics for this article

Reliability Engineering and System Safety is currently edited by Carlos Guedes Soares

More articles in Reliability Engineering and System Safety from Elsevier
Bibliographic data for series maintained by Catherine Liu ().