Advanced SearchSearch Tips
Quantitative Reliability Assessment for Safety Critical System Software
facebook(new window)  Pirnt(new window) E-mail(new window) Excel Download
 Title & Authors
Quantitative Reliability Assessment for Safety Critical System Software
Chung, Dae-Won;
  PDF(new window)
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.
Safety critical software;Software reliability;Software verification and validation;Rare events;Quantitative assessment of software reliability;
 Cited by
M.H. Tnag, 'Software Reliability Assessment-Myth and Reality', NSA Proram and Project Management, Washington Dc, 1996

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

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 crossref(new window)

P. J. Boland, 'Challenges in Software Reliability and Testing', IEEE Trans. Computers Vol. 46, No. 3, pp 427-432, June 1996

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

Parnas, D.L, 'Evaluation of Safety Critical Software,' Computation of the ACM, Vol. 33, No. 6, pp. 636-648, June 1990 crossref(new window)

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