원전 계측제어 고신뢰도 소프트웨어 확인/검증 기술 현황

원자력산업계에서는 원전 계측제어계통의 디지털화를 위해 많은 노력을 기울이고 있으나, 원자력산업의 특수성인 시스템 안전성 확보에 필요한 소프트웨어 개발기준과 규제방법이 정립되지 못하고 있다. 뿐만 아니라 디지털 계측제어계통의 핵심 기반기술인 고신뢰도 소프트웨어 개발 방법론이 확립되지 못하여 소프트웨어 공통모드고장 문제, 정량적인 소프트웨어 신뢰도 보장 문제 등이 논란의 대상이 되고 있다. 이와 같이 원전 계측제어계통 디지털화 성공을 위해서는 소프트웨어 신뢰도 확보가 관건이며 고신뢰도 소프트웨어 확인 및 검증 기술 개발이 절실히 요구된다. 본 기술보고에서는 디지털 계측제어계통 소프트웨어에 대한 규제요건을 소프트웨어 신뢰도 보장을 위한 개발자, 사용자, 규제자 사이의 합의 기준측면에서 분석하였다. 또한 최근의 미국 원자력규제위원회의 디지털 계측제어계통 소프트웨어에 대한 규제방법과 규제동향을 살펴보았으며 마지막으로 고신뢰도 소프트웨어 개발과 확인 및 검증 방법, 규제 요건, 규제 방법 등에서 공통적으로 고려해야 할 기술적 측면의 현안과 이의 해결을 위한 연구 현황등을 파악하였다.