비선점/비주기 실시간 스케줄링 성적분석 기반 스케줄 가능성 판단 연구

Real-Time Scheduling Feasibility Analysis for Non-Preemptive Rate-Monotonic Scheduling

연구 내용

Rate-Monotonic 스케줄링의 스케줄 가능성, 이용률 경계, 블로킹 요인 관계를 수학적으로 분석하여 비선점 실시간 태스크의 안정적 실행 조건을 도출하는 연구

실시간 시스템에서 Rate-Monotonic(RM) 스케줄링의 스케줄 가능성 조건을 수학적으로 규명합니다. 비선점 환경에서 발생하는 블로킹 시간을 고려하여 주기 비율과 이용률의 관계를 분석하고, 기존 분석의 보수성을 완화할 수 있는 경계식을 제안합니다. 또한 특정 급수/분수 표현을 활용해 주어진 태스크 집합의 사전조건을 판별하는 절차를 정리합니다. 이를 통해 운영체제 관점에서 실시간 태스크 설계 시 안전한 스케줄링 기준을 제공합니다.

관련 프로젝트

0건

연구 흐름

초기에는 RM 스케줄링에서 주기 간 관계가 스케줄 가능성에 미치는 영향을 수학적으로 모델링하고, 실시간 주기 태스크의 판별 절차를 정립하는 연구를 수행했습니다. 이후 2025년에는 비선점 RM에서의 스케줄링 분석을 확장하여 스케줄 가능성 판정의 세부 조건을 정리했습니다. 2026년에는 블로킹 요인과 이용률 경계를 연결하는 관점을 기반으로, 주기 비율을 반영한 보다 덜 보수적인 이용률 상계를 도출하고 상보적 분석을 제시했습니다. 이러한 흐름으로 실시간 스케줄링의 이론적 기준을 운영체제 적용 가능 형태로 정리했습니다.

활용 가능성

활용 가능성은 알앤디써클 특화 AI 에이전트가 생성한 내용으로, 실제 연구 가능 여부는 연구실과의 논의가 필요합니다.

비선점 실시간 운영 정책 검증
주기 기반 태스크 설계 가이드
임베디드 제어 시스템 스케줄링 검증
안전성 기반 실시간 소프트웨어 평가
실시간 성능 보장 모델링
스케줄 가능성 자동 판정 도구
블로킹 영향 분석 프레임
이용률 기반 용량 산정
실시간 태스크 마이그레이션 기준
RTOS 스케줄러 분석 모듈화