A framework for scheduler synthesisReportar como inadecuado




A framework for scheduler synthesis - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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





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

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







Documentos relacionados