AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems
AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems
复制标题
DOI：
10.4230/lipics.ecrts.2018.14
复制
发表时间：
2018-06
期刊：
影响因子：
--
通讯作者：
A. Papadopoulos;Enrico Bini;Sanjoy Baruah;A. Burns
中科院分区：
文献类型：
--
作者：
A. Papadopoulos;Enrico Bini;Sanjoy Baruah;A. Burns
如果运行时与预期行为的轻微偏差不会导致灾难性的性能下降，则称系统具有弹性：微小的偏差只会导致轻微的性能下降。在混合关键性系统中，这种退化还应该是关键性认知的。探索了控制理论在混合关键性系统的弹性运行时调度算法设计中的适用性。控制理论的最新结果表明，适当设计的控制器如何能够为硬实时服务器提供有保证的服务；这项先前的工作得到了扩展，以允许同时对多个关键性认知服务器做出此类保证。通过在双临界设置中进行多次实验模拟，探索了该方法的适用性。这些实验表明，我们基于控制的运行时调度程序可以以这样一种方式综合，即与预期行为的有限偏差会导致高关键性服务器不会出现性能下降，而低关键性服务器则会出现有限的性能下降。
A system is said to be resilient if slight deviations from expected behavior during run-time does not lead to catastrophic degradation of performance: minor deviations should result in no more than minor performance degradation. In mixed-criticality systems, such degradation should additionally be criticality-cognizant. The applicability of control theory is explored for the design of resilient run-time scheduling algorithms for mixed-criticality systems. Recent results in control theory have shown how appropriately designed controllers can provide guaranteed service to hard- real-time servers; this prior work is extended to allow for such guarantees to be made concurrently to multiple criticality-cognizant servers. The applicability of this approach is explored via several experimental simulations in a dual-criticality setting. These experiments demonstrate that our control-based run-time schedulers can be synthesized in such a manner that bounded deviations from expected behavior result in the high-criticality server suffering no performance degradation and the lower-criticality one, bounded performance degradation.