I. Introduction
Reliability of a real-time system depends not only on the functional correctness of its components, but also on the timeliness and predictability of task execution [1]. There are many mechanisms implemented in a real-time kernel which influence the predictability of the system. However, the scheduling algorithm is certainly the most important factor, since it is responsible for satisfying timing and resource contention requirements [2].