Supervisory Control based Design of Real-Time Schedulers for Uniform Multiprocessor Systems

V. Janarthanan and P. Gohari (Canada)


Formal method, preemption, migration, realtime, uniform processors, supervisory control theory, discreteevent sys tems, scheduler.


In this paper, we provide a formal constructive method for controlling the preemptive and migrative execution of hard real-time tasks while scheduling them on a set of uniform processors. This method is based on Supervisory Con trol Theory (SCT) for timed discrete-event systems. The methodology relies on the idea that the model of the sched uled system can be obtained by successive and appropriate restrictions of controllable actions of a model representing the real-time application.

Important Links:

Go Back