共查询到18条相似文献,搜索用时 140 毫秒
1.
基于二乘二取二平台的通信设计简 总被引:1,自引:0,他引:1
周夏芳 《铁路通信信号工程技术》2014,(1):59-61
二乘二取二平台是能够满足铁路信号控制系统高安全性、高可靠性要求的安全平台.围绕二乘二取二系统中的乘二、取二、冗余通信3项关键技术,对与之相关的外部通信设计方法进行分析探讨. 相似文献
2.
3.
4.
5.
《铁路通信信号工程技术》2014,(1)
二乘二取二平台是能够满足铁路信号控制系统高安全性、高可靠性要求的安全平台。围绕二乘二取二系统中的乘二、取二、冗余通信3项关键技术,对与之相关的外部通信设计方法进行分析探讨。 相似文献
6.
7.
一种二乘二取二安全计算机的设计与实现 总被引:2,自引:1,他引:1
结合列控系统车载设备需求,提出一种二乘二取二安全计算机的设计方案,并对主备通道选择、通道内双机同步、通道切换等关键算法进行了研究。经过实验室的功能测试和安全测试,该二乘二取二安全计算机能够满足实时性、安全性、可用性的需要。 相似文献
8.
为了更好地满足城市轨道交通互联互通对信号领域安全通信的要求,将具有数据吞吐量大、传输时间确定、故障隔离严格、容错性好等特点的ARINC659总线用于城市轨道交通信号控制系统领域。提出了一种基于ARINC659总线技术的二乘二取二安全通信计算机平台的方案,用以实现ZC平台的对外通信功能和安全通信协议运算功能。设计其软硬件结构、用户软件和总线间线程的通信序列,并对数据的冗余处理和安全协议运算等关键功能进行研究,以满足系统高安全性、高可靠性和高实时性通信的需求。 相似文献
9.
二乘二取二硬件安全冗余信号控制平台关键部件的安全设计和可靠性研究 总被引:3,自引:0,他引:3
AT96DDMR信号安全控制平台是具有安全硬件冗余结构的二乘二取二信号控制平台,其结构可分为操作显示层、逻辑运算层和输入输出层3个层次,关键的逻辑运算层、输入输出层达到安全完整性SIL4级要求。重点对关键部件的安全性设计方法、可靠性预计进行描述及计算。 相似文献
10.
针对二乘二取二的高安全、高可靠等级系统,介绍二乘二取二结构工作中系统同步和切机控制的原理,通过研究分析,提出一种多点冗余的系统设计方案,描述了系统组成、双机之间工作关系、多点冗余之间连接关系、各冗余双机输出的切机方法。通过实践证明,此种设计方案能够满足对于复杂、不间断、高稳定性场景的使用需求。 相似文献
11.
基于动态故障树的计算机联锁系统可靠性及性能分析研究 总被引:2,自引:0,他引:2
国内外关于动态冗余结构系统可靠性分析问题的主要方法是马尔科夫模型,然而,对于二乘二取二的相对复杂的冗余系统,使用马尔科夫模型进行分析时,其状态空间的规模与双机热备系统相比具有较大增长,致使其建模过程及求解过程十分繁琐.本文旨在使用动态故障树方法对二乘二取二系统的可靠性分析进行建模与求解,同时通过可靠性和安全性曲线,与双... 相似文献
12.
13.
14.
本文分析列车自动防护(ATP)系统的结构和功能需求,建立系统的时间自动机模型,采用UPPAAL模型验证工具对模型的活性和安全性进行验证.结果表明,采用时间自动机对安全苛求实时系统进行建模与验证,可以有效地保证系统的可靠性和实时性. 相似文献
15.
为了实现列车在不同厂商提供设备的城市轨道交通线路或网络中安全运营、共线混跑以及资源共享,基于通信的列车控制系统互联互通已成为一个重要课题。根据正在起草的互联互通的行业技术规范,为满足不因通信中断而倒机的需求,提出一种实现区域控制中心与其他信号系统通信的专用二乘二取二安全通信计算机的方案,设计其软硬件系统结构、平台内部冗余的连接方式,对单系内的双CPU同步和数据安全比较、双系间的主备同步等关键算法进行研究,并针对安全通信协议中描述的风险设计相应的防御措施。 相似文献
16.
二乘二取二与双机热备计算机联锁系统性能比较 总被引:3,自引:1,他引:2
计算机联锁系统是铁路信号的重要基础设备.随着铁路信号技术的更新换代,近年来二乘二取二和双机热备成为我国铁路联锁系统的2种主流制式.从系统的实际应用出发,利用马尔可夫模型,充分考虑了故障覆盖率、维修率等因素的影响,对系统的可靠性与安全性进行了深入分析;通过MTTF值和可靠度、安全度曲线比较了2种系统的性能.论文分析结果对计算机联锁系统的应用与推广具有切实的指导意义. 相似文献
17.
详细介绍TYJL-ADX型二乘二取二计算机联锁系统的构成、系统特点、系统原理以及脱机测试方案等技术. 相似文献
18.
基于MSC与UPPAAL的高铁跨界临时限速建模与验证 总被引:2,自引:2,他引:0
《铁道标准设计通讯》2016,(10):126-131
临时限速服务器是高铁列控系统的重要组成部分,其不仅要校验CTC下发的临时限速命令,还要与相邻调度台临时限速服务器之间进行频繁的信息交互,因此对其安全性和实时性要求也更苛刻。为了满足高铁列控系统对其运行的要求,采用时间自动机理论和消息顺序图(MSC)相结合的方法,首先建立跨界临时限速命令的MSC模型和时间自动机子模型,再利用UPPAAL验证工具对形式化语法BNF描述的时间自动机子模型属性进行验证。根据仿真验证结果确认了跨界临时限速信息的安全性和受限活性,为进一步开发临时限速服务器功能提供了重要的依据。 相似文献