Compositional Real-Time Scheduling of Mixed-Criticality Real-Time Systems

摘要

Compositional real-time scheduling frameworks provide ways for building large and complex real-time embedded systems from independent sub-systems. This paper introduces a novel scheme for scheduling a component of Mixed-Criticality (MC) sporadic tasks on uniprocessor system. It characterizes the mixed criticality resource allocations, and the interface model for abstracting the real-time requirements of such a component. The demand bound function and supply bound function for the low and high criticality modes are derived to determine the schedulability of a component in both modes. The execution times of jobs are monitored in this approach. If it is detected that the behavior of system is inconsistent with low criticality level, then tasks of low criticalities are discarded and the priorities of high criticality tasks are re-ordered in high criticality mode to guarantee the schedulabilty of high criticality tasks. We propose a new algorithm, which schedules a component of mixed criticality jobs in low mode through MC Rate Monotonic (MC-RM) algorithm by applying period transformation, and guarantees the schedulabilty by using MC Earliest Deadline First (MC-EDF) algorithm in high mode.