无线闭塞中心RBC(Radio Block Center)是CTCS-3级列控系统地面设备的核心，它融合外部轨旁系统信息以及车载子系统的信息，主要功能是为其管辖范围内与RBC建立连接的多个车载设备提供行车许可MA(Movement Authority)，保证列车在RBC管辖范围内的线路上安全运行[1]。21794
RBC是在欧洲列车运行控制系统ETCS-2级时开始研制的，目前我国所采用的RBC设备主要是由意大利的安莎尔多公司，德国的西门子公司、加拿大的庞巴迪公司、法国的阿尔卡特公司、法国的阿尔斯通公司、日本的日立公司。这些厂家提供的RBC系统采用安全计算机，并在与其它设备的冗余接口上使用标准的安全通讯协议，通过通信网络实现接口交互[2]。
国外非常常见的是在列控系统中运用了形式化建模的方法。其中一个著名的案例是德国的跨区域联合研究项日AVACS(Automatic Verification and Analysis of Complex System)，这是一个以欧洲列控系统(ETCS)为背景的形式化研究项目。除此之外，巴黎城市政14号线使用的全自动无人驾驶地铁服务系统，巴黎戴高乐机场各个候机楼间的全自动无人驾驶有轨交通系统等都是形式化建模验证在铁路信号和铁路控制领域成功应用的典型案例[3]。论文网
国内各个高校如北京交通大学的轨道交通控制与安全国家重点实验室和轨道交通运行控制系统国家工程研究中心对CTCS-3级系统的车地交互流程和临时限速分别进行形式化建模与验证[4]。同济大学针对CTCS-3级列控系统RBC切换进行了形式化建模、分析与验证。 无线闭塞中心RBC国内外研究现状:http://www.youerw.com/yanjiu/lunwen_14161.html