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.

Testing the Existence of Change-Point in NHPP Software Reliability Models.

Change Point Detection for Nonparametric Regression under Strongly Mixing Process

Change-point Detection for the Link Function in a Single-Index Model

Estimation and Analysis of Some Generalized Multiple Change-Point Software Reliability Models

Reliability Prediction and Assessment of Fielded Software Based on Multiple Change-Point Models

Performance Analysis of Software Reliability Growth Models with Testing-Effort and Change-Point

NONPARAMETRIC STATISTICAL INFERENCE FOR DISTRIBUTION CHANGE POINT MODEL

Software Reliability Modeling withWeibull-type Testing-Effort and Multiple Change-Points

A New Goodness-Of-Fit Test Based On The Laplace Statistic For A Large Class Of Nhpp Models

NHPP Software Reliability Model with Inflection Factor of the Fault Detection Rate Considering the Uncertainty of Software Operating Environments and Predictive Analysis

Testing for Change Points in Partially Linear Models

Bivariate change-point modeling for software reliability assessment with uncertainty of testing-environment factor

An Investigation into Whether the NHPP Framework is Suitable for Software Reliability Prediction and Estimation

Integrating Generalized Weibull-type Testing-Effort Function and Multiple Change-Points into Software Reliability Growth Models

CHANGE-POINT DETECTION WITH RANK STATISTICS IN LONG-MEMORY TIME-SERIES MODELS

Quantitative Software Reliability Modeling from Testing to Operation

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

Software reliability analysis considering the variation of testing-effort and change-point.

Change-Point detection for autocorrelated multivariate Poisson processes

Using the Methods of Statistical Data Analysis to Improve the Trustworthiness of Software Reliability Modeling

Dimension-agnostic Change Point Detection