A SOFTWARE RELIABILITY ESTIMATION METHOD TO NUCLEAR SAFETY SOFTWARE

A method for estimating software reliability for nuclear safety software is proposed in this paper. This method is based on the software reliability growth model (SRGM), where the behavior of software failure is assumed to follow a non-homogeneous Poisson process. Two types of modeling schemes based on a particular underlying method are proposed in order to more precisely estimate and predict the number of software defects based on very rare software failure data. The Bayesian statistical inference is employed to estimate the model parameters by incorporating software test cases as a covariate into the model. It was identified that these models are capable of reasonably estimating the remaining number of software defects which directly affects the reactor trip functions. The software reliability might be estimated from these modeling equations, and one approach of obtaining software reliability value is proposed in this paper.

[1]  Hyun Gook Kang,et al.  Software Failure Probability Assessment by Bayesian Inference , 2013 .

[2]  Nalini Ravishanker,et al.  Dynamic Reliability Models for Software Using Time-Dependent Covariates , 2006, Technometrics.

[3]  Muhammad Irfan Ullah,et al.  An approach for software reliability model selection , 2004, Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004..

[4]  Man Cheol Kim,et al.  POSSIBILITIES AND LIMITATIONS OF APPLYING SOFTWARE RELIABILITY GROWTH MODELS TO SAFETY- CRITICAL SOFTWARE , 2007 .

[5]  John E. Gaffney,et al.  Estimating the Number of Faults in Code , 1984, IEEE Transactions on Software Engineering.

[6]  Hyun Gook Kang,et al.  PROCEDURE FOR APPLICATION OF SOFTWARE RELIABILITY GROWTH MODELS TO NPP PSA , 2009 .

[7]  Jang-Soo Lee,et al.  Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System , 2007, SAFECOMP.

[8]  P. Singare,et al.  NON DESTRUCTIVE APPLICATION OF RADIOACTIVE TRACER TECHNIQUE FOR CHARACTERIZATION OF INDUSTRIAL GRADE ANION EXCHANGE RESINS INDION GS-300 AND INDION-860 , 2014 .

[9]  Amrit L. Goel,et al.  Time-Dependent Error-Detection Rate Model for Software Reliability and Other Performance Measures , 1979, IEEE Transactions on Reliability.

[10]  Poong Hyun Seong,et al.  Software qualification activities for safety critical software , 2009 .

[11]  Poong Hyun Seong,et al.  FAULT TREE ANALYSIS OF KNICS RPS SOFTWARE , 2008 .

[12]  S. K. Kim,et al.  A STATISTICAL APPROACH FOR DERIVING KEY NFC EVALUATION CRITERIA , 2014 .