A Study on Scheduling State Analyzer for Schedulability Analysis of Real-Time Processes

실시간 프로세스의 스케줄 가능성 분석을 위한 스케줄링 상태 분석기에 관한 연구

The existed approaches to analyzing real-time schedulability take place exponential time and space complexity of this methods, since these uses a fixed priority scheduling and/or traverse all possible state spaces. This paper judges whether it is satisfied a given deadlines for real-time processes regarding a minimum execution time of process, periodic, deadline and a synchronizion time of processes by using the transaction rules of process algebra, and proposes a retrieval algorithm for unschedulable processes based on GUI environment. And we implement and evaluate the scheduling state analyzer that displays visually the result of schedulabiliy analysis for real-time processes.

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