基于CPU调试技术的软件故障注入器设计

来源 :第十三届全国容错计算学术会议 | 被引量 : 0次 | 上传用户:bbdzj
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
故障注入技术是评价系统可信性的一项重要手段。软件故障注入技术(SWIFI)因其价格低廉、易于移植等优点被人们广泛地用于故障注入领域。根据软件故障注入技术的思想,介绍一种基于CPU调试技术的软件故障注入器的设计方法,利用微处理器的调试功能,实现最小干扰的故障注入。该技术具有故障触发条件多样,注入故障接近真实故障,可移植性等优点,是一种有效的故障注入方法。
其他文献
本文提出一种代理移动IPv6(PMIPv6)网络容错方法,解决PMIPv6中两类移动管理实体,区域移动锚点LMA和移动接入网关MAG的可靠性问题。针对PMIPv6中LMA的单点故障问题,在同一PMIPv6
会议
目的探讨结直肠癌患者围手术期肠内营养支持治疗的临床效果。方法选取择期手术的74例结直肠癌患者,随机分为观察组和对照组,每组各37例。对照组患者给予传统营养支持,观察组
移动自组网与Internet互联是一种发展趋势。本文针对IPv6网络提出了一种基于多网关协同的自组网接入Internet协议,在AODV6协议和Mobile IPv6协议基础上增加两种特殊控制报文GW
为了提高∑-△ADC调制器的可测试性和减小总的测试价格,本文提出了一种全数字的开关电容∑-△调制器可测性设计(DFT)方法。在测试模武下,通过复用被测∑-△调制器自身包含的一
医院牙科是发生医源性感染的重要场所。为了解萧山市个体牙科诊所的消毒工作现状 ,防止医院感染的发生。我们于1999年 ,对本市领取行医执照的 42家个体牙科诊所的消毒工作进
传统模拟验证方法和形武化验证方法在面临复杂大规模设计时,性能和处理能力的缺陷日益突出。为了融合二者的优点,避免各自不足,本文改进并实现了一种半形式化的验证方法。首先,提
会议
在超深亚微米工艺下,为了处理日益严重的互连线串扰效应,减缓互连线时延对系统整体性能的制约,研究人员提出了多种面向长互连线的可靠性设计方法。本文介绍了近期国际上对互连线
随着CMOS工艺的不断进步,单个芯片上集成的晶体管数目越来越多,使得由高能粒子辐射产生的软错误已经成为影响处理器可靠性的重要因素。量化分析软错误对不同结构的影响,已成为指
商品房供应量继续萎缩2007年3月北京市建委共批准销售许可证27张,涉及项目数为26个,总批准销售面积为118.7万平方米。与去年同期相比,项目数减少了近一半,供应面积也减少了34
无线传感器网络节点通常面临两种打击:随机性打击和选择性打击,从而直接或间接地导致部分或整个网络的瓦解。本文从特定的以数据为中心的无线传感器网络拓扑结构出发;首先给出