안전등급 컴퓨터, 노심보호계산기계통 설계

Safety Computer System, CPCS Design in Nuclear Power Plant

안전등급 컴퓨터계통 설계에 대해서 노심보호계산기계통 소프트웨어 설계와 검증시험을 중심으로 살펴보았다. 안전계통에 컴퓨터계통을 사용하면, 하드웨어뿐만 아니라 소프트웨어에 대한 철저한 검중시험이 요구된다. 노심보호계산기계통에 대한 검증시험은 두개의 소프트웨어 버전을 개발하여, 수행결과를 서로 비교함으로써 수행된다. 하나는 어셈블리언어로, 또 다른 하나는 포트란으로 구현된다. 검증시험은 순차적이고 중첩되게 수행된다. 일차 시험은 모든 브랜치 루틴을 수행하여 각 소프트웨어 모듈이 바르게 구현되었음을 확인하는 작업이다. 이차 시험은 통합된 소프트웨어가 모든 요건을 만족하는가 그리고 시간요건을 만족하는 지를 검증한다. 이러한 철저한 검증시험을 통해서 영광 3, 4호기 노심보호계산기계통이 올바르고 완벽하게 구현되어 요건서를 만족함이 확인되었다.

The design of safety computer system is described along with the case of software design and testing in the Core Protection Calculator System (CPCS). The application of computer system in safety system requires not only hardware qualification but thorough testing on software to verify its correctness and completeness. The testing on software for CPCS is performed by comparing the outputs of two versions of code. One is implemented in assembly language and the other is in Fortran. The testing is performed in sequencial and overlapping manner. Phase I test verifies that each software module is implemented correctly by executing every branch. Phase II test verifies that the integrated software is complete, meeting its requirements specification and also the integrated system meet its requirement and timing constraints. Through these testing, the Yonggwang Nuclear Power Plant Units (YGN) 3 and 4 CPCS software is verified to be correct and complete, and the integrated system is designed as in its requirements specification.