실시간 객체의 시간 명세 및 검증 기법

The Timing Specification and Verification on Real-Time Object

실시간 객체 지향 모델은 객체 지향 개념에 실시간 특성을 추가한 시스템 모델 개념이다. 이는 실시간 시스템에 적합한 모델을 제시하고 있다. 그러나, 대부분의 실시간 객체 지향 모델이 실시간 객체의 실시간 특성에 관련된 시간 명세를 전문자의 경험에 많이 의지하고 있다. 그리고, 실시간 자료, 메소드 및 메시지를 명확하게 구분하고 있지 않을 뿐 아니라 이들에 대한 시간 명세 표현도 부족한 형편이다. 따라서, 하나의 틀안에 실시간 객체의 실시간 특성을 모두 표현하고 이를 검증할 수 있는 방법이 필요하다. 본 논문에서는 실시간 객체의 실시간 특성을 표현하기 위해 실시간 자료 및 메소드 순차 차트와 시간 제약 사항 그래프를 제시하여 실시간 특성의 표현과 검증을 한다. 순차 차트는 실시간 객체의 실시간 자료, 메소드 및 메시지에 대한 시간 명세를 시간 구동 메소드 단위로 하나의 차트에 나타낸다. 시간 제약 사항 그래프는 순차 차트로부터 유추되어 실시간 메소드의 마감시간과 실시간 자료의 최대 유효 기간에 대한 시간 명세가 올바른지 그래프를 이용하여 검증할 수 있는 방법을 제시한다.