Rate Admission Control for Hard Real-Time Task Scheduling

摘要

Hard real-time scheduling problem of periodic tasks in the presence of aperiodic tasks occurrence is analyzed. A hybrid model of the tasks and of the Earliest Deadline First scheduling policy is proposed and its translation into a Mixed Logical Dynamic model is presented. The model is used to design an optimal admission controller that selects the best feasible period for the periodic tasks based on the prediction of the processor utilization.