A Framework for Scheduler Synthesis

@inproceedings{Altisen1999AFF,
  title={A Framework for Scheduler Synthesis},
  author={Karine Altisen and Gregor G{\"o}{\ss}ler and Amir Pnueli and Joseph Sifakis and Stavros Tripakis and Sergio Yovine},
  booktitle={RTSS},
  year={1999}
}
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. 

Citations

Publications citing this paper.
SHOWING 1-10 OF 18 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 17 REFERENCES

Static analysis and dynamic steering of time-dependent systems using Petri Nets

  • M. Lusini, E. Vicario
  • University of Florence,
  • 1998
Highly Influential
4 Excerpts

G en eration automatique d'ordonnancements pour syst emes temporis es

  • K. Altisen
  • DEA, ENSIMAG,
  • 1998
Highly Influential
5 Excerpts

ler. Mod elisation et contrôle des syst emes multim edia

  • G. Go
  • DEA, ENSIMAG,
  • 1998
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…