OVM을 이용한 원전용 안전등급 제어기 검증