基于EN50129的二乘二取二计算平台中的安全性研究
| 致谢 | 第1-6页 |
| 摘要 | 第6-7页 |
| ABSTRACT | 第7-8页 |
| 序 | 第8-12页 |
| 1 绪论 | 第12-19页 |
| ·研究计算机联锁系统的背景和意义 | 第12-14页 |
| ·研究背景 | 第12-14页 |
| ·研究意义 | 第14页 |
| ·计算机联锁系统的发展现状 | 第14-17页 |
| ·双机热备型联锁机 | 第15页 |
| ·三取二容错联锁机 | 第15-16页 |
| ·二乘二取二联锁计算机 | 第16-17页 |
| ·主要研究工作 | 第17页 |
| ·论文安排 | 第17-19页 |
| 2 欧洲铁路信号标准 | 第19-28页 |
| ·EN5012X标准理解 | 第19-20页 |
| ·EN50129标准 | 第20-22页 |
| ·质量管理 | 第20页 |
| ·安全管理 | 第20-22页 |
| ·EN50128标准 | 第22-27页 |
| ·软件生命周期 | 第23-24页 |
| ·软件生命周期活动 | 第24-26页 |
| ·质量保证措施 | 第26-27页 |
| ·小结 | 第27-28页 |
| 3 二乘二取二安全计算平台的设计思想 | 第28-36页 |
| ·系统构成 | 第28页 |
| ·系统功能 | 第28-33页 |
| ·逻辑结构层次 | 第28-29页 |
| ·安全控制层的构成 | 第29-31页 |
| ·安全控制层提供的服务 | 第31页 |
| ·系统流程图 | 第31-33页 |
| ·系统安全完整性 | 第33-35页 |
| ·小结 | 第35-36页 |
| 4 二乘二取二安全计算平台故障分析 | 第36-52页 |
| ·可靠性分析理论 | 第36-38页 |
| ·安全计算平台结构 | 第38-39页 |
| ·处理要素功能设计 | 第38页 |
| ·比较判别要素设计 | 第38-39页 |
| ·安全计算平台危险分析 | 第39-51页 |
| ·故障引起的危险分析 | 第40-42页 |
| ·错误引起的危险分析 | 第42-48页 |
| ·故障控制 | 第48-51页 |
| ·小结 | 第51-52页 |
| 5 二乘二取二计算平台的安全保证 | 第52-60页 |
| ·安全管理过程 | 第52-54页 |
| ·需求阶段 | 第52页 |
| ·设计阶段 | 第52-53页 |
| ·实现阶段 | 第53页 |
| ·测试阶段 | 第53-54页 |
| ·系统安全结构 | 第54-55页 |
| ·安全比较策略 | 第55-56页 |
| ·比较策略 | 第55页 |
| ·比较分析 | 第55-56页 |
| ·安全通信策略 | 第56-59页 |
| ·系统安全通信结构 | 第56-57页 |
| ·安全码 | 第57-58页 |
| ·序列号 | 第58-59页 |
| ·超时 | 第59页 |
| ·小结 | 第59-60页 |
| 6 网络模拟系统 | 第60-74页 |
| ·Fault-sim的设计特点 | 第60页 |
| ·Fault-sim的实现细节 | 第60-64页 |
| ·模拟器实现 | 第60-61页 |
| ·模拟流程 | 第61页 |
| ·安全策略 | 第61-64页 |
| ·模拟试验 | 第64-72页 |
| ·评估参数介绍 | 第64-65页 |
| ·模拟参数配置 | 第65-67页 |
| ·模拟过程信息 | 第67-68页 |
| ·试验结果分析 | 第68-72页 |
| ·小结 | 第72-74页 |
| 7 结论 | 第74-75页 |
| 参考文献 | 第75-77页 |
| 作者简历 | 第77-79页 |
| 学位论文数据集 | 第79页 |
