Uniprocessor Scheduling of Real-Time Systems using Modified Symbolic Modeling Technique

V. Janarthanan and P. Gohari (Canada)


Symbolic modeling, schedulers, real-time systems, supervisory control of discrete-event systems, non preemptive, uniprocessor systems.


We consider a modified form of symbolic modeling methodology [3] to alleviate some of the state explo sion problems we had faced while designing sched ulers for real-time systems using supervisory control of discrete-event systems framework [7, 9]. This paper illustrates initial results of our approach on reducing state space while scheduling for non-preemptive real time tasks on uniprocessor systems.

Important Links:

Go Back