Scheduler modeling based on the controller synthesis paradigmReport as inadecuate

Scheduler modeling based on the controller synthesis paradigm - Download this document for free, or read online. Document in PDF available to download.

Published in: Real-Time Systems (ISSN: 09226443), vol. 23, num. 1-2, p. 55 - 84 Publication date: 2002

The controller synthesis paradigm provides a general framework for scheduling real-time applications. Schedulers can be considered as controllers of the applications; they restrict their behavior so that given scheduling requirements are met. We study a modeling methodology based on the controller synthesis paradigm. The methodology allows to get a correctly scheduled system from timed models of its processes in an incremental manner, by application of composability results which simplify schedulability analysis. It consists in restricting successively the system to be scheduled by application of constraints defined from scheduling requirements. The latter are a conjunction of schedulability requirements that express timing properties of the processes and policy requirements about resource management. The presented methodology allows a unified view of scheduling theory and approaches based on timing analysis of models of real-time applications.

Keywords: Constraint theory ; Control system synthesis ; Mathematical models ; Resource allocation ; Scheduling Reference EPFL-ARTICLE-185000doi:10.1023/A:1015346419267

Author: Altisen, K.; Gossler, G.; Sifakis, J.


Related documents