TDCS车站分机双机热备系统的软件切换实现

车站分机在TDCS系统中起到信息的采集与传输的重要作用,为保证其可靠工作,车站分机采用双机热备系统来实现。结合包西线TDCS车站分机双机热备切换的硬件实现方式,提出新的软件实现方式,并给出相应的设计思路,此方式可减少硬件投资。硬件方案是通过切换板监听主备机状态,当主机出现故障时,切换到备机。软件方案是主备机之间通过同步心跳故障检测方法监听工作状态,当主机出现故障时,切换到备机。在软件实现中重点研究心跳故障检测、时间戳、看门狗等,并给出主机监控及数据通信程序的算法。     

TDCS车站分机双机热备系统设计

介绍了TDCS（列车调度指挥系统）车站分机双机热备系统的设计方案。该系统由2套独立供电电源PWR、2套网络处理控制器NPC、2套开关量采集板DIB和1块双机热备切换板STBY组成，实现了站场码位采集、串口通信、网络通信等的双机热备功能，提高了TDCS整体的可靠性和可维护性。     

双机热备系统心跳失效的防护方案

双机热备是高可用系统中一个重要的机制.心跳线是双机心跳进行传输的唯一通道.对传统双机热备系统的倒机条件进行分析,发现心跳线是系统中较薄弱的环节,断开心跳线会导致心跳失效,严重影响系统的正常运行并且没有对应的防护措施.经过对双机热备系统结构分析研究,提出一种针对心跳失效的改进方案并阐述该方案实现的软件流程.     

以纯软件方式实现双机热备

针对传统盘柜式双机模式在数据存储量小的信息系统中,存在成本高、存储空间浪费的问题,提出了用纯软件方式替代传统盘柜方式实现双机热备的方案,可以较低廉的成本实现双机无人值守的正常切换,并详细介绍了系统设置和软件使用的技术细节。     

双机热备式主机系统设计

地面主机系统是DJK-T1无线调车机车信号和监控系统的关键设备,为确保其可靠性采用双机热备设计。给出了采用双机热备设计方案的地面主机的设计与实现方法。     

基于RM48的双机热备ATO设计

列车自动驾驶(ATO)是列车自动控制系统(ATC)的重要组成部分.本文根据全自动无人驾驶系统(FAO)中ATO的功能需求和RM48安全芯片的安全架构,提出了基于RM48的ATO双机热备结构设计方案.利用马尔科夫模型研究了双机热备ATO系统的可靠性,并且通过仿真工具分析了双机热备ATO和单机ATO的可靠性.仿真结果表明,双机热备ATO的可靠度比单机ATO具有明显的优势,完全可以满足全自动无人驾驶的可靠性需求.     

两种铁路信号系统双机热备结构可靠性与安全性分析

双机热备系统已广泛应用于现代铁路信号系统中,国内外学者对其可靠性和安全性进行广泛而深入的研究,但在研究的过程中并没有区分不同的系统结构,鉴于此,分析传统的仅具有故障自检和同时具备自检与比较程序互检的两种不同的双机热备结构。综合考虑共因失效、在线诊断、多故障模式等因素,建立两种双机热备结构的同构马尔可夫模型并对其进行仿真,根据仿真结果对两种双机热备结构的可靠性、安全性进行分析比较。分析结果表明,带比较程序的双机热备结构具有更高的可靠性和安全性,更适合在铁路上推广应用。     

列车自动运行系统的双系热备切换方法研究

为克服现有技术在双系热备切换上可靠性低的不足,深入研究一种应用于列车自动运行系统的双系热备切换方法。该切换方法首先进行本系逻辑单元与对系逻辑单元的主备系竞争,当本系逻辑单元或对系逻辑单元竞争为主系时,控制输出与通信,并输出主系状态信号。通过双系热备之间的切换实现主备系切换,无需增加倒切(管理)单元或功能类似倒切(管理)单元的设备,提升系统的可靠性、简化系统设计。     

城市轨道交通信号系统车载控制器冗余切换方案研究

车载控制器冗余热备是保证城市轨道交通信号系统可靠性的重要技术措施,主机和备机的选择和切换方案不同对设备性能有不同的影响。介绍了二乘二取二冗余和双机热备冗余中可采用的两种主、备机选择和切换方案,分析对比了两种方案的优缺点,以供选择方案时参考。     

自主化CTCS-3级车载设备双系热备技术研究

针对CTCS-3级列控系统列车运营效率的需要,采用基于二乘二取二架构紧耦合架构进行自主化CTCS-3级车载热备系统的研究。从时钟调度机制、双系同步机制、故障切系机制等方面介绍了热备系统的工作原理,重点分析通信传输系统的危险失效率和主备系切换时间条件。此架构下的热备系统具有异构防共模错误、紧耦合平行同步保证安全一致的特点。通过实验室仿真测试及现场试验验证,证明热备系统具有高安全、高可靠、平滑切换的特点,具有良好的实用价值。     

双机热备型计算机联锁设备的比较

介绍双机热备型计算机联锁系统的设备结构，并对国内主要的几种双机热备型计算机联锁设备从系统网络构架、下位机的结构、系统电源、采集／驱动方式、软件设计等方面进行了比较。     

怀化南驼峰上位机系统的改进

自动化驼峰上位机采用双机热备工作方式。双机热备控制器经扁平数据线进行主备机的切换，同时还将来自站调楼作业计划单经基带数传机接收的数据转发至上位机。在近几年的现场使用中，发现存在一些缺陷，影响了作业计划单的正常接收使用。     

轨道交通信号系统中冗余技术研究

对双网和双机热备的控制策略和逻辑进行说明.双网控制没有采用传统的主备方式,而是同时在两个网络上进行相同的信息传递,由节点的中间层软件对网络报文进行处理,无需切换.提高了效率,双机热备在双网络的基础上,通过冗余心跳信号进行双方主备状态的监视和管理,并对双机存在的信息孤岛问题提出了对应的解决方案.     

双机热备系统的容错策略

作者根据对容错系统的一般要求,利用容错计算理论分析了双机热备系统的容错策略,提出了应采用的几种容错策略,以及可达到的容错目标。     

IMB服务器双机热备解决方案

本文综合分析了服务器双机热备现有技术，并以提高服务器数据安全性和网络稳定性为目的，提出了加强磁盘子系统和网络子系统管理的实际方法。     

无线机车信号地面控制设备及双机热备的可靠性分析

介绍了无线机车信号地面控制设备的结构和工作原理，为了保证其正常运行，采用双机热备方式。对单控制机的失效率进行划分，根据各部分失效率对系统的影响，利用马尔可夫模型分析系统可靠性。结果表明，双机热备很大程度上提高了系统的可靠性，达到了可靠性指标。     

自律机双机热备倒机装置的设计与实现

采用基于倒机装置的软硬件结合倒切方式,综合考虑倒机装置手动/自动状态及双机软件的逻辑判断结果,实现调度集中系统自律机双机热备倒机功能,有效防止不具备条件的备机被置为主机的情况发生。     

基于Event-B的双机热备平台测试序列自动生成方法

为了确保双机热备平台满足相应的功能需求，需要对其进行功能测试。采用基于模型的测试方法，可以有效地避免人工手动生成测试中存在的不足，提高测试效率。利用Event-B方法对双机热备平台进行形式化建模，通过证明验证模型的正确性，并进一步利用Ll算法生成基于模型、满足平台测试需求的测试序列集，对于确保测试过程的完备性、提高测试效率有一定意义。     

两种方式双机热备结构的可靠性和安全性分析

针对铁路信号中常用的双机热备结构进行了可靠性和安全性分析。通过把单元的失效率划分为一些独立的部分，根据各部分失效率对系统的影响，利用马尔可夫模型可以同时分析可靠性和安全性性能。本文比较了两种不同工作方式双机热备结构的可靠性和安全性性能，并给出了结论和建议。     

CBTC热备冗余系统软件安全切换技术的研究与实现

城市轨道交通基于通信的列车控制(CBTC)系统中,关键控制器的热备冗余是实现系统高可用性的常用技术之一。热备冗余系统间的安全切换技术也就成为了实现系统高可用性的关键技术。阐述了热备冗余系统软件安全切换技术设计和实现阶段面临的若干技术难题,如基于软件与硬件切换的功效分析、故障切换与主动切换技术方案分析与实现等;在此基础上,提出了具体的技术解决方案。