A SOFTWARE RELIABILITY ESTIMATION METHOD TO NUCLEAR SAFETY SOFTWARE

被引:11
|
作者
Park, Gee-Yong [1 ]
Jang, Seung Cheol [2 ]
机构
[1] Instrumentat & Control & Human Factors Korea Atom, Taejon 305353, South Korea
[2] Integrated Safety Anal Korea Atom Energy Res Inst, Taejon 305353, South Korea
关键词
Software Reliability; Bayesian Inference; Software Reliability Growth Model; MODELS;
D O I
10.5516/NET.04.2012.067
中图分类号
TL [原子能技术]; O571 [原子核物理学];
学科分类号
0827 ; 082701 ;
摘要
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.
引用
收藏
页码:55 / 62
页数:8
相关论文
共 50 条
  • [1] Development of a method for quantifying the reliability of nuclear safety-related software
    Zhang, Y
    Golay, MW
    [J]. PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOL I AND II, PROCEEDINGS, 2002, : 707 - 713
  • [2] A Discourse on Software Safety and Software Reliability
    Naylor, Warren
    Joyner, Burdette
    [J]. 2014 60TH ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS), 2014,
  • [3] A Parameter Estimation Method for Software Reliability Models
    Zheng, Changyou
    Liu, Xiaoming
    Huang, Song
    Yao, Yi
    [J]. CEIS 2011, 2011, 15
  • [4] Software safety and reliability
    Dunn, WR
    [J]. INTECH, 2004, 51 (03) : 76 - 76
  • [5] A hybrid approach to quantify software reliability in nuclear safety systems
    Babu, P. Arun
    Kumar, C. Senthil
    Murali, N.
    [J]. ANNALS OF NUCLEAR ENERGY, 2012, 50 : 133 - 140
  • [6] A Reliability Estimation Method for Reconfigurable Routing and Switching Software
    Ma, Dongchao
    Zhang, Shuai
    Wang, Aiyun
    Ma, Li
    [J]. 2016 IEEE/ACM 24TH INTERNATIONAL SYMPOSIUM ON QUALITY OF SERVICE (IWQOS), 2016,
  • [7] Bayesian theory based software reliability demonstration test method for safety critical software
    Wu, Yumei
    Yang, Risheng
    Li, Haifeng
    Lu, Minya
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2014, 24 (05)
  • [8] Software reliability, safety and security
    Krumov, Assen V.
    [J]. 2005 IEEE INTELLIGENT DATA ACQUISITION AND ADVANCED COMPUTING SYSTEMS: TECHNOLOGY AND APPLICATIONS, 2005, : 429 - 434
  • [9] Structural software reliability estimation
    Kuball, S
    May, J
    Hughes, G
    [J]. COMPUTER SAFETY, RELIABILITY AND SECURITY, 1999, 1698 : 336 - 349
  • [10] Software reliability cases: The bridge between hardware, software and system safety and reliability
    Herrmann, DS
    Peercy, DE
    [J]. ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 1999 PROCEEDINGS, 1999, : 396 - 402