Sciweavers

Share
RTSS
1999
IEEE

A Framework for Scheduler Synthesis

9 years 10 months ago
A Framework for Scheduler Synthesis
In this paper we present a framework integrating speci cation and scheduler generation for real-time systems. In a rst step, the system, which can include arbitrarily designed tasks cyclic or sporadic, with or without precedence constraints, any number of resources and CPUs is speci ed as a timed Petri-net. In a second step, our tool generates the most general nonpreemptive online scheduler for the speci cation, using a controller synthesis technique.
Karine Altisen, Gregor Gößler, Amir Pnu
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where RTSS
Authors Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine
Comments (0)
books