形式化等价性检查指导的软错误敏感点筛选

作     者：朱丹 李暾 李思昆 Zhu Dan;Li Tun;Li Sikun

作者机构：国防科学技术大学计算机学院长沙410073 

基　　金：国家自然科学基金(60573173 60773025) 

出 版 物：《计算机辅助设计与图形学学报》 (Journal of Computer-Aided Design & Computer Graphics)

年 卷 期：2011年第23卷第3期

页      码：465-470页

摘      要：由于经典的基于故障模拟的软错误可靠性分析方法不完备,而已有的基于形式化技术的方法虽然完备却又需要经验和专家支持.为此,提出一种由故障传播特征和等价性检查技术指导的软错误可靠性分析方法.首先提出故障传播时序依赖图,并利用它来提取软错误的传播行为特征;然后基于得到的故障传播行为特征对时序单元发生软错误后的电路与原电路进行等价性检查,以识别电路中对软错误敏感的时序单元.实验结果表明,文中方法不仅可以筛选出电路中所有的软错误敏感点,还可以用于检测容错逻辑的有效性.

主 题 词：软错误 可靠性分析 时序等价性检查 

学科分类：081203[081203] 08[工学] 0835[0835] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203120233...