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

摘要：

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

关键词：软错误、可靠性分析、时序等价性检查

所属期刊栏目：23

分类号：TP391(计算技术、计算机技术)

资助基金：国家自然科学基金60573173,60773025

在线出版日期：2011-06-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：465-470