본 논문에서는 실시간 객체 모델인 TMO(Time-triggered Message-triggered Object)에 기반을 둔 실시간 객체지향 프로그램의 시간 제약이 제대로 만족되는가를 시스템 수행 중에 감시하기 위한 모니터의 효과적인 구현 방안에 대하여 논한다. 구현 환경으로 윈도우 OS상의 TMO 프로그램 실행 환경인 WTMOS(Windows TMO System)를 이용하였고, 감시 주체가 되는 수행 시간 모니터의 성능 분석을 위하여 온도 제어를 위한 응용 시스템이 구축되었다. 모니터 대상과 모니터 조건을 TMO 프로그램내에 명시하는 방법과 정의된 모니터의 기능을 WTMOS 내부와 TMO 형태의 응용 객체로 분산시켜서 적은 비용으로 시스템을 구축하는 방법을 제시한다.
This paper presents an efficient implementation of a run-time monitor which checks the satisfaction of the timing constraints of real-time object-oriented programs based on a real-time object model called TMO(Time-triggered Messagedtriggered Object). An execution environment of TMO programs on Windows as, WTMOS(Windows TMO System) has been utilized for the implementation and an experimental application for thermostatic control has been developed to analyze the performance of the run-time monitor. We suggest a methodology for application programmers to specify the target methods with the monitoring conditions and an implementation technique which incurs the small cost by effectively distributing the functions of the monitor into the WTMOS and a TMO object.
