Safety-critical 소프트웨어 개발을 위한 V&V 독립성 구현 방안

검증 및 확인(V&V)의 속성상 Independent V&V는 반드시 필요 한 것으로 인식되고 실제로 규제 기준이나 여러 표준(Standard)들에서 그 요구사항들이 기술되고 있으나 그 기술 내용이 너무 단순, 추상적인 경우가 많아 구체적인 실현 방법에 있어서는 합의된 해결책이 제시되지 못하고 있는 실정이다. 이러한 문제점들을 해결하기 위해 본 논문에서는 원자력분야는 물론 프로세스와 군사 분야의 표준들과 기타 기술기준 자료들을 조사 분석하고 이를 기반으로 하여 원자력 분야, 특히 계측제어 계통의 Safety-critical 소프트웨어 개발에 따른 안전성과 경제성 문제가 고려되고 기술적, 관리적 측면에서 균형을 갖춘 V&V의 독립성 구현 방안에 대한 가이드를 제시하였다.