| 中文摘要 | 第1-6页 |
| ABSTRACT | 第6-9页 |
| 1 概述 | 第9-13页 |
| ·选题的目的和意义 | 第9-10页 |
| ·安全计算机的研究情况 | 第10-12页 |
| ·故障安全的概念 | 第10-11页 |
| ·COTS 技术及安全计算机系统的发展情况 | 第11-12页 |
| ·本文的主要工作 | 第12-13页 |
| 2 基于COTS 的二乘二取二安全计算机系统 | 第13-23页 |
| ·现有常用容错计算机系统结构 | 第13-16页 |
| ·双机热备容错计算机的结构介绍 | 第13-15页 |
| ·三模容错计算机系统的结构介绍 | 第15-16页 |
| ·基于COTS 的二乘二取二安全计算机的系统结构 | 第16-23页 |
| ·二乘二取二安全计算机系统的提出 | 第16-18页 |
| ·COTS 技术简介及在本系统中的应用 | 第18-20页 |
| ·vxWorks 实时操作系统简介及在本系统中的应用 | 第20-23页 |
| 3 基于COTS 的二乘二取二安全计算机系统设计 | 第23-45页 |
| ·系统的总体结构 | 第23-29页 |
| ·系统的硬件结构 | 第23-25页 |
| ·系统各单元的模式状态 | 第25-26页 |
| ·系统的软件实现 | 第26-29页 |
| ·系统同步和数据比较设计 | 第29-31页 |
| ·系统同步设计 | 第29-30页 |
| ·数据比较设计 | 第30-31页 |
| ·通道间的关系和切换的实现 | 第31-38页 |
| ·通道间的关系及确定原则 | 第31-32页 |
| ·主备跟随关系及切换的实现 | 第32-38页 |
| ·系统通信的实现 | 第38-43页 |
| ·系统通信协议设计 | 第38-42页 |
| ·系统内的数据流向 | 第42-43页 |
| ·系统的安全性策略 | 第43-45页 |
| 4 基于COTS 的二乘二取二安全计算机系统的动态故障树分析 | 第45-57页 |
| ·FTA 分析方法 | 第45-51页 |
| ·FTA 分析介绍 | 第45-46页 |
| ·FTA 分析的特点和一般分析步骤 | 第46-47页 |
| ·动态FTA 分析 | 第47-51页 |
| ·二乘二取二安全计算机系统动态故障树分析 | 第51-57页 |
| ·动态故障树建模 | 第51-53页 |
| ·分析和计算 | 第53-57页 |
| 5 结论 | 第57-58页 |
| 参考文献 | 第58-60页 |
| 作者简历 | 第60-61页 |