DOI QR코드

DOI QR Code

Quantitative Reliability Assessment for Safety Critical System Software

  • Chung, Dae-Won (Department of Electrical Engineering, Honam University)
  • 발행 : 2007.09.01

초록

At recent times, an essential issue in the replacement of the old analogue I&C to computer-based digital systems in nuclear power plants becomes the quantitative software reliability assessment. Software reliability models have been successfully applied to many industrial applications, but have the unfortunate drawback of requiring data from which one can formulate a model. Software that is developed for safety critical applications is frequently unable to produce such data for at least two reasons. First, the software is frequently one-of-a-kind, and second, it rarely fails. Safety critical software is normally expected to pass every unit test producing precious little failure data. The basic premise of the rare events approach is that well-tested software does not fail under normal routine and input signals, which means that failures must be triggered by unusual input data and computer states. The failure data found under the reasonable testing cases and testing time for these conditions should be considered for the quantitative reliability assessment. We presented the quantitative reliability assessment methodology of safety critical software for rare failure cases in this paper.

키워드

참고문헌

  1. M.H. Tnag, 'Software Reliability Assessment-Myth and Reality', NSA Proram and Project Management, Washington Dc, 1996
  2. R.K. Iyer and D. Tang, Experimental Analysis of Computer System Dependability', Technical Report, CRHC-93-15, Center of Reliable and High Performance Computing, University of Illinois, July 1993
  3. D. Tang and R.K Iyer, 'Analysis and Modeling of Correlated Failures in Multi-computer Systems, IEEE Trans. Computers Vol. 41, No. 5, pp. 567-577, May 1992 https://doi.org/10.1109/12.142683
  4. P. J. Boland, 'Challenges in Software Reliability and Testing', IEEE Trans. Computers Vol. 46, No. 3, pp 427-432, June 1996
  5. L.M. Kaufman, J.B. Dugan, 'Using Statistics of Extremes for Software Reliability Analysis of Safety Critical Systems', IEEE Trans, Computers, Vol. 50, No. 2, pp. 355-363, Feb. 1998
  6. Parnas, D.L, 'Evaluation of Safety Critical Software,' Computation of the ACM, Vol. 33, No. 6, pp. 636-648, June 1990 https://doi.org/10.1145/78973.78974
  7. H. Pentti, H. Atte, 'Quantitative reliability assessment in the safety case of computer-based automation system', STUK Nuclear Safety Authority, STUK-YTO-TR202, May 2004