基于Simics的系统级故障注入平台
本文选题:故障注入 + 系统可靠性 ; 参考:《计算机工程》2015年02期
【摘要】:故障注入技术是评价系统可靠性的有效方法。现有基于仿真的故障注入平台大多基于现场可编程门阵列或超高速集成电路硬件描述语言实现,对故障模型的支持非常有限。为此,基于Simics结构级模拟器,设计并实现系统级硬件故障注入平台。该平台上层支持不同固件、操作系统以及应用程序,底层支持对处理器典型流水部件的故障注入,同时实现瞬时故障、永久故障和间歇故障模型以及其他较全面的故障类型,并将一组系统级故障检测机制集成入平台中。实验通过监测硬件故障在系统级的传播,对比分析了故障对不同部件造成的系统级影响,结果表明,瞬时故障对系统影响较小,永久故障容易引起系统失效,间歇故障对各部件有不同程度的干扰作用。
[Abstract]:Fault injection technique is an effective method to evaluate the reliability of the system. Most of the existing simulation-based fault injection platforms are based on field programmable gate arrays or VLSI hardware description language, and the support for fault models is very limited. Therefore, the system level hardware fault injection platform is designed and implemented based on Simics structural simulator. The upper layer of the platform supports different firmware, operating systems and applications, while the bottom layer supports fault injection of typical pipelined components of the processor, and implements transient, permanent and intermittent fault models as well as other more comprehensive fault types. A set of system level fault detection mechanisms are integrated into the platform. By monitoring the propagation of hardware fault at the system level, the system level effect caused by the fault on different components is compared and analyzed. The results show that the transient fault has little effect on the system, and the permanent fault can easily cause the system failure. Intermittent faults have different degree of interference to each component.
【作者单位】: 清华大学信息科学与技术国家实验室;
【基金】:国家自然科学基金资助项目(61373025,61303002) 国家“863”计划基金资助项目(2012AA0100905) 高等学校博士学科点专项科研基金资助项目(20120002110032)
【分类号】:TP306
【共引文献】
相关博士学位论文 前1条
1 冯懿;复杂计算机系统可用性评测技术研究[D];哈尔滨工业大学;2013年
【相似文献】
相关期刊论文 前10条
1 王妍,徐叶茂;嵌入式计算机系统中的故障注入技术[J];舰船电子工程;2005年05期
2 谭玲,曲峰,董剑,杨孝宗;基于软件故障注入的容错性能评测技术[J];计算机工程与科学;2005年11期
3 彭俊杰;黄庆成;洪炳熔;李瑞;袁成军;;一种用于星载系统可靠性评测的软件故障注入工具[J];宇航学报;2005年06期
4 李志宇;黄考利;连光耀;;基于半实物仿真的故障注入系统设计[J];计算机测量与控制;2013年03期
5 孙峻朝,李运策,杨孝宗;故障注入研究的一种理论框架[J];小型微型计算机系统;1999年11期
6 仉俊峰;洪炳昒;乔永强;;基于软件方法故障注入系统[J];哈尔滨工业大学学报;2006年06期
7 黄永飞;彭欣洁;;常用电路的故障注入方法[J];航空兵器;2007年02期
8 郑宏超;范隆;岳素格;刘立全;;基于库替换技术的单粒子效应故障注入仿真[J];微电子学与计算机;2009年07期
9 潘庆和;洪炳昒;潘启树;;基于软件故障注入的星载系统错误传播研究[J];小型微型计算机系统;2012年07期
10 董剑,曲峰,刘宏伟,崔刚;嵌入式故障注入器HFI-4的研究与设计[J];小型微型计算机系统;2003年12期
相关会议论文 前10条
1 王勇;王婷婷;;基于故障注入的信息系统安全漏洞检测技术研究[A];全国计算机安全学术交流会论文集(第二十三卷)[C];2008年
2 胡嘉伟;江建慧;;一种面向软件可靠性评估的故障注入机制的设计与实现[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
3 李迎霞;龙翔;高小鹏;;串行总线故障注入系统的设计与实现[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
4 孔霞;董剑;曲峰;杨孝宗;;面向容错服务器的软件故障注入工具的研制[A];第十届全国容错计算学术会议论文集[C];2003年
5 佟向鹏;王文凤;;基于故障注入的系统测试方法及应用[A];全面建成小康社会与中国航空发展——2013首届中国航空科学技术大会论文集[C];2013年
6 谭兰芳;谭庆平;徐建军;李建立;;面向星载容错系统测评的故障注入技术研究及算法[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
7 刘伟娜;张翱;杨宏涛;张展;钱军;;消息驱动的故障注入自动化测试平台[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
8 周玉宇;尚利宏;吕紫旭;;基于虚拟机的单粒子翻转故障注入方法[A];第六届中国测试学术会议论文集[C];2010年
9 钱军;左德承;苗百利;杨孝宗;;基于JTAG的故障注入研究[A];第五届中国测试学术会议论文集[C];2008年
10 田增;朱英;巨鹏锦;曹华;;基于VPI的故障注入验证环境[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集(A辑)[C];2011年
相关博士学位论文 前4条
1 潘庆和;软件故障注入关键技术研究[D];哈尔滨工业大学;2011年
2 李爱国;分布式软件故障注入及软件脆弱点检测方法研究[D];哈尔滨工业大学;2007年
3 徐光侠;分布式实时系统的软件故障注入及可靠性评测方法研究[D];重庆大学;2011年
4 仉俊峰;星载计算机系统可靠性评测方法的研究[D];哈尔滨工业大学;2007年
相关硕士学位论文 前10条
1 李娟;基于故障注入的软件安全测试技术研究[D];中国科学技术大学;2009年
2 刘伟娜;面向安腾架构的高端容错机故障注入平台的设计与实现[D];哈尔滨工业大学;2010年
3 徐晓露;基于故障注入的嵌入式系统测试研究[D];浙江大学;2008年
4 柳卯;通讯故障注入测试系统的研究与实现[D];中山大学;2010年
5 刘丹;面向软件的故障注入工具的研究与实现[D];哈尔滨工业大学;2008年
6 吕文娟;软件故障注入及软件脆弱点检测方法研究[D];哈尔滨工业大学;2009年
7 朱鹏;星载SAR控制软件故障注入技术研究[D];中国科学院研究生院(电子学研究所);2004年
8 石晶;分布式系统的故障注入方法研究[D];哈尔滨工业大学;2008年
9 朱亮亮;基于核电数字控制系统的故障注入测试工具研究[D];燕山大学;2012年
10 谢家森;调试验证平台中闭环测试和故障注入的设计与实现[D];西安电子科技大学;2014年
,本文编号:1883135
本文链接:https://www.wllwen.com/kejilunwen/jisuanjikexuelunwen/1883135.html