软错误评估中仿真故障注入平台的理论模型

• 作者: 毛志刚 绳伟光 肖立伊
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 软错误 故障注入 语法分析 检查点 分层抽样
• 年，卷（期）: 2009,（22）
• 所属期刊栏目: 软件与算法
• 页码范围: 5048-5052
• 页数: 5页
• 分类号: TN492|V520.6
• 字数: 6309字
• 语种: 中文

摘要

提出了仿真故障注入系统的七元组描述的统一理论模型,指导用于软错误敏感性评估的仿真故障注入系统的设计与实现.结合七元组模型给出了仿真故障注入系统中关键部分的设计方法,包括实现自动化故障注入的一般方法、基于LL(k)语法分析技术的故障集生成方法、基于检查点恢复和分层抽样的仿真故障注入加速策略等.同时,以电路级软错误敏感性评估平台HSECT-SPI(HIT soft error characterization toolkit-spice based)为例讨论了七元组模型的可行性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖立伊	哈尔滨工业大学微电子中心	39	247	9.0	13.0
2	毛志刚	哈尔滨工业大学微电子中心	58	658	14.0	23.0
3	绳伟光	哈尔滨工业大学微电子中心	3	25	3.0	3.0