高级检索
郑衍松, 佟冬, 李皓, 王克义, 程旭. FaLoFiN:基于不确定性过滤的硬件故障局部化方法[J]. 计算机辅助设计与图形学学报, 2010, 22(7): 1207-1214.
引用本文: 郑衍松, 佟冬, 李皓, 王克义, 程旭. FaLoFiN:基于不确定性过滤的硬件故障局部化方法[J]. 计算机辅助设计与图形学学报, 2010, 22(7): 1207-1214.
Zheng Yansong, Tong Dong, Li Hao, Wang Keyi, Cheng Xu. FaLoFiN:a Hardware Fault Localization Approach via Filtering Nondeterminacy[J]. Journal of Computer-Aided Design & Computer Graphics, 2010, 22(7): 1207-1214.
Citation: Zheng Yansong, Tong Dong, Li Hao, Wang Keyi, Cheng Xu. FaLoFiN:a Hardware Fault Localization Approach via Filtering Nondeterminacy[J]. Journal of Computer-Aided Design & Computer Graphics, 2010, 22(7): 1207-1214.

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

FaLoFiN:a Hardware Fault Localization Approach via Filtering Nondeterminacy

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

     

    Abstract: System level verification by running existing commodity software stacks is essential for achieving a high quality SoC design.However, it is hard to find the root cause of hardware faults when running large commodity software stacks.A hardware fault localization approach by filtering out nondeterministic behaviors is proposed.This approach is called FaLoFiN.The approach first extracts the nondeterministic function call set.Then it filters out this nondeterministic function call set from a reference run and a faulty run respectively.Finally it localizes the code scope related to hardware faults through comparing the filtered function call sets, and locating the abnormal function call.The experimental results show that FaLoFiN can localize injected hardware faults with high accuracy.Moreover, FaLoFiN localized real hardware faults in the PKUnity-86 system effectively.

     

/

返回文章
返回