论文部分内容阅读
本文将高可信计算机系统的设计过程分为四个阶段，分别讨论了各阶段中用于获取系统可信性的容错技术、避错技术和可信性评价技术的应用。
In this paper, the design process of highly trusted computer system is divided into four stages, and the application of fault-tolerant technology, error-avoidance technology and reliability evaluation technology to obtain system credibility in each stage are discussed respectively.