Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2006.06c
- /
- Pages.190-192
- /
- 2006
- /
- 1598-5164(pISSN)
Formal Verification of Structural Decision Table Specification Using SMV
SMV를 이용한 Structural Decision Table 명세의 정형검증
- Jeon Seung-Jae (Div. of Computer Science, Dept. of EECS, KAIST and AITRC/IITRTC/SPIC) ;
-
Jee Eun-Kyoung
(Div. of Computer Science, Dept. of EECS, KAIST and AITRC/IITRTC/SPIC) ;
-
Cha Sung-Deok
(Div. of Computer Science, Dept. of EECS, KAIST and AITRC/IITRTC/SPIC)
- Published : 2006.06.01
Abstract
원자력 발전소의 제어 소프트웨어는 안전성이 중요시 되는 시스템이다. KNICS 컨소시엄의 APR-1400 RPS 개발 프로젝트에서는 시스템의 안전성과 품질을 높이기 위하여 요구사항을 NuSCR 정형명세로 기술하였다. 명세에 대한 분석을 위하여 SMV를 이용한 자동화된 정형검증 기법이 사용되는데, 본 논문에서는 테이블 형태의 명세인 SDT까지 그 범위를 확장하는 방법을 제안한다. 제안하는 방법의 효율성을 입증하기 위하여 실제 프로젝트에서 개발중인 시스템의 일부를 예제로 사용하였다.
Keywords