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
