基于不变量的软错误检测方法
大小:0.63 MB 人气: 2018-01-17 需要积分:1
标签:检测方法(9689)
软错误是高辐照空间环境下影响计算可靠性的主要因素,结果错误(silent data corruption,简称SDC)是软错误造成的一种特殊的故障类型.针对SDC难以检测的问题。提出了一种基于不变量的检测方法.不变量是运行时刻保持不变的程序特征.在软错误发生后,由于程序受到影响,不变量一般不再满足.根据该原理,在源代码中插入以不变量为内容的断言,利用发生软错误后断言报错来检测软错误.首先,根据错误传播分析确定了检测位置,提取了检测位置的不变量;定义了表征不变量检测能力的渗透率在同一检测位置依据渗透率将不变量转化为断言.通过错误注入实验,验证了该检测方法的有效性,实验结果表明:该检测方法具备较高的检出率和较低的检测代价,为星载系统的软错误防护提供了新的解决思路.
非常好我支持^.^
(0) 0%
不好我反对
(0) 0%
下载地址
基于不变量的软错误检测方法下载
相关电子资料下载
- PCB焊接虚焊有哪些检测方法 93
- LTV-817光耦的工作原理及检测方法 162
- 新型传感器的检测方法 154
- 借助图技术增强网络安全威胁检测方法 42
- 智能电动车辆的故障预测及检测方法 102
- smt贴片生产加工检测方法有哪几种 43
- 一种快速无损确定苹果收获期的光谱检测方法 369
- x-ray检测仪和传统检测方法的区别是什么? 92
- 回流焊标定校正及检测方法 72
- CAN总线的检测方法 CAN总线的常见故障及原因分析 422