Pythia-MCS: Enabling Quarter-Clairvoyance in I/O-Driven Mixed-Criticality Systems
Pythia-MCS: Enabling Quarter-Clairvoyance in I/O-Driven Mixed-Criticality Systems
复制标题
DOI：
10.1109/rtss49844.2020.00015
复制
发表时间：
2020-12
期刊：
影响因子：
--
通讯作者：
Zhe Jiang;Kecheng Yang;N. Fisher;N. Audsley;Zheng Dong
中科院分区：
文献类型：
--
作者：
Zhe Jiang;Kecheng Yang;N. Fisher;N. Audsley;Zheng Dong
在混合临界系统中，模式切换是动态平衡系统性能和安全性的关键策略。在传统的MCS框架中，模式切换由任务的过度执行触发;即，任务超出了较不悲观的最坏情况执行时间。在信息物理系统中，由I/O生成的数据量影响甚至可以支配任务计算时间。考虑到这一点，我们引入了一种新的MCS架构，称为Pythia-MCS，它预测任务的执行时间根据I/O运行时的行为。Pythia-MCS具有未来预测的新功能，提供了更及时，但仍然准确的模式切换。我们还提出了一个新的理论模型（四分之一千里眼），它保证了设计的时间可预测性，并为Pythia-MCS，这表明与传统的MCS框架相比，改进的可扩展性一个新的可扩展性分析。Pythia-MCS是第一个支持透视功能的MCS框架。
In mixed-criticality systems, mode switch is a key strategy which dynamically provides a balance between system performance and safety. In conventional MCS frameworks, mode switch is triggered by the over-execution of a task; i.e., a task overruns the less pessimistic worst-case execution time. In cyber-physical systems, the data volume generated by I/O affects and can even dominate task computation time. With this in mind, we introduce a novel MCS architecture, termed Pythia-MCS, which predicts task execution time according to I/O run-time behaviors. With the new feature of future-prediction, the Pythia-MCS provides more timely, but still accurate, mode switch. We also present a new theoretical model (quarter-clairvoyance), which guarantees the timing predictability of the design, and a new schedulability analysis for the Pythia-MCS, which demonstrates improved schedulability compared to conventional MCS frameworks. The Pythia-MCS is the first MCS framework enabling the clairvoyance functionality.