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