A Study on Quantification of Safety-Critical Software Failure Mode

안전-필수 소프트웨어의 실패모드 정량화에 관한 연구

디지털 컴퓨터와 정보처리기술의 급속한 발전과 함께 산업계 전반적으로 아날로그 기술은 쇠퇴하고 디지털 기술로 전환되고 있다. 심지어 안전-필수 기능을 담당하는 원자력발전소의 계측제어시스템에서도 제한적으로 디지털 기술을 채택하여 사용하기 시작했다. 지금까지 소프트웨어의 신뢰도의 정량화에 대한 연구는 많이 이루어져 왔으나 소프트웨어가 가지는 특수성 때문에 연구결과에 대해 전문가들의 동의를 얻지 못하고 있는 상태이다. 원자력발전소에서는 확률적 안전성 평가(PSA)를 수행할 때 소프트웨어의 실패에 기인한 위험은 무시하고 있다. 하지만, 소프트웨어를 기반으로 한 디지털 시스템의 사용이 점점 늘어남에 따라 소프트웨어 신뢰도에 대한 정량화가 점점 더 요구되고 있다. 본 연구에서는 소프트웨어의 실패모드를 정의하고 해당 실패모드에 의해 사고가 발생할 확률을 베이지안 통계이론을 이용하여 정량화하였다.