Exhaustive Test Case Generation for Nuclear Safety Software Based on the Software Logic Model

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

(2019) Jaehyun Cho et al.   NUCLEAR ENGINEERING AND DESIGN

Exhaustive testing of safety-critical software for reactor protection system

(2019) Sang Hun Lee et al.   RELIABILITY ENGINEERING & SYSTEM SAFETY

Development of a Bayesian belief network model for software reliability quantification of digital protection systems in nuclear power plants

(2018) Hyun Gook Kang et al.   ANNALS OF NUCLEAR ENERGY

Development of simulation-based testing environment for safety-critical software

(2018) Sang Hun Lee et al.   Nuclear Engineering and Technology

Development of Field Programmable Gate Array-based Reactor Trip Functions Using Systems Engineering Approach

(2016) Jaecheon Jung et al.   Nuclear Engineering and Technology

V&V-based remaining fault estimation model for safety–critical software of a nuclear power plant

(2012) Heung-seop Eom et al.   ANNALS OF NUCLEAR ENERGY

TECHNICAL REVIEW ON THE LOCALIZED DIGITAL INSTRUMENTATION AND CONTROL SYSTEMS

(2011) Kee-Choon Kwon et al.   Nuclear Engineering and Technology

Formal Modeling and Verification of Safety-Critical Software

(2009) Junbeom Yoo et al.   IEEE SOFTWARE

Input-profile-based software failure probability quantification for safety signal generation systems

(2009) Hyun Gook Kang et al.   RELIABILITY ENGINEERING & SYSTEM SAFETY