Nuclear power plants has safety functions to prevent the release of radioactive materials to manage accidents. The safety functions consist of various components, which are monitored and controlled by the instrumentation and control (I&C) system. Analog-based I&C systems are being replaced by microprocessor-based digital systems, so the risks of digital systems that may emerge need to be analyzed and integrated into existing probabilistic safety analysis. In this study, the safety case focusing on the failure of software is developed. The causes of software failure are categorized into three types and the safety case is developed for each type. The result of the proposed test method can be utilized as the evidence of each safety case.
원전은 사고 시 방사성 물질의 유출을 막기 위한 안전 기능을 포함하고 있다. 안전 장치는 다양한 부품이나 장비들로 이루어져 있으며, 이는 계측 및 제어 계통에 의해 감시 및 제어된다. 계측 및 제어 계통은 마이크로 프로세서 기반의 디지털 시스템으로 교체되고 있으며, 이에 따라 나타날 수 있는 디지털 시스템의 리스크를 분석하여 기존의 확률론적 안전성 분석에 통합해야 한다. 본 학위 논문에서는 디지털 시스템이 가지는 고유한 특징 중 하나인 소프트웨어의 고장을 중심으로 안전 케이스를 개발하고자 한다. 여기에서는 소프트웨어의 고장 원인을 세 가지 유형으로 나누어 각 유형에 대한 안전 케이스를 개발하였다. 제시된 방법에 대한 시험을 통해 각 유형별 안전 케이스의 증거를 제공할 수 있다.