Title :
A framework for scheduler synthesis
Author :
Altisen, K. ; Gossler, G. ; Pnueli, A. ; Sifakis, J. ; Tripakis, S. ; Yovine, S.
Author_Institution :
Verimag, Gieres, France
Abstract :
We present a framework integrating specification and scheduler generation for real time systems. In a first step, the system, which can include arbitrarily designed tasks (cyclic or sporadic, with or without precedence constraints, any number of resources and CPUs) is specified as a timed Petri net. In a second step, our tool generates the most general non preemptive online scheduler for the specification, using a controller synthesis technique
Keywords :
Petri nets; formal specification; real-time systems; scheduling; arbitrarily designed tasks; controller synthesis technique; general non preemptive online scheduler; precedence constraints; real time systems; scheduler generation; scheduler synthesis framework; timed Petri net; Application software; Automata; Buildings; Computer science; Delay; Equations; Processor scheduling; Real time systems; Resource management; Synchronization;
Conference_Titel :
Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE
Conference_Location :
Phoenix, AZ
Print_ISBN :
0-7695-0475-2
DOI :
10.1109/REAL.1999.818838
