Table of Contents
Scholarly Research Exchange
Volume 2009 (2009), Article ID 163456, 9 pages
http://dx.doi.org/10.3814/2009/163456
Research Article

Software Failure Probability Quantification for System Risk Assessment

1Korea Atomic Energy Research Institute, Daejeon 305-600, South Korea
2Joongbu University, Chungnam 312-702, South Korea

Received 9 June 2009; Accepted 19 August 2009

Copyright © 2009 Hyun Gook Kang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

Risk caused by safety-critical I&C systems considerably affects overall plant risk. Software failures in digitalized I&C systems must be considered as the cause of risk. As digitalization of safety-critical systems progresses, the need for software failure probability quantification increases. For the software of safety-critical systems, very high reliability is required. This article aims at providing an overview of promising software failure probability quantification models for this kind of safety-critical system: The software reliability growth model (SRGM), the input-domain-based test model (IDBT), and the validation/verification quality model (VVQM). In order to accommodate the characteristics of safety-critical systems, a more effective framework of practical risk assessment applications is necessary. In this article, we propose the combined use of SRGM&VVQM for a more systematic and traceable method of the failure probability quantification of safety-critical software.