Abstract:Nuclear safety has received great concern since Fukushima Accident. As the employment of digital systems in newly-built and upgraded Nuclear Power Plants (NPPs), software reliability brings a lot of challenges to the Probability Risk Assessment of NPPs. Digital Reactor Protection System (RPS) plays an important role in nuclear safety: it monitors the state of the plant and generates an emergency scram signal if certain nuclear accident arises. To meet the requirements of regulation and Probability Risk Assessment, we collected the fault detection data during the RPS software testing process and modeled this testing process with Software Reliability Growth Models (SRGMs). In order to describe the characteristics of the data, we built an SRGM based on non-homogeneous Poisson process (NHPP). Severity analysis was considered by identifying the software faults into easy and hard ones modeled with different SRGMs separately. Goel-Okumoto (GO) model was selected to describe the easy faults and the hard faults were modeled by Inflection S-shaped (ISS) model or Delayed S-shaped (DSS) model. As the fault detection rate and the inflection factor is different because of changes of testing environment, testing strategy, resources, etc., we also used change point (CP) method to improve the fitting and prediction effects. The data collected in our project were used to testify the validity of our models. According to a series of analysis, "GO&ISS with CP" model has good fitting and prediction abilities even when the data obtained are limited while "GO&ISS" model has good prediction effect only when there are sufficient testing data. On the other hand, because of the abnormal fitting parameters, "GO&DSS" model and "GO&DSS with CP" model are not proper for the fitting of our data. We also find that the adoption of change point can improve the prediction effect on both "GO&ISS" mo- el and "GO&DSS" model. The models we proposed give good estimation of the proportion of easy faults and good prediction result, which can be used to guide future testing work.

Software reliability analysis for safety‐critical and control systems

Recent advances in digital system reliability prediction

Reliability analysis of digital protection's software based on architecture

A Review of Recent Dynamic Reliability Analysis Methods and a Proposal for a Smart Component Methodology

A Redundancy-Guided Approach for the Hazard Analysis of Digital Instrumentation and Control Systems in Advanced Nuclear Power Plants

Software reliability growth model of reactor protection system based on ratio analysis of critical faults

Approach for parameter estimation in Markov model of software reliability for early prediction: a case study

A Comparative Study on Reliability Analysis Methods for Safety Critical Systems Using Petri-Nets and Dynamic Flowgraph Methodology: A Case Study of Nuclear Power Plant

New Strategies for Reliability Analysis of Programmable Logic Controllers

Application of Orthogonal Defect Classification for Software Reliability Analysis

Reliability Analysis of the Automatic Control System of Reactor Power in Nuclear Power Plant Based on DFM

Quantifying Software Safety in Nuclear Power Plants: A Framework for Requirements Phase Assessment

A Novel Software Reliability Growth Model of Safety-critical Software Considering Fault Severity Classification

Software reliability modelling of Reactor Protection System based on change point and severity analysis

An integration of fault detection and correction processes in software reliability analysis

Reliability Assessment and Sensitivity Analysis of Software Reliability Growth Modeling Based on Software Module Structure

Reliability analysis of digital I&C system in nuclear power plant using dynamic flowgraph methodology

An Ontological Analysis of Safety-Critical Software and Its Anomalies

Testing and Reliability Modelling of Safety Software for Digital Reactor Protection System of HTR-PM

A Survey of Software Reliability Models

Quantitative evaluation of common cause failures in high safety-significant safety-related digital instrumentation and control systems in nuclear power plants