为提高传统CBTC系统降级运行的效率,采用基于感知的车车通信列车运行控制系统(perception based train autonomous control system,PB-TACS)结合SIL4级感知“自主感知运行”的降级运行方案有着重要意义。通过研究增加备用通信WLAN设备,...为提高传统CBTC系统降级运行的效率,采用基于感知的车车通信列车运行控制系统(perception based train autonomous control system,PB-TACS)结合SIL4级感知“自主感知运行”的降级运行方案有着重要意义。通过研究增加备用通信WLAN设备,优化轨旁信号设备配置,采用自主感知后备运行级别(autonomous backup level,ABL)移动闭塞运行方案作为车车通信列车控制系统的降级系统,可减少列车区间停车等待时间、提升降级列车恢复效率、减少列车掉线问题。通过对基于感知的车车通信列车运行控制系统降级运行方案进行研究和探讨,为后续全面提升CBTC级别的后备运行方案的完整性和可用性提供有力保障。展开更多
基于通信的列车控制系统(communication based train control system,简称CBTC)已经成为世界范围内建造轨道交通信号系统的标准制式.CBTC采用更加灵活和精确的列车控制,并提供连续的安全列车间隔保证和超速防护,在很大程度上提高了轨道...基于通信的列车控制系统(communication based train control system,简称CBTC)已经成为世界范围内建造轨道交通信号系统的标准制式.CBTC采用更加灵活和精确的列车控制,并提供连续的安全列车间隔保证和超速防护,在很大程度上提高了轨道交通运输的效率和安全性.尽管CBTC能够精确地实施实时控制,但由于CBTC涉及计算、通信与控制这3个方面的实时协同,系统设计与实现异常复杂.由设计缺陷而导致严重的灾难、事故和损失屡见不鲜.作为一个典型的安全攸关系统,如何保证CBTC的可信构造已成为领域研发人员关注的焦点与面临的最大挑战.鉴于在软硬件领域的成功经验,形式化方法目前已被公认为是保障CBTC可信性的一种有效方案.围绕CBTC的可信构造,从其生命周期的3个重要阶段,即系统需求分析、设计建模与底层实现入手,针对CBTC在可信方面的典型特征,梳理分析了CBTC系统在可信构造方面面临的挑战、国内外研究现状和发展趋势,全面介绍了形式化方法在CBTC可信构造中扮演的角色.展开更多
文摘为提高传统CBTC系统降级运行的效率,采用基于感知的车车通信列车运行控制系统(perception based train autonomous control system,PB-TACS)结合SIL4级感知“自主感知运行”的降级运行方案有着重要意义。通过研究增加备用通信WLAN设备,优化轨旁信号设备配置,采用自主感知后备运行级别(autonomous backup level,ABL)移动闭塞运行方案作为车车通信列车控制系统的降级系统,可减少列车区间停车等待时间、提升降级列车恢复效率、减少列车掉线问题。通过对基于感知的车车通信列车运行控制系统降级运行方案进行研究和探讨,为后续全面提升CBTC级别的后备运行方案的完整性和可用性提供有力保障。
文摘基于通信的列车控制系统(communication based train control system,简称CBTC)已经成为世界范围内建造轨道交通信号系统的标准制式.CBTC采用更加灵活和精确的列车控制,并提供连续的安全列车间隔保证和超速防护,在很大程度上提高了轨道交通运输的效率和安全性.尽管CBTC能够精确地实施实时控制,但由于CBTC涉及计算、通信与控制这3个方面的实时协同,系统设计与实现异常复杂.由设计缺陷而导致严重的灾难、事故和损失屡见不鲜.作为一个典型的安全攸关系统,如何保证CBTC的可信构造已成为领域研发人员关注的焦点与面临的最大挑战.鉴于在软硬件领域的成功经验,形式化方法目前已被公认为是保障CBTC可信性的一种有效方案.围绕CBTC的可信构造,从其生命周期的3个重要阶段,即系统需求分析、设计建模与底层实现入手,针对CBTC在可信方面的典型特征,梳理分析了CBTC系统在可信构造方面面临的挑战、国内外研究现状和发展趋势,全面介绍了形式化方法在CBTC可信构造中扮演的角色.