An Improved Rate Monotonic Schedulability Test Algorithm

Abstract: One of the key issues in real-time theory is the schedulable analysis of a given task set with fixed priority. All the proposed schedulability test methods can be classified into two types: polynomial time methods and exact methods. Polynomial time methods use a sufficient schedulability condition, and several least upper bounds of the processor utilization under ideal assumptions have been developed. Exact methods based on the necessary and sufficient schedulability condition guarantee that the test result for every task set is correct. However, the pseudo-polynomial complexity of the exact tests is too complex to be executed online for large task sets. This paper presents a novel ISTA (improved schedulability test algorithm) for analyzing the schedulability of periodic task sets under Rate Monotonic priority assignment. A pruning theorem for the Task_i space is derived, the schedulability correlation among tasks and its effect on the schedulability test are investigated, and the related theorems are proven