一个基于微处理器功能模型的可靠度评估系统  

A Dependability Evaluation System Based on Microprocessor Function Model

作　　者：张仕健[1] 许彤[1] 章隆兵[1] 胡伟武[1] 

机构地区：[1]中国科学院计算技术研究所计算机系统结构重点实验室

出　　处：《计算机学报》2008年第3期391-399,共9页Chinese Journal of Computers

基　　金：国家“九七三”重点基础研究发展规划项目基金(2005CB321600);国家自然科学基金杰出青年基金项目“计算机系统结构研究”(60325205);国家自然科学基金(60673146,60703017);北京市自然科学基金(4072024)资助

摘　　要：随着以嵌入式微处理器为核心的容错系统在航空、航天、核电等高可靠领域的广泛应用,如何迅速、方便、低成本地评估这些系统中的容错机制是一个重要的问题.传统的可靠度评估方法需要一个详细的硬件原型才能进行评估,周期长、成本高,因此文中提出了一个基于微处理器功能模型的可靠度评估技术,构建了一个纯软件的可靠度评估系统.和已有的系统相比,该系统评估周期短、控制方便、成本低廉.使用该系统评估软件实现的指令冗余技术、软件实现的断言技术和硬件实现的重复取指执行技术的实验结果表明,该系统的评估是合理的.With the widespread adoption of embedded microprocessor-based systems in safety critical applications, such as aircrafts, spaceships and nuclear power plants, how to rapidly and conveniently evaluate these fault-tolerant mechanisms with low cost is an important problem. The traditional method requires a detailed hardware protocol to do evaluation, which lengthens evaluation period and increases the cost. A new dependability evaluation technique based on microprocessor function model is proposed, which can evaluate fault-tolerant mechanisms more rapidly, more conveniently and more economically than the conventional systems. As a case for study, the new system evaluates three fault-tolerant techniques： the software redundancy technique, the assertion validation technique and the instruction re-fetching and re-execution technique. The resuits show that the evaluation is reasonable.

关 键 词：故障注入 可靠度评估 容错技术 微处理器 瞬态故障 

分 类 号：TP303[自动化与计算机技术—计算机系统结构]