文章简单介绍了高可信赖测控计算机的设计和实现