A framework for scheduler synthesisReport as inadecuate




A framework for scheduler synthesis - Download this document for free, or read online. Document in PDF available to download.

Presented at: Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), Los Alamitos, CA, USA Published in: Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), p. 154 - 63 Publication date: 1999

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: formal specification ; Petri nets ; real-time systems ; scheduling Reference EPFL-CONF-184999doi:10.1109/REAL.1999.818838





Author: Altisen, K.; Gossler, G.; Pnueli, A.; Sifakis, J.; Tripakis, S.; Yovine, S.

Source: https://infoscience.epfl.ch/record/184999?ln=en



DOWNLOAD PDF




Related documents