电子联锁系统安全计算平台的研究与实现
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-10页 |
| 1 引言 | 第10-16页 |
| ·研究背景及意义 | 第10-12页 |
| ·电子联锁系统 | 第10-11页 |
| ·COTS的概念 | 第11页 |
| ·选题意义 | 第11-12页 |
| ·国内外研究现状 | 第12-14页 |
| ·国外研究现状 | 第12-13页 |
| ·国内研究现状 | 第13-14页 |
| ·论文的主要工作内容 | 第14-16页 |
| 2 电子联锁系统与COTS技术 | 第16-27页 |
| ·车站信号控制系统 | 第16-21页 |
| ·电子联锁系统 | 第16-19页 |
| ·铁路信号安全标准 | 第19-20页 |
| ·电子联锁系统安全计算平台的技术指标 | 第20-21页 |
| ·COTS技术 | 第21-23页 |
| ·基于COTS的系统开发过程 | 第23-27页 |
| ·COTS计算机单元的选用原则 | 第23-25页 |
| ·系统开发步骤 | 第25-27页 |
| 3 安全计算平台的设计 | 第27-47页 |
| ·平台设计面临的技术问题 | 第27-30页 |
| ·使用COTS带来的问题 | 第27-28页 |
| ·容错的实现 | 第28-30页 |
| ·故障─安全 | 第30页 |
| ·二乘二取二体系结构设计 | 第30-37页 |
| ·平台整体结构 | 第31-32页 |
| ·以太网通信 | 第32-35页 |
| ·CAN总线安全通信设计 | 第35-37页 |
| ·E~2Brain COTS计算单元 | 第37-39页 |
| ·操作系统定制 | 第39-47页 |
| ·安全平台对操作系统的要求 | 第39-40页 |
| ·Linux操作系统 | 第40-43页 |
| ·定制安全平台的Linux系统 | 第43-47页 |
| 4 平台软件的实现 | 第47-60页 |
| ·平台软件系统结构 | 第47-49页 |
| ·通信模块的实现 | 第49-52页 |
| ·网络通信API | 第49-50页 |
| ·可靠通信设计 | 第50-52页 |
| ·应用任务级同步设计 | 第52-56页 |
| ·容错系统的同步方式 | 第52-53页 |
| ·任务同步的算法描述 | 第53-54页 |
| ·软件同步表决的实现 | 第54-56页 |
| ·自诊断模块的实现 | 第56-57页 |
| ·利用错误信息进行自检测 | 第56-57页 |
| ·故障检测的软件技术 | 第57页 |
| ·平台仿真软件 | 第57-60页 |
| 5 平台的性能分析 | 第60-65页 |
| ·平台可靠性安全性分析 | 第60-62页 |
| ·平台实时性研究 | 第62-65页 |
| 6 结论 | 第65-67页 |
| 参考文献 | 第67-69页 |
| 作者简历 | 第69-71页 |
