|
|||||
|
|
| 基于检测能力分析的控制流检测优化方法 | |
| 摘 要： | 控制流检测是抵抗单粒子效应的有效手段之一。高效的控制流检测方法须实现容错性能和容错开销的合理均衡。首先对控制流标签检测方法的检测性能及影响因素进行建模分析，得到了标签添加的理论基础。然后将一种基于格式化标签的可拓展控制流检测方法ECCFS做为优化目标算法，并以程序扩展块划分为优化手段，提出一种基于检测能力分析的控制流检测优化方法。该方法给出了容错开销与可靠性提升的工程参考和理论依据，并且实验结果验证了该方法受程序控制流图影响较小，能够实现容错开销与可靠性的合理均衡。 |
| 关 键 词： | 控制流检测；扩展块；标签检测；软件容错；故障注入 |
| 点击此处可从《信息工程大学学报》浏览原始摘要信息 | |
| 点击此处可从《信息工程大学学报》下载免费的PDF全文 | |