Leveraging weakly-hard constraints for improving system fault tolerance with functional and timing guarantees
Leveraging weakly-hard constraints for improving system fault tolerance with functional and timing guarantees
复制标题
利用弱硬约束通过功能和时序保证来提高系统容错能力
DOI：
10.1145/3400302.3415717
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Zhu, Qi
中科院分区：
文献类型：
--
作者：
Liang, Hengyi;Wang, Zhilu;Jiao, Ruochen;Zhu, Qi
许多安全关键型实时系统在恶劣的环境下运行，并受到由瞬态或间歇性故障引起的软错误的影响。由于资源限制以及时间和功能上的严格约束，在这些系统中应用容错技术非常关键，但往往非常具有挑战性。在这项工作中，我们利用弱硬约束的概念，它允许以有限的方式错过任务截止日期，以提高系统的能力，以适应容错技术，同时确保时间和功能的正确性。具体而言，我们a)定量测量了不同截止日期命中/未命中情景下的控制成本，并确定了保证控制稳定性的弱硬约束；b)采用典型最坏情况分析（TWCA）来限定错过截止日期的次数和近似系统控制成本；C)开发基于事件的仿真方法，以检查任务执行模式并评估任何给定解决方案的系统控制成本；d)开发一种由启发式方法和模拟退火程序组成的元启发式算法来探索设计空间。我们通过一个工业案例研究和综合实例验证了我们方法的有效性。
Many safety-critical real-time systems operate under harsh environment and are subject to soft errors caused by transient or intermittent faults. It is critical and yet often very challenging to apply fault tolerance techniques in these systems, due to resource limitations and stringent constraints on timing and functionality. In this work, we leverage the concept of weakly-hard constraints, which allows task deadline misses in a bounded manner, to improve system's capability to accommodate fault tolerance techniques while ensuring timing and functional correctness. In particular, we a) quantitatively measure control cost under different deadline hit/miss scenarios and identify weak-hard constraints that guarantee control stability; b) employ typical worst-case analysis (TWCA) to bound the number of deadline misses and approximate system control cost; c) develop an event-based simulation method to check the task execution pattern and evaluate system control cost for any given solution; and d) develop a meta-heuristic algorithm that consists of heuristic methods and a simulated annealing procedure to explore the design space. Our experiments on an industrial case study and synthetic examples demonstrate the effectiveness of our approach.