A framework for scheduler synthesis
- 20 January 2003
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 154-163
- https://doi.org/10.1109/real.1999.818838
Abstract
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
This publication has 7 references indexed in Scilit:
- The input-output control of real-time discrete event systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The MSP.RTL real-time scheduler synthesis toolPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- On the synthesis of discrete controllers for timed systemsLecture Notes in Computer Science, 1995
- A theory of timed automataTheoretical Computer Science, 1994
- Deadline monotonic scheduling theory and applicationControl Engineering Practice, 1993
- On the Supremal Controllable Sublanguage of a Given LanguageSIAM Journal on Control and Optimization, 1987
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time EnvironmentJournal of the ACM, 1973