• 제어로봇시스템학회논문지
• /
• 제5권2호
• /
• pp.145-150
• /
• 1999

A real-time control system, composed of the controlled processor and the controller computer(s), may have a variety of task types, some of which have tight timing-constraints in generating the correct control input. The maximum period of those task failures tolerable by the system is called the hard deadline, which depends on not only fault characteristics but also task characteristics. In the paper, we extend a method deriving the hard deadline in LTI system executing single task. An algorithm to combine the deadlines of all the elementary tasks in the same operation-mode is proposed to derive the hard deadline of the entire system. For the end, we modify the state equation for the task to capture the effects of task failures (delays in producing correct values) and inter-correlation. We also classify the type of executing the tasks according to operation modes associated with relative importance of correlated levels among tasks, into series, parallel, and cascade modes. Some examples are presented to demonstrate the effectiveness of the proposed methods.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권4호
• /
• pp.304-308
• /
• 2009

본 논문은 실시간 임베디드 OS인 TMO-eCos의 데드라인 기반 CPU 저전력 관리 기법을 다루고 있다. 해당 저전력 관리 기법은 경성 실시간 시스템인 TMO 시스템을 위한 태스크 순차화 기법에서 도출된 스케줄링 시나리오를 사용한다. 본 연구팀에서 개발한 스케줄링 사전 분석기는 주기적으로 동작하는 태스크의 주기, 데드라인, WCET를 기반으로 오프라인 분석을 실시한다. 최종적으로 TMO-eCos 커널은 CPU의 전력 소모를 줄이기 위하여 주기적인 태스크의 데드라인을 위반하지 않는 범위에서 CPU의 속도를 조절하여 시스템에서 사용하는 소비전력은 줄이게 된다. 본 논문은 이와 같은 과정과 실제 실험결과를 기술한다.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제53권8호
• /
• pp.594-601
• /
• 2004

We analyze checkpoint strategy for multiple real-time periodic tasks with hard deadlines. Real-time tasks usually have deadlines associated with them. For multiple real-time tasks, checkpoint strategy considering deadlines of all tasks is very difficult to derive. We analyze the problem of checkpoint placement for such multiple periodic tasks. In our strategy, the interval between checkpoints is determined for each task considering its deadline. An approximated failure probability over a specified interval is derived. Then the number of checkpoints for each task is selected to minimize the approximated failure probability. To show the usefulness of our strategy, error bound between the exact and the approximated failure probability is estimated, which is revealed to be quite small.

• 한국콘텐츠학회논문지
• /
• 제8권2호
• /
• pp.57-66
• /
• 2008

대부분의 실시간 동시성제어 기법은 주로 한 가지 종류의 실시간 트랜잭션들을 위한 데이터 충돌 해결에 적용되어왔다. 다양한 응용 프로그램 지원과 하드웨어 성능향상으로 실시간 데이터베이스 시스템에서 여러 종류의 실시간 트랜잭션들을 스케줄 할 필요성이 증가하고 있다. 본 논문에서는 하드와 소프트 실시간 트랜잭션들 사이의 데이터 충돌을 해결하는 통합된 동시성제어 기법을 제안한다. 기존에 연구된 PCP(Priority Ceiling Protocol)와 MVPR(Multiversion with Precedence Relationship) 기법을 기반으로 하드 실시간 트랜잭션이 종료시한 내에 작업을 종료하도록 보장하며 종료시한을 만족하는 소프트 실시간 트랜잭션의 비율을 향상시키도록 한다. 제안한 통합된 동시성제어 기법이 직렬화가능 스케줄을 만족시키고 교착상태를 발생시키지 않음을 증명하였다. 모의실험을 통하여 다른 동시성제어 기법과 성능평가 비교를 하였다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제2권6호
• /
• pp.237-244
• /
• 2013

본 연구에서는 전력량 제약을 가진 멀티프로세서 시스템에서 (m,k)-firm 데드라인을 갖는 실시간 태스크를 효율적으로 스케줄링 할 수 있는 방법으로 EMRTS-MK(Energy-constrained Multiprocessor Real-Time Scheduling algorithms for (m,k)-firm deadline constrained tasks) 를 제안한다. EMRTS-MK는 단지 전력 소모량을 최소로 줄이는 것이 목표가 아니라 한정된 전력량을 고려하여 시스템이 주어진 임무 시간(Mission Time) 동안 최소한의 서비스 품질을 보장하고 동시에 가능하면 최대한의 서비스 품질을 제공함을 목표로 한다. 본 연구에서는 상용멀티코어 환경에서 EMRTS-MK를 구현하여 성능을 평가하였으며, 제안된 알고리즘이 (m,k)-firm 데드라인을 갖는 멀티미디어 서비스를 효과적으로 지원해 줄 수 있다는 것을 보였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• 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 정책이 갖는 실행시간 스케쥴링 오버헤드를 없앨 수 있다.

• 한국정보처리학회논문지
• /
• 제6권2호
• /
• pp.467-475
• /
• 1999

본 논문은 소프트 실시간 시스템을 위한 스케쥴링을 간단히 하기 위하여 "두 단계 데드라인" 방법을 제안하였다. 각각의 작업은 두 개의 데드라인을 갖는데, 첫 번째 데드라인과 두 번째 데드라인이라 부른다. 첫 번째 데드라인은 일반 실시간 시스템의 데드라인과 같다. 두 번째 데드라인은 첫 번째 데드라인 보다 늦은 시각인데, 늦은 결과가 아직은 사용할 만한 가장 늦은 시각이다. 첫 번째 데드라인 이내에 끝난 일은 만점을 주지만, 첫 번째 데드라인을 놓치고 두 번째 데드라인 이내에 끝난 일에 대해서는 부분 점수만 인정한다. 본 논문에서, 첫 번째 데드라인, 두 번째 데드라인, 부분 점수 등을 고려하여 다이나믹하게 일들의 우선 순위를 정하는 방법을 고안하였다. 시뮬레이션 결과를 통하여 두 단계 스케쥴링 알고리즘이 소프트 실시간 시스템과 일시적으로 과부하가 걸린 하드 실시간을 처리하는데 적절한 방법임을 확인하였다.법임을 확인하였다.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제49권7호
• /
• pp.363-369
• /
• 2000

To flexibly evaluate performance and reliability of an electric power system in the aspect of the real-time system which is intrinsically characterized by stringent timing constraints fails catastrophically if its control input is not updated by its digital controller computer within a certain time limit called the hard deadline, we propose fuzzy-random variables and build a discrete event model embedded with fuzzy-random variables. Also, we adapt fuzzy-variables to a path-space approach, which derives the upper and lower bounds of reliability by using a semi-Markov model that explicitly contains the deadline information. Consequently, we propose certain formulas of state automata properly transformed by fuzzy-random variables, and present numerical examples applying the formulas as well.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
• /
• pp.687-690
• /
• 2002

In this paper, we present a novel semaphore implementation scheme which shortens finish time of high priority tasks and improves reliability of a system. The real-time systems have time constraints. Especially, the task with hard real-time constraints must meet its deadline. Consequently, managing shared resources is considered guaranteeing mutual exclusion as well as meeting task's deadline under unfavorable condition. According to the number and sort of the locked semaphores under the event occurred, this paper presents the reduction of the finish time of high priority task by decision whether the context switched or not. The experimental results show that the proposed method gives performance improvements in finish time of high priority tasks of about 11% over zuberi[4] method.

• 한국정보과학회논문지:시스템및이론
• /
• 제36권1호
• /
• pp.9-20
• /
• 2009

마감시간이 있는 주기 태스크와 마감시간이 없는 비주기 태스크가 공존하는 결성 실시간 시스템에서는 주기 태스크의 마감시간과 비주기 태스크의 빠른 응답시간을 보장하는 것이 중요하다. 본 논문에서는 비주기 태스크 처리에 효율적이면서 잘 알려져 있는 알고리즘인 Total Bandwidth Server(TBS) 보다 향상된 알고리즘인 Enhanced TBS(ETBS)를 제시한다. ETBS는 Earliest Deadline First(EDF) 스케줄링 알고리즘을 사용하는 단일처리기 시스템에서 주기 작업의 단위 수행시간마다 확보할 수 있는 잉여 여유시간을 이용해 온라인으로 비주기 태스크에 마감시간을 부여하는 알고리즘이다. 제시한 알고리즘은 주기 및 비주기 태스크들이 처리기의 이용률을 모두 이용할 수 있게 하며 주어진 주기 태스크들의 마감시간을 보장한다. ETBS 알고리즘은 TBS와 같은 계산 복잡도 O(1)을 가지면서도 TBS보다 좋은 응답시간을 가짐을 이론적으로 보였고, 정량적인 응답시간 차이는 모의실험을 통해 보였다.