• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.2
• /
• pp.174-182
• /
• 2002

The object-oriented design methods and their CASE tools are widely used in practice by many real-time software developers. However, object-oriented CASE tools require an additional step of identifying tasks from a given design model. Unfortunately, it is difficult to automate this step for a couple of reasons: (1) there are inherent discrepancies between objects and tasks; and (2) it is hard to derive tasks while maximizing real-time schedulability since this problem makes a non-trivial optimization problem. As a result, in practical object-oriented CASE tools, task identification is usually performed in an ad-hoc manner using hints provided by human designers. In this paper, we present a systematic, schedulability-aware approach that can help mapping real-time object-oriented models to multi-threaded implementations. In our approach, a task contains a group of mutually exclusive transactions that may possess different periods and deadline. For this new task model, we provide a new schedulability analysis algorithm. We also show how the run-time system is implemented and how executable code is generated in our frame work. We have performed a case study. It shows the difficulty of task derivation problem and the utility of the automated synthesis of implementations as well as the Inappropriateness of the single-threaded implementations.

• Journal of Internet Computing and Services
• /
• v.6 no.2
• /
• pp.25-35
• /
• 2005

The Rate Monotonic(RM) scheduling algorithm and Earliest Deadline First(EDF) scheduling algorithm are normally used in Real-Time scheduling algorithm. In those scheduling algorithm, we could predict the performance possibility with total utilization value of task group. But. it had problems with prediction of the boundedness in individual task when the utilization value was over in temporary task. In this paper, the suggested scheduling algorithm can predict task when the utilization value was over and it suggested the method of predicting scheduling possibility based on the utilization value of individual task as well. it predicted the boundedness of scheduling possibility test through simulation In Real-Time scheduling algorithm and analyzed the result.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.2
• /
• pp.507-519
• /
• 2000

n this paper, we implement the real-time scheduler which performs extended schedulability testing, to reconfigure Mach kernel in which Real-Time scheduling is possible. for this purpose, first, we propose the configuration factors according to requirements of Real-Time operation systems and we analyze a Real-time scheduling algorithm. Second, for the reconfiguration of Mach kernel, we propose the modified data structure through the analysis of Mach kernel environments and scheduling. Third, we suggest the extended scheduling method by analyzing conventional Real-Time scheduling policies. Fourth, we implement the scheduler which executes tasks according to the Earliest-Deadline-First scheduling and the Rate Monotonic scheduling.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.5
• /
• pp.506-517
• /
• 2000

In distributed real-time system, a task activated by the completion of its preceding task can be modeled as a periodic task with activation jitter. An activation jitter of a task is defined asthe difference between the worst case and the best case response time of its preceding task. Becausethe existing approaches assume that the best case response time is much smaller than the actual one,the activation jitter and the worst case response time of lower priority tasks are overestimated. Thispaper proposes a new analysis technique to calculate the best case response time more precisely andto reduce the activation jitter bounds. The proposed technique obtains the best case response time byconsidering the relative phase between tasks. The precise analysis of the activation jitters can reducethe worst case response time of other tasks and increase the schedulability. The simulation resultsshow that the proposed analysis technique improves the accuracy of the best case and the worst caseresponse time up to 40% and 6%, respectively.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.415-417
• /
• 2002

실시간 시스템은 신뢰성이 중요하다. 특히 고안전성 시스템 (Safety-Critical System)은 안전과 직결되므로 높은 신뢰도가 요구된다. 본 논문에서는 Reactive System 의 모델링 및 검증을 위해 개발된 정형 검증 언어인 SyncCharts를 이용한 실시간 시스템의 스케줄가능성 분석(Schedulability Analysis)을 통해 시스템에 대한 요구조건의 만족여부와 태스크들의 수행가능성을 검증하는 방법을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.509-514
• /
• 2008

동적 전력 관리 기법은 임베디드 시스템과 같은 저전력성이 요구되는 시스템에서 널리 활용되고 있다. 동적 전력 관리 기법은 처리율과 소비전력 간의 상관 관계를 통해, 프로세서의 전압과 주기를 조절하여 소비 전력당 처리율을 높이는 기법이다. 이러한 동적 전압 관리 기법이 실시간 특성이 필요한 임베디드 시스템에 적용되는 경우, 실시간 스케줄러에 큰 영향을 끼치게 된다. 실시간 스케줄러에서는 주어진 임계 시간 이내에 작업의 수행을 마치기 위하여, 스케줄 가능성 테스트를 수행하여 적합한 작업들만을 실행하도록 한다. 하지만, 인터럽트 처리 등으로 인한 선점 가능성은 스케줄 가능성에 대한 분석을 복잡하게 만들고 있다. 본 논문에서는 인터럽트 처리를 고려한 실시간 스케줄링 분석 연구를 기반으로 하여, 동적 전력 관리가 추가된 경우의 영향을 분석하도록 한다. 동적 전력 관리로 인한 실시간 처리 요구 사항의 증가와 실제 적용 가능한 사례를 보인다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1999.05a
• /
• pp.208-212
• /
• 1999

실시간 스케줄가능성 분석에 대한 기존의 방법들은 프로세스의 모든 상태공간을 추적하거나 고정 우선 순위 스케줄 방법을 사용하기 때문에 시간 및 공간에 대한 복잡성이 증가된다. 본 논문에서는 프로세스 대수의 전이규칙을 이용하여 프로세스의 최소 수행시간, 주기, 마감시간, 동기화 시간을 고려하여 실시간 프로세스가 마감시간을 지키는가를 판단하고, GUI 환경을 기반으로 스케줄이 불가능한 프로세스에 대해 스케줄 가능하게 하는 회복 알고리즘을 제안하고, 이들의 상태 공간을 화면상에 표시해 주는 실시간 프로세스의 상태 분석기를 구현한다.

• Proceedings of the KIEE Conference
• /
• 2001.11c
• /
• pp.149-151
• /
• 2001

In real-time control system, it is essential to confirm the timing behavior of all tasks because these tasks of real-time controller have to finish their processes within the specified time intervals called a deadline. In order to satisfy this objective, the timing analysis of a real-time system such as a schedulability test must be performed during the system design phase. This paper presents a Matlab toolbox for simulation of real-time control system based on OSEK-OS, which is one of the most widely adopted real-time operating systems in automotive industry. The toolbox allows the user to explore the timely behavior of control algorithms, and to study the interaction between the object of the OSEK-OS, such as task, scheduler and resource etc.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.119.3-119
• /
• 2001

When building a network-based real-time control system, a network-induced delay time should be surly considered for real time schedulability to be guaranteed. The network delay time on end-to-end communication has been analyzed theoretically and modeled mathematically from many previous works. There also exist any other delay element not considered before. In this paper, the remote feedback control system using the CAN protocol is proposed to control three axes´ manipulator arm and the application layer of CAN is modeled to analyze the delay elements defined by three types of time delay: Software delay time, Controller delay time, and Access delay time, in details. The analyzed results are used as an important component to determine PID gains of the proposed system. The effect of the delay time on the control performance is evaluated by com paring the response characteristics of the control system through simulation.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.531-533
• /
• 2000

실시간 시스템은 신뢰성이 중요하므로 실시간 시스템을 설계하는데 있어서 각 태스크의 기능적인 정확성의 검증은 물론 모든 태TM크에 대한 시간적인 요구사항들을 보장해야만 한다. 본 논문에서는 이러한 조건 즉, 실시간 시스템의 정확성과 시간성 보장을 위하여 기존의 객체 지향적 모델을 기반으로 하는 실시간 시스템을 위한 정형명세 언어인 TSC(Timed State Chart)에 자원(resource)의 개념을 추가한 TSCR(Timed State Chart with Resource)를 제안한다. TSCR을 통하여 실시간 시스템의 다양한 요구 사항을 명세하며, 태스크들의 시간성 보장을 위한 스케줄링 가능성 분석(schedulability analysis)을 할 수 있다. 실시간 시스템의 대표적인 예로 철도 건널목 제어 시스템을 TSCR를 이용하여 명세한다.