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
