Object-oriented real-time system modeling considering predicatable timing constraints

시간 제약 분석이 가능한 객체 지향 실시간 시스템 모델링

In the case of developing the real-time system using object-oriented method, k the problem of the timing constraints is certainly considered. we propose the method of modeling the object-oriented real-time system using the OMT methodology and the SDL. And we also present the predictable time table that reflects the constraints of real-time system into dynamic model of OMTs and the predicatable time formula of the sequence, repeat, and parallel routine. The proposed method is applied to the estimate of the maximum process time of the ATMs(Automatic teller machines) and is used to specifying the functional specification for the user interface of the ATMs using the SDL syntax and the object interaction graph.

객체 지향 개발 방법을 이용하여 실시간 시스템을 개발할 경우에는 반드시 시간제약 문제를 고려해야 한다. 본 논문에서는 사건의 발생에 따른 시스템의 상태 변이를 상태도로 나타내는 동적 모델에 대한 실시간 규격화로서, OMT와 SDL을 이용한 객체 지향 실시간 시스템 모델링 방법을 제안하였다. 현재 가장 널리 활용되고 있는 OMT방법론의 분석과정에서 생성되는 동적 모델에 실시간 시스템의 시간제약을 반영함으로써 예상시간 도표를 작성하였고, 실시간 예측이 가능하도록 순차 수행, 반복 수행, 병렬 수행에 대한 최대 및 최소 실시간 예측 공식을 제시하였다. 또한, 제안된 방법론을 이용하여 ATM 시스템의 최대 수행 시간을 예측해 보았고 객체 상호 작용 그래프와 SDL의 구문적 표현을 이용하여 ATM 시스템의 사용자 인터페이스에 대한 기능 명세서를 기술하였다.