面向CBTC系统的安全计算机平台设计
| 致谢 | 第5-6页 |
| 摘要 | 第6-7页 |
| ABSTRACT | 第7-8页 |
| 1 引言 | 第11-17页 |
| 1.1 研究背景及意义 | 第11-12页 |
| 1.2 国内外安全计算机研究现状 | 第12-14页 |
| 1.3 论文研究内容及体系构架 | 第14-17页 |
| 2 安全计算机系统结构及SOPC技术 | 第17-29页 |
| 2.1 安全计算机的技术原理 | 第17-18页 |
| 2.2 安全计算机系统结构 | 第18-22页 |
| 2.2.1 双机热备结构 | 第18-19页 |
| 2.2.2 三取二结构 | 第19-20页 |
| 2.2.3 二乘二取二结构 | 第20-22页 |
| 2.3 SOPC技术与二乘二取二安全构架 | 第22-29页 |
| 2.3.1 可编程器件技术 | 第22-24页 |
| 2.3.2 Nios Ⅱ软核处理器 | 第24-26页 |
| 2.3.3 SOPC多核技术与安全计算机系统 | 第26-29页 |
| 3 双核NIOS Ⅱ的二取二结构设计 | 第29-49页 |
| 3.1 Nios Ⅱ双核处理器系统构建 | 第29-36页 |
| 3.1.1 SOPC系统的一般开发流程 | 第30-31页 |
| 3.1.2 双核NiosⅡ系统构建 | 第31-36页 |
| 3.2 二取二总线比较器设计 | 第36-49页 |
| 3.2.1 总线比较器整体方案实现 | 第36-38页 |
| 3.2.2 各模块的具体实现 | 第38-49页 |
| 4 二乘二取二安全计算机系统的实现 | 第49-69页 |
| 4.1 系统总体构架设计 | 第49-51页 |
| 4.2 硬件电路设计 | 第51-59页 |
| 4.2.1 CPU模块 | 第51-52页 |
| 4.2.2 CAN通信模块设计 | 第52-54页 |
| 4.2.3 串口通信模块 | 第54-56页 |
| 4.2.4 以太网通信模块 | 第56-58页 |
| 4.2.5 自检模块 | 第58页 |
| 4.2.6 双系通信模块 | 第58-59页 |
| 4.2.7 电源模块 | 第59页 |
| 4.3 软件工程设计 | 第59-69页 |
| 4.3.1 SOPC系统的软件开发流程 | 第60-62页 |
| 4.3.2 软件分析实现 | 第62-69页 |
| 5 安全计算机平台分析与测试 | 第69-89页 |
| 5.1 RAMS需求分析 | 第69-71页 |
| 5.1.1 RAMS定义 | 第69-70页 |
| 5.1.2 RAMS的指标需求 | 第70-71页 |
| 5.2 Markov分析法 | 第71-74页 |
| 5.2.1 Markov数学模型 | 第71-73页 |
| 5.2.2 运行状态转移参数 | 第73-74页 |
| 5.3 安全计算机平台RAMS分析 | 第74-80页 |
| 5.4 单芯片多核二乘二取二结构的优势分析 | 第80-83页 |
| 5.5 安全计算机平台仿真与测试 | 第83-89页 |
| 6 结论 | 第89-91页 |
| 参考文献 | 第91-95页 |
| 图索引 | 第95-98页 |
| 表索引 | 第98-99页 |
| 作者简历及攻读硕士学位期间取得的研究成果 | 第99-103页 |
| 学位论文数据集 | 第103页 |
