Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2007.10c
- /
- Pages.540-545
- /
- 2007
- /
- 1598-5164(pISSN)
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
Abstract
프로그램 검증은 가능한 모든 경우에 대하여 안정성을 확인하는 작업이다. reactive 프로그램을 외부환경에 대한 정보 없이 검증하면 실제로 가능하지 않은 경우를 오류로 찾을 수도 있다. 본 논문에서는 observer를 이용한 기존의 ESTEREL 프로그램 검증 기법에 외부환경에 대한 가정을 추가하는 방법을 소개하고. 사례연구를 통해 외부환경을 고려하여 검증하는 과정을 보인다.
Keywords