《计算机学报》文章摘要   全文下载
文章题目	一个基于微处理器功能模型的可靠度评估系统
作者	张仕健1),2) 许彤1),2) 章隆兵1) 胡伟武1)
作者单位	1)(中国科学院计算技术研究所计算机系统结构重点实验室 北京 100080) 2)(中国科学院研究生院 北京 100039)
发表年份	2008
发表月份	3期(391—399)
文章摘要	摘要 随着以嵌入式微处理器为核心的容错系统在航空、航天、核电等高可靠领域的广泛应用，如何迅速、方便、低成本地评估这些系统中的容错机制是一个重要的问题.传统的可靠度评估方法需要一个详细的硬件原型才能进行评估，周期长、成本高，因此文中提出了一个基于微处理器功能模型的可靠度评估技术，构建了一个纯软件的可靠度评估系统.和已有的系统相比，该系统评估周期短、控制方便、成本低廉.使用该系统评估软件实现的指令冗余技术、软件实现的断言技术和硬件实现的重复取指执行技术的实验结果表明，该系统的评估是合理的. 关键词 故障注入；可靠度评估；容错技术；微处理器；瞬态故障