| 摘要 | 第5-6页 |
| abstract | 第6页 |
| 第一章 绪论 | 第10-24页 |
| 1.1 研究背景 | 第10-11页 |
| 1.2 国内外研究现状 | 第11-22页 |
| 1.2.1 容错飞控计算机架构国内外发展现状 | 第11-16页 |
| 1.2.2 容错飞控计算机可靠性验证评估技术国内外研究现状 | 第16-21页 |
| 1.2.3 全系统仿真国内外研究现状 | 第21-22页 |
| 1.3 论文主要研究内容与结构 | 第22-24页 |
| 第二章 容错技术与全系统仿真技术概述 | 第24-32页 |
| 2.1 容错技术概述 | 第24-26页 |
| 2.1.1 容错技术分类 | 第24页 |
| 2.1.2 容错系统设计 | 第24-26页 |
| 2.2 全系统仿真技术概述 | 第26-31页 |
| 2.2.1 全系统仿真器SIMICS的介绍 | 第27-28页 |
| 2.2.2 Event机制分析 | 第28-29页 |
| 2.2.3 Simics存储器技术 | 第29-30页 |
| 2.2.4 Simics通信技术 | 第30-31页 |
| 2.3 本章小结 | 第31-32页 |
| 第三章 容错飞控计算机架构设计 | 第32-52页 |
| 3.1 余度数目选择 | 第32-41页 |
| 3.1.1 二余度飞控计算机架构 | 第32-34页 |
| 3.1.2 三余度飞控计算机架构 | 第34-37页 |
| 3.1.3 四余度飞控计算机架构 | 第37-39页 |
| 3.1.4 余度数选择 | 第39-41页 |
| 3.2 自监控对数目选择 | 第41-43页 |
| 3.3 飞控计算机硬件系统结构 | 第43-46页 |
| 3.4 余度管理设计 | 第46-49页 |
| 3.5 交叉数据传输方式 | 第49-50页 |
| 3.6 同步方式设计 | 第50-51页 |
| 3.7 本章小结 | 第51-52页 |
| 第四章 容错飞控计算机验证平台的设计与实现 | 第52-77页 |
| 4.1 飞控计算机验证平台总体方案 | 第52-60页 |
| 4.1.1 三余度自监控对飞控计算机虚拟化建模方案 | 第52-54页 |
| 4.1.2 故障注入可靠性分析软件设计方案 | 第54-60页 |
| 4.2 基于三余度自监控对的飞控计算机功能模块建模 | 第60-69页 |
| 4.2.1 CPU核模型搭建 | 第60-61页 |
| 4.2.2 存储器模块的建模 | 第61页 |
| 4.2.3 1394总线建模 | 第61-63页 |
| 4.2.4 模拟量/离散量输入输出模型搭建 | 第63页 |
| 4.2.5 同步逻辑建模 | 第63-65页 |
| 4.2.6 看门狗建模 | 第65-66页 |
| 4.2.7 定时器建模 | 第66-67页 |
| 4.2.8 通信控制模块搭建 | 第67-68页 |
| 4.2.9 故障注入逻辑 | 第68-69页 |
| 4.3 基于故障注入的可靠性分析软件设计 | 第69-76页 |
| 4.3.1 故障注入可靠性分析软件整体结构 | 第69-70页 |
| 4.3.2 界面设计 | 第70-73页 |
| 4.3.3 通信模块设计 | 第73页 |
| 4.3.4 故障注入逻辑设计 | 第73-74页 |
| 4.3.5 可靠性分析模块设计 | 第74-76页 |
| 4.4 本章小结 | 第76-77页 |
| 第五章 基于验证平台的容错飞行控制计算机验证分析 | 第77-93页 |
| 5.1 系统整体虚拟化验证平台 | 第77-78页 |
| 5.2 系统各模块功能验证 | 第78-88页 |
| 5.2.1 CPU核模型的功能测试与验证 | 第78-79页 |
| 5.2.2 存储器模型功能测试与验证 | 第79-80页 |
| 5.2.3 模拟量模型功能测试与验证 | 第80页 |
| 5.2.4 离散量模型功能测试与验证 | 第80-81页 |
| 5.2.5 看门狗模型功能测试与验证 | 第81页 |
| 5.2.6 通道间同步模型测试与验证 | 第81-82页 |
| 5.2.7 定时器功能测试与验证 | 第82-83页 |
| 5.2.8 1394总线模型测试与验证 | 第83-86页 |
| 5.2.9 寄存器故障注入功能测试与验证 | 第86-87页 |
| 5.2.10 FLASH和RAM故障注入功能测试与验证 | 第87-88页 |
| 5.3 系统验证分析 | 第88-92页 |
| 5.3.1 基于覆盖率的可靠性评测 | 第88-90页 |
| 5.3.2 基于重要度的硬件评测 | 第90-91页 |
| 5.3.3 基于故障树的系统功能验证 | 第91-92页 |
| 5.4 本章小结 | 第92-93页 |
| 第六章 总结与展望 | 第93-94页 |
| 6.1 工作总结 | 第93页 |
| 6.2 工作展望 | 第93-94页 |
| 致谢 | 第94-95页 |
| 参考文献 | 第95-98页 |
