| 摘要 | 第1-7页 |
| ABSTRACT | 第7-11页 |
| 第1章 绪论 | 第11-17页 |
| ·选题的目的和意义 | 第11-12页 |
| ·相关内容研究动态 | 第12-16页 |
| ·计算机可靠性及容错技术发展简史 | 第12-14页 |
| ·综合导航系统发展动态 | 第14-16页 |
| ·论文主要研究内容 | 第16-17页 |
| 第2章 可靠性、容错与嵌入式实时双机冗余系统 | 第17-37页 |
| ·系统可靠性 | 第17-19页 |
| ·容错方式 | 第19-27页 |
| ·硬件冗余技术 | 第19-22页 |
| ·软件冗余 | 第22-24页 |
| ·时间冗余 | 第24-26页 |
| ·信息冗余 | 第26-27页 |
| ·嵌入式实时双机冗余系统 | 第27-36页 |
| ·嵌入式实时系统 | 第27-30页 |
| ·实现实时双机冗余系统的关键技术 | 第30-36页 |
| ·本章小结 | 第36-37页 |
| 第3章 双机冗余综合导航信息处理系统总体设计 | 第37-46页 |
| ·舰船综合导航系统的一般构成 | 第37-38页 |
| ·综合导航系统功能需求分析 | 第38-39页 |
| ·双机冗余综合导航信息处理系统的构成 | 第39-40页 |
| ·单片机控制器设计 | 第40-42页 |
| ·KVM应用 | 第42-45页 |
| ·本章小结 | 第45-46页 |
| 第4章 双机冗余综合导航信息处理系统软件可靠性设计 | 第46-75页 |
| ·软件可靠性因素 | 第46-47页 |
| ·软件可靠性设计 | 第47-48页 |
| ·双机冗余综合导航信息处理计算机软件可靠性设计 | 第48-61页 |
| ·层次化、模块化避错设计 | 第48-51页 |
| ·软件错误检测技术 | 第51-55页 |
| ·软件容错技术 | 第55-61页 |
| ·系统接口模块软件设计 | 第61-71页 |
| ·串口软件设计 | 第61-64页 |
| ·以太网接口软件设计 | 第64-68页 |
| ·CAN接口软件设计 | 第68-71页 |
| ·系统信息处理模块软件设计 | 第71-74页 |
| ·信息预处理模块设计 | 第71-73页 |
| ·信息优化处理模块设计 | 第73-74页 |
| ·本章小结 | 第74-75页 |
| 第5章 双机冗余综合导航信息处理系统人机交互界面设计 | 第75-93页 |
| ·图形开发组件WINDML | 第75-77页 |
| ·WindML组成 | 第75-76页 |
| ·WindML功能 | 第76-77页 |
| ·系统人机交互界面分析 | 第77-80页 |
| ·人机交互界面性能要求 | 第77-78页 |
| ·人机交互界面概要设计 | 第78-80页 |
| ·系统人机交互界面详细设计 | 第80-86页 |
| ·WindML3.0配置 | 第80-81页 |
| ·人机交互界面代码设计 | 第81-86页 |
| ·系统运行测试 | 第86-91页 |
| ·测试环境的建立 | 第86-87页 |
| ·系统运行测试 | 第87-91页 |
| ·双机冗余综合导航系统可靠性分析 | 第91-92页 |
| ·本章小结 | 第92-93页 |
| 结论 | 第93-95页 |
| 参考文献 | 第95-99页 |
| 攻读硕士学位期间发表的论文和取得的科研成果 | 第99-100页 |
| 致谢 | 第100页 |