Skip to Main content Skip to Navigation
Conference papers

Scheduling of Embedded Controllers Under Timing Contracts

Abstract : Timing contracts for embedded controller implementation specify the constraints on the time instants at which certain operations are performed such as sampling, actuation, computation, etc. Several previous works have focused on stability analysis of embedded control systems under such timing contracts. In this paper, we consider the scheduling of embedded controllers on a shared computational platform. Given a set of controllers, each of which is subject to a timing contract, we synthesize a dynamic scheduling policy, which guarantees that each timing contract is satisfied and that the shared computational resource is allocated to at most one embedded controller at any time. The approach is based on a timed game formulation whose solution provides a suitable scheduling policy. In the second part of the paper , we consider the problem of synthesizing a set of timing contracts that guarantee at the same time the schedulability and the stability of the embedded controllers.
Complete list of metadatas

Cited literature [34 references]  Display  Hide  Download
Contributor : Antoine Girard <>
Submitted on : Friday, June 16, 2017 - 4:15:04 PM
Last modification on : Friday, August 7, 2020 - 3:00:35 AM
Document(s) archivé(s) le : Wednesday, December 13, 2017 - 4:35:12 PM


Files produced by the author(s)



Mohammad Al Khatib, Antoine Girard, Thao Dang. Scheduling of Embedded Controllers Under Timing Contracts. 20th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2017), Apr 2017, Pittsburgh, PA, United States. pp.131 - 140, ⟨10.1145/3049797.3049816⟩. ⟨hal-01540841⟩



Record views


Files downloads