CODARTS 방법론의 태스크 구성 지침을 적용한 태스크 자동 구성

Abstract

Gomaa에 의해 제안된 CODARTS(COncurrent Design Approach for Real-Time System) 방법론은 COBRA(Concurrent Object-based Real-Time Analysis)를 사용하여 실시간 시스템의 행동 모델을 개발하고 행동 모델에서 병렬 태스크 구조로 변환하는데 도움을 주는 태스크 구성 지침을 제공한다. CODARTS에서는 태스크 구성 지침을 RTSA 표기법으로 표현된 행동 모델에 적용하여 태스크를 구성한다. 그러나 RTSA 표기법에는 태스크를 구성하는데 필요한 실행 성질 및 주기, 이벤트의 병렬성 및 순서와 같은 정보들을 기술하지 않기 때문에 직접 태스크 구성 지침을 적용하는 것은 어렵다. 본 논문에서는 CODARTS 방법론의 분석 단계에서 태스크 구성에 필요한 정보를 통합적으로 나타낼 수 있는 STS(Specification for Task Struturing)를 제안하고 이를 이용하여 태스크를 자동적으로 구성할 수 있는 알고리즘과 구현 예제를 보인다.

CODARTS(COncurrent Design Approach for Real-Time System) made by Gomaa models behavioral model of real-time system using COBRA(Concurrent Object-based Real-Time Analysis) and provides task structuring criteria that assists in mapping a behavioral model of the system into a concurrent-tasking architecture. In CODARTS, task structuring starts with a behavioral model represented using RTSA notation. But applying directly task structuring criteria to RTSA notation is difficult because RTSA notation doesn't represent activation characteristic and frequency of transformation, concurrency and sequence of event/data flow as information needed task structuring. In this study, we propose STS(Specification for Task Structuring) that can represent all informations for task structuring in analyzing steps of CODARTS and show an algorithm and example using STS for automatic task structuring.

CODARTS(COncurrent Design Approach for Real-Time System) made by Gomaa models behavioral model of real-time system using COBRA(Concurrent Object-based Real-Time Analysis) and provides task structuring criteria that assists in mapping a behavioral model of the system into a concurrent-tasking architecture. In CODARTS, task structuring starts with a behavioral model represented using RTSA notation. But applying directly task structuring criteria to RTSA notation is difficult because RTSA notation doesn't represent activation characteristic and frequency of transformation, concurrency and sequence of event/data flow as information needed task structuring. In this study, we propose STS(Specification for Task Structuring) that can represent all informations for task structuring in analyzing steps of CODARTS and show an algorithm and example using STS for automatic task structuring.