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

V. Janarthanan and P. Gohari (Canada)


Formal method, preemption, migration, real-time, uniform processors, supervisory control theory, discrete-event 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