Nuclear Engineering and Technology

Korean Nuclear Society (한국원자력학회)
권호 표지
DOI QR코드

DOI QR Code

POSSIBILITIES AND LIMITATIONS OF APPLYING SOFTWARE RELIABILITY GROWTH MODELS TO SAFETY-CRITICAL SOFTWARE

  • Published : 2007.04.30
Download PDF
⟨ Previous Next ⟩

Abstract

It is generally known that software reliability growth models such as the Jelinski-Moranda model and the Goel-Okumoto's non-homogeneous Poisson process (NHPP) model cannot be applied to safety-critical software due to a lack of software failure data. In this paper, by applying two of the most widely known software reliability growth models to sample software failure data, we demonstrate the possibility of using the software reliability growth models to prove the high reliability of safety-critical software. The high sensitivity of a piece of software's reliability to software failure data, as well as a lack of sufficient software failure data, is also identified as a possible limitation when applying the software reliability growth models to safety-critical software.

Keywords

References

  1. H. G. Kang and T. Sung, 'An Analysis of Safety-Critical Digital Systems for Risk-Informed Design,' Reliability Engineering and System Safety, 78, 3 (2002) https://doi.org/10.1016/S0951-8320(02)00176-X
  2. N. Fenton, B. Littlewood, M. Neil, L. Stringini, A. Sutcliffe, and D. Wright, 'Assessing Dependability of Safety Critical Systems using Diverse Evidence,' IEE Proceedings on Software, 145, 1 (1998)
  3. N. E. Fenton and M. Neil, 'A Critique of Software Defect Prediction Models,' IEEE Transactions on Software Engineering, 25, 5 (1999) https://doi.org/10.1109/32.815326
  4. N. E. Fenton and M. Neil, 'Software Metrics: Successes, Failures and New Directions,' The Journal of Systems and Software, 47, 2-3 (1999) https://doi.org/10.1016/S0164-1212(99)00035-7
  5. M. Bouissou, F. Martin, and A. Ourghanlian, 'Assessment of a Safety-Critical System Including Software: A Bayesian Belief Network for Evidence Source,' Proceedings onAnnual Reliability and Maintanability Symposium, pp.142-150, 1999 https://doi.org/10.1109/RAMS.1999.744110
  6. H. S. Eom, H. G. Kang, S. C. Jang, and J. J. Ha, 'A Study on the Quantitative Reliability Assessment Method for Safety Critical Software Using Bayesian Belief Nets,' KAERI/TR-2437/2003, Korea Atomic Energy Research Institute (2003)
  7. Z. Jelinski, P. B. Moranda, 'Software Reliability Research' (W. Freiberger, Editor), Statistical Computer Performance Evaluation, Academic, New York, p.465 (1972)
  8. A. L. Goel and K. Okumoto, 'Time-Dependent Error-Detection Rate Model for Software Reliability and Other Performance Measures,' IEEE Transactions on Reliability, R-28, 3 (1979) https://doi.org/10.1109/TR.1979.5220677
  9. R.W. Butler and G.B. Finelli, 'The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software,' IEEE Transactions on Software Engineering, 19, 1 (1993) https://doi.org/10.1109/32.210303
  10. J. D. Musa, A. Iannino, and K. Okumoto, Software Reliability - Measurement, Prediction, Application, McGraw-Hill Book Company, Singapore (1987)

Cited by

  1. Input-Domain Software Testing for Failure Probability Estimation of Safety-Critical Applications in Consideration of Past Input Sequence vol.6, pp.2169-3536, 2018, https://doi.org/10.1109/ACCESS.2017.2765698