실시간 시스템의 설계 지원을 위한 CODARTS에서 Petri Net으로의 변환에 대한 연구

Abstract

본 논문에서는 CODARTS의 산물중 Task Architecture Diagram에서 Petri Net으로의 변환 방법을 제안한다. CODARTS는 여러 개의 동시작업(Concurrent Task)으로 이루어진 시스템을 설계할 때 사용되는 방법이다. 하지만, CODARTS에서 생성되는 산물 (product, output)은 정적인 측면만을 강조하게 된다. 그래서, 시스템을 설계한 후 성능 분석을 할 때, 시스템 요소들 사이의 동적인 측면을 강조하기 위해 Petri Net으로 변환을 함으로써 더 나은 실시간 소프트웨어의 설계 및 분석을 유도할 수 있다.

In this paper, we propose the transformation method from the TAD of CODARTS to Petri Net. CODARTS is used to design a system consisting of concurrent tasks. But, the product of CODARTS emphasizes only the static aspect of the target system. Therefore, when we perform performance analysis after designing a system, it is possible to derive the better real time S/W analysis&design by transforming into Petri Net for emphasizing the dynamic aspect between the system's component.

In this paper, we propose the transformation method from the TAD of CODARTS to Petri Net. CODARTS is used to design a system consisting of concurrent tasks. But, the product of CODARTS emphasizes only the static aspect of the target system. Therefore, when we perform performance analysis after designing a system, it is possible to derive the better real time S/W analysis&design by transforming into Petri Net for emphasizing the dynamic aspect between the system's component.