A framework for scheduler synthesis

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


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




 Record created 2013-03-14, last modified 2018-03-17

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)