共查询到20条相似文献,搜索用时 125 毫秒
1.
二乘二取二冗余结构以其高安全性和高可靠性特点,被广泛应用于核电、航空航天和铁路等安全关键领域。为验证二乘二取二冗余结构的核心逻辑,保证其高安全性和高可靠性的要求,对二乘二取二逻辑进行建模与验证。基于时间自动机理论,以列控车载ATP子系统二乘二取二冗余逻辑为研究对象,在分析工作原理的基础上,利用UPPAAL工具建立二乘二取二冗余逻辑的时间自动机模型,分别验证二乘、二取冗余逻辑的基本安全属性。根据验证后的软件逻辑模型,实现冗余逻辑仿真。模型构建与程序仿真的结果表明:车载ATP二乘二取二冗余逻辑结构具有高安全性与高可靠性。 相似文献
2.
乐建锐 《铁路通信信号工程技术》2020,(5):52-56
简述LCU的发展3个阶段,针对城轨地铁车辆应用,介绍一种基于二乘二取二冗余-安全控制架构技术的下一代LCU的原理、组成和故障诊断方案,相较于双机热备冗余的LCU,能够获得更高的安全性和可靠性。 相似文献
3.
基于二乘二取二平台的通信设计简 总被引:1,自引:0,他引:1
周夏芳 《铁路通信信号工程技术》2014,(1):59-61
二乘二取二平台是能够满足铁路信号控制系统高安全性、高可靠性要求的安全平台.围绕二乘二取二系统中的乘二、取二、冗余通信3项关键技术,对与之相关的外部通信设计方法进行分析探讨. 相似文献
4.
基于动态故障树的计算机联锁系统可靠性及性能分析研究 总被引:2,自引:0,他引:2
国内外关于动态冗余结构系统可靠性分析问题的主要方法是马尔科夫模型,然而,对于二乘二取二的相对复杂的冗余系统,使用马尔科夫模型进行分析时,其状态空间的规模与双机热备系统相比具有较大增长,致使其建模过程及求解过程十分繁琐.本文旨在使用动态故障树方法对二乘二取二系统的可靠性分析进行建模与求解,同时通过可靠性和安全性曲线,与双... 相似文献
5.
提出了CBTC车载子系统二乘二取二软件平台中双机任务同步,二取二双CPU数据比较以及双系之间的状态调整等关键算法的一种可行方案.通过实验室测试证明了设计方案的正确性、可行性和有效性. 相似文献
6.
基于二乘二取二的全电子计算机联锁系统 总被引:1,自引:0,他引:1
基于二乘二取二的铁路车站全电子计算机联锁系统由人机接口、二乘二取二联锁计算机、全电子执行系统3部分组成。人机接口由监控机、维修监测机组成。二乘二取二联锁计算机由2套联锁主机、冗余光纤网络和冗余热备的实时通信单元3部分组成。CPU主板由2路独立的CPU处理器、总线硬件比较控制器、硬件自检控制器、硬件同步控制器、I/F控制部件、全局冗余时钟和光纤通信接口组成。通过采取硬件同步控制器、总线硬件比较控制器和软件时间点同步相结合的方式实现1种新的同步机制。全电子执行系统由道岔模块、信号模块、轨道模块和其他接口模块等全电子执行单元构成。全电子执行单元均采用"二取二"与逻辑控制结构,具有过流保护功能,实现了信号的控制、监测、监督一体化。该系统已在铁路车站投入应用,运行稳定、可靠。 相似文献
7.
以JD-1A计算机联锁系统与EI32-JD计算机联锁系统为例,从系统的安全性、系统结构、输入输出系统及采集、驱动电路等方面,对双机热备和二乘二取二计算机联锁系统进行了分析和比较. 相似文献
8.
9.
10.
《铁路通信信号工程技术》2014,(1)
二乘二取二平台是能够满足铁路信号控制系统高安全性、高可靠性要求的安全平台。围绕二乘二取二系统中的乘二、取二、冗余通信3项关键技术,对与之相关的外部通信设计方法进行分析探讨。 相似文献
11.
一种二乘二取二安全计算机的设计与实现 总被引:2,自引:1,他引:1
结合列控系统车载设备需求,提出一种二乘二取二安全计算机的设计方案,并对主备通道选择、通道内双机同步、通道切换等关键算法进行了研究。经过实验室的功能测试和安全测试,该二乘二取二安全计算机能够满足实时性、安全性、可用性的需要。 相似文献
12.
13.
二取二制式计算机联锁系统中的通信技术 总被引:3,自引:2,他引:1
对二取二制式计算机联锁系统中的一项关键技术--通信技术进行研究.工作联锁机与备用联锁机之间的通信,是两台联锁机实现系统级同步的必要条件,也是整个系统实现故障安全防护(故障倒机)的必要前提.从数据分包方式、收发调度机制和差错处理原则等几个方面的分析表明,其工作模式简单、双机同步迅速、信息传输安全.上位机与联锁机之间的通信,采用冗余的通信网以及数据校验等安全措施,保证了车务终端与联锁系统之间信息交换的安全性,从联锁机发送、接收和上位机发送、接收四个方面的分析表明,其通信稳定性高,收发调度灵活,无通信时延.联锁机与安全智能I/O模块之间的通信,工作模式采用应答方式,分为数据预处理和CAN智能卡驱动两个通信层次,所采用的数据校验和正反码传输技术可以达到可靠的数据传送,该通信过程具有适应分布式系统控制、系统升级方便、多重安全防护等特点. 相似文献
14.
15.
二乘二取二与双机热备计算机联锁系统性能比较 总被引:3,自引:1,他引:2
计算机联锁系统是铁路信号的重要基础设备.随着铁路信号技术的更新换代,近年来二乘二取二和双机热备成为我国铁路联锁系统的2种主流制式.从系统的实际应用出发,利用马尔可夫模型,充分考虑了故障覆盖率、维修率等因素的影响,对系统的可靠性与安全性进行了深入分析;通过MTTF值和可靠度、安全度曲线比较了2种系统的性能.论文分析结果对计算机联锁系统的应用与推广具有切实的指导意义. 相似文献
16.
陈新冬 《铁路通信信号工程技术》2014,(6):22-23
DS6-60系统是满足"故障-安全"、采用二乘二取二冗余结构设计的计算机联锁系统。介绍DS6-60型计算机联锁系统的基本架构,详细阐述系统的主要设计原理。 相似文献
17.
详细介绍TYJL-ADX型二乘二取二计算机联锁系统的构成、系统特点、系统原理以及脱机测试方案等技术. 相似文献
18.
19.
二乘二取二硬件安全冗余信号控制平台关键部件的安全设计和可靠性研究 总被引:3,自引:0,他引:3
AT96DDMR信号安全控制平台是具有安全硬件冗余结构的二乘二取二信号控制平台,其结构可分为操作显示层、逻辑运算层和输入输出层3个层次,关键的逻辑运算层、输入输出层达到安全完整性SIL4级要求。重点对关键部件的安全性设计方法、可靠性预计进行描述及计算。 相似文献