FaLoFiN:基于不确定性过滤的硬件故障局部化方法

作     者：郑衍松 佟冬 李皓 王克义 程旭 Zheng Yansong;Tong Dong;Li Hao;Wang Keyi;Cheng Xu

作者机构：北京大学微处理器研发中心北京100871 北京大学深圳研究生院深圳518055 

基　　金：国家"八六三"高技术研究发展计划(2006AA010202) 国际科技合作计划(2008DFB10010) 

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

年 卷 期：2010年第22卷第7期

页      码：1207-1214页

摘      要：运行已有大型商业软件进行系统级验证是获得高质量SoC设计的有效手段,然而一旦硬件故障导致该类软件运行失效,故障局部化过程将十分困难.为此提出一种基于不确定性过滤的硬件故障局部化方法FaLoFiN.首先提取不确定性函数调用集;然后分别从参考运行和故障运行中过滤不确定性函数调用集;最后通过比较、定位异常函数调用,实现与硬件故障相关代码范围的局部化.实验结果表明,FaLoFiN方法具有较高的硬件故障局部化准确度,能有效地将PKUnity-86系统中的真实硬件故障局部化.

主 题 词：硬件故障 故障局部化 不确定性过滤 异常函数调用 

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

核心收录：

D　O　I：10.3724/SP.J.1089.2010.10902

馆 藏 号：203128696...