原文传递
基于EN50129的二乘二取二计算平台中的安全性研究
| 论文题名： | 基于EN50129的二乘二取二计算平台中的安全性研究 |
| 关键词： | 铁路信号;二乘二取二计算平台;安全完整性;故障分析 |
| 摘要： | 随着中国铁路的飞速发展，客运专线和高速铁路相继开始建设，这使铁路信号传输量大大增加，对计算机联锁系统的安全性、可靠性提出了更高的要求。为保证计算的安全性和可靠性，国内铁路信号设备广泛采用二乘二取二计算机联锁系统，它可以减小单个CPU在运算过程中受外界环境干扰或操作系统、编译器等部件故障导致运算错误所带来的安全风险。同时，欧洲的EN5012X系列标准渐渐被国内所接受，按照欧洲铁路信号安全标准，并在欧洲安全标准指导下，开发符合其规定的安全等级的计算机联锁产品，是提高自主研发的计算机联锁系统安全性和可靠性的一种有效途径。 本文的重点研究内容是二乘二取二计算平台的可靠性与安全性分析方法和安全保证措施。一方面，在对二乘二取二安全计算平台系统研究的基础上，建立平台结构模型，证明其可靠性；另一方面，深入学习与研究了铁路欧洲标准EN5012X，借鉴其思想规范和要求，将安全完整性理论引入到平台的故障分析与安全设计中。在对系统运行过程中存在的潜在风险进行深入分析后，采用故障树方法对可能造成系统故障的各种因素进行识别，对其评估量化，从而确定系统的安全完整性目标。 为达到系统安全性目标，作者研究降低风险发生概率的安全策略，运用技术和管理的手段控制故障，并尝试通过理论计算和实验模拟两种方式证明策略的有效性。结论表明，我们采取的安全保证措施在很大程度上降低了风险发生的概率，达到安全标准的安全等级要求，从而保证系统安全性。 |
| 作者： | 祝新玲 |
| 专业： | 计算机科学与技术 |
| 导师： | 罗四维 |
| 授予学位： | 硕士 |
| 授予学位单位： | 北京交通大学 |
| 学位年度： | 2009 |
| 正文语种： | 中文 |
检索历史
应用推荐
