V. Janarthanan and P. Gohari
Real-time systems, uniform multiprocessors, supervisory control, discrete-event systems, scheduling theory
We present a framework for designing schedulers for hard real-time systems upon uniform multiprocessors based on Supervisory Control Theory (SCT) for timed discrete-event systems (TDES). The contribution of this work lies in the development of a formal constructive method for controlling the preemptive and migrative execution of real-time tasks on a set of uniform processors. This approach allows a unified view of scheduling theory based on the timing analysis of models of real-time applications, i.e., the complications of checking schedulability and determining a scheduling algorithm are considered as dual problems: a solution to the former implies a solution to the latter and vice versa.
Important Links:
Go Back
