Scheduling of Embedded Controllers Under Timing Contracts - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Scheduling of Embedded Controllers Under Timing Contracts

Antoine Girard
Thao Dang

Résumé

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.
Fichier principal
Vignette du fichier
hscc_paper.pdf (493.73 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01540841 , version 1 (16-06-2017)

Identifiants

Citer

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⟩
272 Consultations
214 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More