KLI

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

Metadata Downloads
Alternative Title
The Study on the transformation from CODARTS to Petri Net for the design support of Real-Time System
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.
Author(s)
정민포김규년
Issued Date
1996
Type
Research Laboratory
URI
https://oak.ulsan.ac.kr/handle/2021.oak/3857
http://ulsan.dcollection.net/jsp/common/DcLoOrgPer.jsp?sItemId=000002024399
Alternative Author(s)
Jung,Min-PoKim,Kyoo-Nyun
Publisher
공학연구논문집
Language
kor
Rights
울산대학교 저작물은 저작권에 의해 보호받습니다.
Citation Volume
27
Citation Number
2
Citation Start Page
21
Citation End Page
32
Appears in Collections:
Research Laboratory > Engineering Research
Authorize & License
  • Authorize공개
Files in This Item:

Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.