정형기법을 적용한 위기대응 실무매뉴얼 명세 및 검증

Specification and Verification of Crisis Response Manual using Formal Methods

  • 정금택 (고려대학교 컴퓨터학과) ;
  • 이진호 (고려대학교 컴퓨터학과) ;
  • 서석 (고려대학교 컴퓨터학과) ;
  • 최진영 (고려대학교 컴퓨터학과)
  • Jeong, Kum-Taek (Dept. of Computer Science & Engineering, Korea University) ;
  • Lee, Jin-Ho (Dept. of Computer Science & Engineering, Korea University) ;
  • Seo, Suk (Dept. of Computer Science & Engineering, Korea University) ;
  • Choi, Jin-Young (Dept. of Computer Science & Engineering, Korea University)
  • 발행 : 2010.06.30

초록

안보, 재난, 국가핵심기반 분야에 위기발생시 즉각적인 조치를 위한 '위기대응 실무매뉴얼'이 정부기관별로 작성되어 있지만 조치사항에 대한 정량적 검증이 부족하다. 오류가 내포된 조치절차는 피해를 확대 시킬 수 있으므로 위기대응절차에 대한 검증이 요구되며 이를 위해 본 논문에서는 Statemate의 구조적, 기능적, 행위적 관점의 언어를 활용해서 정형기법(formal methods)을 수행함으로써 위기 대응 실무매뉴얼의 모델링 방법을 제안하고 매뉴얼에 기술되어 있는 조치절차의 검증결과를 제시하였다.

키워드