• 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.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11a
• /
• pp.419-422
• /
• 2003

실시간 시스템에서 태스크의 스케줄링은 매우 중요한 역할을 담당한다. 실시간 시스템에서 각각의 태스크들은 제한된 시간이 주어져 있고, 이 태스크들은 제한된 시간 내에 수행되지 못하는 경우에는 큰 피해를 입을수 있으므로 반드시 지켜져야 한다. 이에 대한 사전에 태스크 예측 가능성에 관한 연구가 활발히 진행중이다. 본 논문에서는 각각의 태스크 이용율을 사용하여 예측가능성을 높이기 위한 알고리즘을 제안하며, 기존의 태스크 전체 이용율을 이용한 모델과 비교 분석하였다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.13 no.5
• /
• pp.271-281
• /
• 2007

Real-time support of embedded OS is not optional, but essential in contemporary embedded systems. In order to achieve these system#s real-time property, it is crucial that schedulability analysis for tasks having its property have been accomplished before system execution. Acquiring Worst-Case Execution Time(WCET) of task is a core part of schedulability analysis. Because traditional WCET tools analyze only its estimation of application task(i.e. program), it is not considered that application tasks are affected by scheduling primitives(e.g. scheduler, interrupt service routine, etc.) of OS when it schedules them. In this paper, we design and implement WCET analysis tool which deliberates on scheduling primitives of system using embedded Linux widely used in embedded OSes. This tool can estimate either WCET of normal application programs or corresponding primitives which have an influence on schduling property in embedded Linux kernel. Therefore, precision of estimation about schedulability analysis is improved. We develop this tool as Eclipse#s plug-in to work properly in any platform and support convenient interface or functionality for user.

• Journal of KIISE:Information Networking
• /
• v.32 no.5
• /
• pp.633-640
• /
• 2005

This paper proposes and analyzes a message scheduling scheme and corresponding bandwidth allocation method for the hard real-time communication on dual standard 802.11 Wireless LANs. By making the superframeof one network precede that of the other by half, the dual network architecture can minimize the effect of deferred beacon and reduce the worst case waiting timeby half. The effect of deferred beacon is formalized and directly considered to decide the polling schedule of PCF phase. Simulation results executed via ns-2 show that the proposed scheme can improve the schedulability by 3$36\%$ for real-time messages and give $9\%$ more bandwidth to non-real-time messages for the given stream sets, compared with the network whose bandwidth is just doubled with the same MAC.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.19 no.3
• /
• pp.371-378
• /
• 2016

The most important things in real-time systems are that a system guarantees to meet its deadline and to operate in its predictable range. When we design a real-time system, we need to verify whether the system can meet its deadline through schedulability analysis. There are several kinds of schedulability analysis technique for fixed priority scheduling systems. But as we all know, we can't perform schedulability analysis in design time because we can't estimate upper bounds on execution time of each task. So we used a similar real-time system to estimate upper bounds on execution time for our system, and then we performed schedulability analysis and verified that our system designed can meet its deadline.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.659-661
• /
• 1998

다목적위성 관제 시스템의 한 부분만 위성운용 서브시스템의 실시간 처리 성능을 분석하기 위한 알고리즘과 이를 구현한 프로그램이 개발되었다. 이 프로그램은 위성운용 서브시스템에서 발생되는 event들과 이에 대한 response들의 속성에 관한 파라미터 값이 입력되었을 때, 각 event의 반응 시간과 스케줄 가능성을 계산하고 스케줄된 event들을 시각화한다. 실험 결과, event의 blocking delay, 주기 및 첫 action의 우선 순위가 해당 event 또는 다른 event의 반응 시간에 많은 영향을 준다는 것이 밝혀졌다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1999.11a
• /
• pp.294-299
• /
• 1999

CCSR은 CCS에 시간적인 개념이 추가된 실시간 명세 언어로 실시간 프로세스의 정적 분석에 이용되고 있다. CCSR은 프로세스 전이 규칙을 이용하여 프로세스 동작의 관심 부분만 하여 분석하기 때문에 전체 태스크(task)의 동작을 분석하는데 적용하기 어렵고, 전이규칙에 따른 상태 변화를 이해하기 어렵다. E-TCPN은 시간 요소가 첨가된 Petri Net의 변형된 형태로 실시간 시스템의 분석과 모델링을 위한 형식적(formal) 방법을 제공한다. 본 논문에서는 CCSR로 표현된 프로세스 동작을 E-TCPN 모델에 적용함으로써 실시간 시스템을 중요한 사건을 중심으로 전체 태스크의 동작 과정을 표현하고 프로세스의 수행 과정을 이해하기 쉽도록 CCSR을 변형하여, E-TCPN 명세 모델에 적용하고, 적용된 E-TCPN으로 스케줄링가능성 분석 알고리즘을 제안하고 구현하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.148-150
• /
• 2003

본 논문에서는 인터넷 종단 호스트에서 공유 자원의 대역폭 제약조건과 종료시한 제악조건 모두를 만족시킬 수 있는 자원 할당 구조를 제안한다. 제안된 구조는 두 단계로 구성된다. 상위 단계에서는 비례 분배 스케줄러(proportional share scheduler)인 EFT-C/D (Earliest Finish Time Credit/Debit) 스케줄러가 수행된다. 이 스케줄러는 CPU와 같은 시분할 공유 자원을 하위 단계 스케줄러들에게 지정된 비율로 분배하는 역할을 한다. 그리고 하위 단계에서는 서로 다른 시간 제약조건이 부여된 태스크들을 스케줄링 하기위해 다양한 실시간 스케줄러가 수행된다. 본 연구의 주요 성과는 두 가지로 요약된다. 첫째, 이상적인 GPS (Generalized Processor Sharing) 서버와 거의 동등한 수준으로 자원을 공평하게 분배하는 EFT-C/D 알고리즘을 개발하였다. 둘째, 하위 단계에서 수행되는 EDF 스케줄러에 대해 이용율(utilization)에 기반한 스케룰링 가능성 분석 방법을 개발하였다. 이 방법은 주어진 태스크 집합에 대해 단순히 이용율만을 계산하여 스케줄링 가능성을 판별할 수 있다. 따라서 새로운 태스크가 생성될 때 수락 여부를 시스템 수행 중에 제어할 수 있는 장점이 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.202-204
• /
• 2003

경성 실시간 시스템(Hard Real-Time System)어서는 주기 태스크들의 엄격한 마감시간(Deadline) 보장이 시스템의 성능을 좌우한다. 본 논문에서는 CPU의 이용률(Utilization)이 높아 비율단조 정책으로는 마감시간을 보장 할 수 없는 주기 태스크들을 위해 확장된 스케줄 가능성 검사를 통해 수행할 태스크들의 공통 주기(L.C.M : Least Common Multiple)내에서 EDF(Earliest-Deadline First) 정책을 기반으로 마감시간 보장 수행패턴(Feasible Pattern)을 찾고, 이를 참조하여 우선순위를 고려하지 않고 태스크들을 강제 수행할 수 있게 하는 비율단조 기반의 스케쥴링 기법을 제안한다. EDF를 기반으로 생성된 패턴은 EDF 정책의 특성에 따라 CPU의 이용률을 100% 까지 가능하게 하며 패턴을 참조하여 강제 수행함으로써 EDF 정책이 갖는 실행시간 스케쥴링 오버헤드를 없앨 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.769-771
• /
• 2005

실시간 시스템은 논리적 정확성뿐만 아니라 시간적 정할성을 요구한다. 시간적 정확성을 만족시키기 위해 실시간 시스템의 설계자는 작업들의 스케줄 가능성에 대한 연구를 선행해야만 한다. 그리고 스케줄 가능성 분석을 위해 프로그램들에 대한 실행 시간 예측이 필요하다. 작업들의 실행 시간 예측을 위한 방법으로 측정과 정적 분석이 연구되었다. 측정 및 정적 분석은 비용 핀 확장성에 문제점을 지니고 있고 실시간 시스템의 발전을 따라가지 못하여 분석 결과의 정확성 밀 신뢰성이 만족스럽지 못하다. 본 논문에서는 정적 분석을 단일 실시간 시스템이 아닌 분산 실시간 시스템에 적용할 수 있는 확장된 정적 분석 도구의 개발에 초점을 둔다. 먼저 확장된 정적 분석 도구의 개발을 위해 통신 영향 요소의 분석 과정을 설계한다. 특히, 통신 부하의 영향 요소 중 통신 준비에 필요한 과정을 선행 예측 테이블로 작성하여 원시 프로그램 분석에 이용하고자 한다. 실행 시간에 영향을 미치는 요소들의 분석을 통해 원시 프로그램에서 자동적으로 예측된 실행 시간의 정확도와 신뢰도를 높인다.