系统性错失注入活动的检查点放置
摘要：散列结构的缩小和工作电压的降低导致瞬态硬件故障的数量增加，这成为安全关键系统要考虑的核心问题。在这里，系统化的故障注入（FI）通过对一个受测试程序进行系统性故障应力测试，提供了在存在故障的情况下的深度恢复分析。然而，FI活动需要进行许多独立的故障注入实验，并且总运行时间较长，特别是如果我们的目标是实现对故障空间的高覆盖率。一个成本因素是转发阶段，即将系统在注入时带入无故障状态所需的时间。加快转发的一种常见技术是在固定时间点上对无故障系统状态进行检查点。 在本文中，我们展示了检查点的放置对所需的转发周期有显著影响，特别是在时间轴上非均匀地放置故障。为此，我们在一般情况下讨论了检查点选择问题，并将其形式化为图中的最大权重奖励路径问题，提出了一个整数线性规划（ILP）公式和一个动态规划算法，找到了最优解，并提供了一种基于遗传算法的启发式检查点选择方法。应用于MiBench基准套件，我们的方法在至少16个检查点的情况下，一致地减少了前向阶段循环次数至少88%，最高可达99.934%。
作者：Christian Dietrich and Tim-Marek Thomas and Matthias Mnich
论文ID：2308.05521
分类：Hardware Architecture
分类简称：cs.AR
提交时间：2023-08-11