A Stepwise Structuring of Real-Time Concurrent Task Using Extended Directed Graph

실시간 소프트웨어 설계 시에는 시스템을 분석하고 이것을 병렬 태스크로 구성하게 된다. 시스템 분석의 결과로 control flow and data flow diagram(이하 C&DFD)이 산출물로 나오게 되고 이들을 이용하여 성능에 문제가 생기지 않을 조건하에서 병렬 태스크로 구성하게 된다. 이러한 병렬 태스크들의 구성 방법이 Gomaa에 의해 COncurrent Design Approach for Real-Time System(이하 CODARTS)방법론으로 제시되어 있다. CONDARTS에서 제시되는 병렬 태스크 구성 지침을 설계자의 경험에 의존적이기 때문에 이를 이용하여 시스템을 설계하기가 어려운 것이 현실이다. 본 연구는 CODARTS에서의 태스크 구성지침을 보다 정교하게 개선하고 방향성 그래프를 확장하여, 설계자의 경험에만 의존하지 않고도 일반적으로 적용 가능한 실시간 병렬 태스크 구성 지침을 제안한다.When we design real-time software the target system is analyzed and then structured to concurrent tasks. As a result of the analysis, control flow and data flow diagram (C&DFD) is produced. This diagram is structured into concurrent tasks under the condition that performance problem does not rise. The method that makes concurrent th\asks is introduced as COncurrent Design Approach for Real-Time System(CODARTS) method by Gomaa, but designing systems using CODARTS is somewhat difficult because is rule is dependent on the designer's experience. In this study, we propose a generally well-adaptable guideline for structuring real-time concurrent tasks using extended directed graph. This guideline can be used without depending on the designer's experience.When we design real-time software the target system is analyzed and then structured to concurrent tasks. As a result of the analysis, control flow and data flow diagram (C&DFD) is produced. This diagram is structured into concurrent tasks under the condition that performance problem does not rise. The method that makes concurrent th\asks is introduced as COncurrent Design Approach for Real-Time System(CODARTS) method by Gomaa, but designing systems using CODARTS is somewhat difficult because is rule is dependent on the designer's experience. In this study, we propose a generally well-adaptable guideline for structuring real-time concurrent tasks using extended directed graph. This guideline can be used without depending on the designer's experience

Automatic Task Structuring using Task Structuring Criterias of CODARTS Methodology

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

Design and implementation of reuseable C++ class that support concurrency in Win32 environment

실시간 시스템(Real-Time System)은 요구되는 기능들을 주어진 시간 제약아래 모두 정확하게 수행하는 시스템을 말한다. 병행성(concurrency)은 실시간 시스템을 구현하는데 있어서 가장 중요한 개념중의 하나이다. 이러한 병행성을 구현하기 위한 많은 방법론들이 개발되었고, Modula-2, Ada, CHILL등의 프로그래밍 언어는 병행성의 구현을 언어차원에서 지원하도록 개발되었다. 반면에 많은 수의 사용자를 가진 C++는 순차적 프로그래밍 언어로서 실시간 시스템의 개발에 많이 사용되어지는 프로그래밍 언어이다. C++는 병행성을 지원하지 않는 객체지향 프로그래밍 언어이다. 순차적 언어를 이용하여 실시간 시스템을 개발할 때에는 실시간 운영체제의 시스템 서비스를 이용하여 구현한다. 따라서 C++를 이용하여 실시간 시스템을 개발하기 위해서는 병행성을 지원하기 위한 실시간 운영체제의 시스템 서비스를 C++의 객체지향적인 특징들과 어떻게 잘 조화시키느냐가 중요한 문제이다. 본 논문에서는 운영체제의 병행성 지원 시스템 서비스를 C++의 클래스로 캡슐화하여 C++를 이용하여 실시간 시스템을 개발하는데 있어서 쉽게 병행성을 구현하기 위한 기반을 제공하고자 한다.A Real-Time System is a system that is required to react to stimuli from the environment including the passage of physical time within time intervals dictated by the environment. Concurrency is an inherent feature of real-time system. To implement concurrency in real-time system many software develop method is introduced, and many programming language that provide concurrency in language level such as Modula-w, Ada, CHILL are developed. C++ that have many user but don't support concurrency in language level is most popular programming language in developing real-time system. C++ that have many user is most popular programming language in developing real-time system. C++ is object-oriented language but don't support concurrency in language level. To develop a concurrent tasking application using a sequential language, it is necessary to use a multi-tasking kernel. In developing real-time system with C++ how to combine the concepts of concurrency and object must be very important subject. In this article I will show easy way of implementing concurrency in developing Real-Time system with encapsulated concurrency by C++ class.A Real-Time System is a system that is required to react to stimuli from the environment including the passage of physical time within time intervals dictated by the environment. Concurrency is an inherent feature of real-time system. To implement concurrency in real-time system many software develop method is introduced, and many programming language that provide concurrency in language level such as Modula-w, Ada, CHILL are developed. C++ that have many user but don't support concurrency in language level is most popular programming language in developing real-time system. C++ that have many user is most popular programming language in developing real-time system. C++ is object-oriented language but don't support concurrency in language level. To develop a concurrent tasking application using a sequential language, it is necessary to use a multi-tasking kernel. In developing real-time system with C++ how to combine the concepts of concurrency and object must be very important subject. In this article I will show easy way of implementing concurrency in developing Real-Time system with encapsulated concurrency by C++ class

The Study on the transformation from CODARTS to Petri Net for the design support of Real-Time System

본 논문에서는 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

A Survey on the Time Concepts of Extended Petri Nets

본 논문에서 우리는 실시간 동시발생 시스템을 설계 및 분석할 때 고려되는 시간 개념과 시간적인 제한(timing constraint)들의 역할에 대해 알아보고, 시간 관련 페트리 네트 확장들을 자세히 살펴봐서 시간 개념이 어떤 방향으로 응용되어 가는가를 조사한 것을 소개한다. 확장된 페트리 네트들은 각각 자신의 방법으로 일반 페트리 네트에 시간 개념을 추가시켰다. 시간 개념이 주로 트랜지션 발사 허용 및 점화 규칙에 추가되었기 때문에 분류 기준을 발사 허용 및 점화 규칙의 관점과 시간적인 제한의 관점으로 정하였다. 조사 결과 실시간 동시발생 시스템의 설계와 성능 분석을 가장 도울 수 있는, 요구 사항을 모형화 하는데 제일 적합한 페트리 네트를 찾고자 한다.In this paper, we will find out about the concepts of time and timing constraints and their roles in designing and analyzing of the real-time concurrent systems, and review the time related extensions of Petri net for Petri net for a survey on their implementation direction of time concept. Extended Petri nets are added the concept of time into the original Petri net using their own methods. Time concepts are mostly added to the enabling and firing rules, so therefore, we classify Petri nets from the enabling and firing rules point of view and the timing constraints point of view. As a result we hope to find the Petri net that can help design and analysis of concurrent real-time system, and that is mostly suitable for modeling the requirements specification.In this paper, we will find out about the concepts of time and timing constraints and their roles in designing and analyzing of the real-time concurrent systems, and review the time related extensions of Petri net for Petri net for a survey on their implementation direction of time concept. Extended Petri nets are added the concept of time into the original Petri net using their own methods. Time concepts are mostly added to the enabling and firing rules, so therefore, we classify Petri nets from the enabling and firing rules point of view and the timing constraints point of view. As a result we hope to find the Petri net that can help design and analysis of concurrent real-time system, and that is mostly suitable for modeling the requirements specification

Design and Implementation of the Campus-drawing Management System using Motif Widget

학교의 규모가 확대될수록 그에 따르는 도면 뿐만 아니라 도면 작업도 엄청나게 능어난다. 이러한 어려운 작업으로 인해 많은 인력과 시간을 투자해야만 한다. 그래서 이러한 문제점을 해결하기 위한 방안으로 Compus 도면 관리 시스템을 설계하고 구현 하였다. 본 시스템은 평면도와 전경도의 여러가지 공사 정보를 관리하고, 여러 가지 공사 상황 및 도면을 수정할 수 있는 drawing tool을 제공한다.As the size of campus environments, being large school administrators have much to do with drawings and drawing-related works. This situation requires much investments in human efforts and time. We have designed and implemented the Campus-drawing Management System to solve this problem partially. This system will manage a complete view, a ground plan and much information of drawings. And this system provides drawing tools for modifying drawings and maintaining informations about plans.As the size of campus environments, being large school administrators have much to do with drawings and drawing-related works. This situation requires much investments in human efforts and time. We have designed and implemented the Campus-drawing Management System to solve this problem partially. This system will manage a complete view, a ground plan and much information of drawings. And this system provides drawing tools for modifying drawings and maintaining informations about plans

Development of Managerial System for Small and Medium- Sized Firms in Ulsan Area

본 논문에서는 울산지역 중소기업의 관리업무의 효율성을 제고시키는 관리시스템의 구축을 위하여 한 자동차 부품업체를 대상으로 부품의 수주, 생산, 납품, 수금 등을 관리하는 PC용 소프트웨어의 개발을 다룬다. 이 소프트웨어는 다수의 자동차 부품생산업체들에 있어서 공동으로 적용될 수 있으며 또한 대기업에 납품하는 협력업체가 많은 울산지역의 다른 중소기업들의 경우에도 적용될 수 있을 것이다.This paper deals with the design and development of managerial system suitable for small and medium-sized firms in Ulsan area. For this purpose, a PC-based software is developed for a company, one of subcontractors of Hyundai Motor Company (HMC) which are typical in Ulsan area. This software consists of the input, status, and change modules to deal with the information about orders of parts from HMC, delivery of parts just in the appointed time, and bill collecting. Though the software presented in this paper is developed for the company that manufactures auto parts, it can be used with minor adjustments for other small and medium-sized firms in Ulsan area.This paper deals with the design and development of managerial system suitable for small and medium-sized firms in Ulsan area. For this purpose, a PC-based software is developed for a company, one of subcontractors of Hyundai Motor Company (HMC) which are typical in Ulsan area. This software consists of the input, status, and change modules to deal with the information about orders of parts from HMC, delivery of parts just in the appointed time, and bill collecting. Though the software presented in this paper is developed for the company that manufactures auto parts, it can be used with minor adjustments for other small and medium-sized firms in Ulsan area

A Development of Operation Simulator to 3-Trolley Portainer Crane

항만에서, 빠른 시간내에 많은 양의 컨테이너 박스를 운반하는것이 곧 비용 절감이다. 이를 위해서는 크레인의 성능을 미리 예측을 할 수 있어야 한다. 특히 새로운 크레인을 제작할때, 실제 시험을 해본후 그 성능을 알아내기란 어려운 실정이다. 따라서, 컴퓨터상에서 이를 미리 시뮬레이션하여 그 성능을 알아낸다면 여러면에서 비용절감의 효과를 얻을수 있다. 본 연구에서는 기존의 하나의 Trolley에 의해 운전되는 크레인보다 더 나은 성능을 위해 설계된 3-Trolly Portainer Crane을 시뮬레이션하는 소프트웨어를 개발했다. 이것은 3개의 Torolley가 동시에 작동하여 하나일때보다 더 빠른 시간에 작업을 완수할수가 있다. 이 사실을 시뮬레이션을 통해 증명하고, 다양한 결과 자료를 이용해서 실제 이 크레인의 제작에도 상당히 도움이 될수 있다. 또한, 3개가 동시에 움직여서 각 구간별 소요시간의 측정이 문제가 되지만, 이것을 하나의 task로 미리 계산할 수 있는 방법을 고안, 적용하여 완수 하였다.In the port, it is a reduction of cost to load or unload many containers quickly. To do so, we should predict the performance of crane. Therefore, if we could simulate a crane operation and estimate the performance by the computer system, we can obtain a benefit of cost. In this study, we developed an operation simulator system of the 3-Trolley Portainer Crane which is designed for more efficeincy. Conceptually, the 3-Trolley Portainer Crane is operated concurrently by 3 trolleys, so it is faster than 1-Trolley Portainer Crane. We proved that through the simulation. It will be useful to manufactrue 3-Trolley Portainer Crane with many results from this software system. Also, the problem that must be calculated in parallel is solved by a single calculation method which we developed.In the port, it is a reduction of cost to load or unload many containers quickly. To do so, we should predict the performance of crane. Therefore, if we could simulate a crane operation and estimate the performance by the computer system, we can obtain a benefit of cost. In this study, we developed an operation simulator system of the 3-Trolley Portainer Crane which is designed for more efficeincy. Conceptually, the 3-Trolley Portainer Crane is operated concurrently by 3 trolleys, so it is faster than 1-Trolley Portainer Crane. We proved that through the simulation. It will be useful to manufactrue 3-Trolley Portainer Crane with many results from this software system. Also, the problem that must be calculated in parallel is solved by a single calculation method which we developed