Design of Feedback Scheduler for Real Time System

실시간 시스템를 위한 피드백 스케줄러의 설계

  • SIM Jae-Hwan (The Computer Theory and Formal Methods Lab, Dept. Computer Science, Korea University) ;
  • KIM Jin-Hyun (The Computer Theory and Formal Methods Lab, Dept. Computer Science, Korea University) ;
  • CHOI Jin-Young (The Computer Theory and Formal Methods Lab, Dept. Computer Science, Korea University)
  • 심재환 (고려대학교 컴퓨터학과 정형기법 연구실) ;
  • 김진현 (고려대학교 컴퓨터학과 정형기법 연구실) ;
  • 최진영 (고려대학교 컴퓨터학과 정형기법 연구실)
  • Published : 2005.11.01

Abstract

실시간 시스템에서 스케줄링 가능성 여부는 매우 중요하다. 그래서 실시간 시스템이 주어진 시간적 제약 사항을 만족 시킬 수 있도록 스케줄러 등 많은 연구들이 진행되고 있다. 그런데 기존의 스케줄링 방식은 외부 환경이나, 태스크에 대한 정확한 정보를 요구한다. 하지만 이런 정보를 정확히 예측하는 것이 매우 힘들다. 그래서 이런 정보들에 따라 시스템의 성능이 저하 되거나, 아니면 오류를 야기 할 수 있다. 그래서 본 논문에서는 실시간 시스템의 이론에 제어 이론을 접목하여 시스템에 외부 환경에 대해 강인 하면서 높은 효율을 보일 수 있는 스케줄러를 설계하고 제시 한다.

Keywords