Monitoring Method for Real Time System based on Hybrid Automata

하이브리드 오토마타 기반 실시간 시스템의 모니터링 기법

  • Sim, Jae-Hwan (Department of Computer and Communication Engineering, Korea University) ;
  • Kim, Jin-Hyun (Department of Computer and Communication Engineering, Korea University) ;
  • Choi, Jin-Young (Department of Computer and Communication Engineering, Korea University)
  • 심재환 (고려대학교 컴퓨터통신공학부) ;
  • 김진현 (고려대학교 컴퓨터통신공학부) ;
  • 최진영 (고려대학교 컴퓨터통신공학부)
  • Published : 2007.06.25

Abstract

컴퓨터 시스템의 디지털화가 진행됨에 따라 많은 시스템들의 거동이 이산적인 속성과 연속적인 속성이 혼재되어 있다. 이러한 시스템의 특성을 정확히 반영하기 위해서는 모델링 단계부터 이산적인 속성과 연속적인 속성을 반영할 수 있는 하이브리드 오토마타 기반의 모델링이 요구 되어 진다. 대표적으로 자동차, 항공 우주, 원자력 등 제어 시스템 분야를 예로 들 수 있다. 이런 분야는 특히 안정성 및 실시간성이 매우 중요하여 명세로부터 구현에 이르기까지 검증과 확인의 단계가 매우 중요하다. 또한 개발 단계에서 뿐만이 아니라 시스템의 운영 단계에서도 지속적인 모니터링이 필요하다. 본 논문에서는 실시간 시스템의 운영중에 하이브리드 오토마타 기반의 명세와 구현의 일치성 여부를 확인 할 수 있는 모니터링 기법에 관해 연구하였다.

Keywords