进入二十一世纪以来,我国高铁建设出现爆发式增长,高速铁路运营里程高居世界第一,高速铁路在我国国民经济的发展中起着很重要的作用。CTCS-3级列控系统能满足当前高速铁路的运行需要,最高能适应时速在300-350公里线路,并能兼容更低级的列控系统。无线闭塞中心RBC在该系统中尤为关键。RBC分析车站联锁系统提供的进路信息并计算好行车许可后,向线路上的列车移动授权。以此来控制列车安全、快速运行。本文在CTCS-3级总体技术方案框架下,就路局高速铁路运营中发生的联锁进路的变化会导致RBC的行车许可取消,引起动车非常制动问题,采用信息数据流分析方法对故障原因进行了分析。并针对故障原因,结合RBC与车站联锁系统的信息数据流、RBC移动授权范围和联锁进路变化的技术条件,探讨利用增加RBC与车站联锁系统之间的信息交互来解决问题的策略。在论述的过程中,介绍了 CTCS的分级情况和其结构组成,RBC在CTCS中的地位和作用。阐述了 RBC的主要功能和系统结构。分析了 RBC与CBI之间的接口,以及它们之间的SAM信号授权数据信息和TIM列车数据信息。并就移动授权的范围问题和RBC与CBI之间的关系问题进行了讨论。为进一步理清问题,对开放信号的联锁条件和引起列车降级的情况也进行了分析。最后利用基于数据流的程序验证方法对具体的解决方法进行了分析。通过对联锁的条件和列车降级情况的分析,结合数据流的程序验证方法,发现了高速铁路之间应用信息交互的不对称。最后提出了具体的改进策略,加强了 RBC与车站联锁两者间的信息交流。论文中实际问题的提出、分析和解决问题的思路在解决高速铁路的类似问题应有一些帮助。对安全系统的设计提供更广泛的思路。