초록
실시간 시스템은 소형 임베디드 시스템부터 대형 분산 시스템까지 다양한 시스템에서 사용되고 있다. 이러한 실시간 시스템은 시간적 정확성을 갖기 때문에 프로그램을 개발할 때 시간적 특성을 지키기 위한 노력이 필요하다. 실시간 시스템에 대한 연구 결과로서 제안된 TMO 모델은 실시간 개념에 따른 다양한 시간 처리 기능을 지원하고, 개발자가 정의한 응답시간을 보장한다. 따라서 개발자는 응답시간을 정의하고, 그 정확성을 확인하기 위한 기준점이 필요하다. 이를 위해 TMO 정적 분석 도구의 기반 구조로서 개선된 PS-Block을 설계하였다. 기존의 PS-Block은 블록을 중복 생성하는 구성 정책으로 부하가 생기는 문제점이 발생한다. 이에 본 논문에서는 블록의 중복으로 인한 부하문제를 개선하고, 탐색을 위한 베이스 클래스를 정의하여 PS-Block Timing Model을 구현하였다. 개선된 PS-Block 구조를 사용한 PS-Block Timing Model은 프로그램을 PS-Block 구성 정책에 따라 실행시간을 분석할 수 있는 기반을 제공하고 시간 정보 결정의 기준을 제공한다. 이를 통해 실시간 메소드의 적시성을 쉽게 확인하여 신뢰성을 향상시키고, 개발 기간을 단축할 수 있다.
A real-time system is used for various systems from small embedded systems to distributed enterprise systems. Because it has a characteristic that provides a service on time, developers should make efforts to keep this property about time when developing real-time applications. As the result of research about real-time system indicates, TMO model supports various functions for time processing according to the real-time concept. And it guarantees response time which developers defined. So developers need a point of reference to define deadline and check the correctness of time. This paper proposes an improved PS-Block as an infrastructure of analysis tools for TMO to present a point of reference. There is a problem that the existing PS-Block has overhead caused by a policy making duplicated blocks. As such, this paper implements a PS-Block Timing Model to reduce the overhead due to block duplication, and defines a base class for searching in PS-Block. The PS-Block Timing Model, using an improved PS-Block structure, offers a point of reference of deadline and an infrastructure of execution time analysis according to the PS-Block configuration policy. Therefore, TMO developers can easily verify deadline of real-time methods, and improve reliability, and reduce development terms.
