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

随着以嵌入式微处理器为核心的容错系统在航空、航天、核电等高可靠领域的广泛应用,如何迅速、方便、低成本地评估这些系统中的容错机制是一个重要的问题.传统的可靠度评估方法需要一个详细的硬件原型才能进行评估,周期长、成本高,因此文中提出了一个基于微处理器功能模型的可靠度评估技术,构建了一个纯软件的可靠度评估系统.和已有的系统相比,该系统评估周期短、控制方便、成本低廉.使用该系统评估软件实现的指令冗余技术、软件实现的断言技术和硬件实现的重复取指执行技术的实验结果表明,该系统的评估是合理的.

A Dependability Evaluation System Based on Microprocessor Function Model

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 results show that the evaluation is reasonable.