Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2007.10c
  • /
  • Pages.540-545
  • /
  • 2007
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Taking Environments into account for ESTEREL Program Verification

외부환경을 고려한 ESTEREL 프로그램 검증

  • Ahn, Yun-Kyung (Programming Language Laboratory, Dept. of Electronic Engineering and Computer Science, KAIST) ;
  • Jeon, Jin-Seong (Agency for Defense Development) ;
  • Han, Tai-Sook (Programming Language Laboratory, Dept. of Electronic Engineering and Computer Science, KAIST)
  • 안윤경 (한국과학기술원 전자전산학과 프로그래밍언어 연구실) ;
  • 전진성 (국방과학연구소) ;
  • 한태숙 (한국과학기술원 전자전산학과 프로그래밍언어 연구실)
  • Published : 2007.10.26
Download PDF
⟨ Previous Next ⟩

Abstract

프로그램 검증은 가능한 모든 경우에 대하여 안정성을 확인하는 작업이다. reactive 프로그램을 외부환경에 대한 정보 없이 검증하면 실제로 가능하지 않은 경우를 오류로 찾을 수도 있다. 본 논문에서는 observer를 이용한 기존의 ESTEREL 프로그램 검증 기법에 외부환경에 대한 가정을 추가하는 방법을 소개하고. 사례연구를 통해 외부환경을 고려하여 검증하는 과정을 보인다.

Keywords