Scheduling of Embedded Controllers Under Timing Contracts
Scheduling of Embedded Controllers Under Timing Contracts
复制标题
定时合同下嵌入式控制器的调度
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
T. Dang
中科院分区：
文献类型：
--
作者：
M. A. Khatib;A. Girard;T. Dang
用于嵌入式控制器实现的定时契约指定了对执行某些操作（例如采样、驱动、计算等）的时刻的约束。之前的一些工作集中于此类定时契约下的嵌入式控制系统的稳定性分析。在本文中，我们考虑共享计算平台上嵌入式控制器的调度。给定一组控制器，每个控制器都遵守定时合同，我们综合一个动态调度策略，保证每个定时合同都得到满足，并且共享计算资源在任何时候最多分配给一个嵌入式控制器。该方法基于定时博弈公式，其解决方案提供了合适的调度策略。在本文的第二部分中，我们考虑综合一组时序合约的问题，同时保证嵌入式控制器的可调度性和稳定性。
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.