High level issues in reliability quantification of safety-critical software

KIM Man Cheol

Integrated Safety Assessment Division, Korea Atomic Energy Research Institute, Daejeon, Korea (charleskim@kaeri.re.kr)

Abstract: For the purpose of developing a consensus method for the reliability assessment of safety-critical digital instrumentation and control systems in nuclear power plants, several high level issues in reliability assessment of the safety-critical software based on Bayesian belief network modeling and statistical testing are discussed. Related to the Bayesian belief network modeling, the relation between the assessment approach and the sources of evidence, the relation between qualitative evidence and quantitative evidence, how to consider qualitative evidence, and the cause-consequence relation are discussed. Related to the statistical testing, the need of the consideration of context-specific software failure probabilities and the inability to perform a huge number of tests in the real world are discussed. The discussions in this paper are expected to provide a common basis for future discussions on the reliability assessment of safety-critical software.
Keyword: probabilistic safety assessment/probabilistic risk assessment; digital instrumentation and control; software reliability; Bayesian belief network; statistical testing