| ETCS-2级列控系统RBC交接协议的形式化分析 |
| |
| 引用本文： | 牛儒,曹源,唐涛.ETCS-2级列控系统RBC交接协议的形式化分析[J].铁道学报,2009,31(4). |
| |
| 作者姓名： | 牛儒 曹源 唐涛 |
| |
| 作者单位： | 北京交通大学轨道交通控制与安全国家重点实验室,北京,100044 |
| |
| 基金项目： | 国家自然科学基金资助项目，教育部高等学校博士点专项科研基金，铁道部科技发展资助项目(2005K002F |
| |
| 摘 要： | RBC(无线闭塞中心)交接协议是影响ETCS-2级欧洲列车运行控制系统的控制精度、效率、可靠性和安全性的主要因素之一.对该协议的形式化分析可为我国CTCS-3级列车运行控制系统的规范制定和系统研发提供参考.随机Petri网语义清晰、语法严谨,并且具有良好的数学理论支撑,与仿真手段相比能够得出更加可信的定量分析结果.本文选择随机Petri网(SPN)这一形式化语言对RBC交接协议进行研究,综合信道突发降质、GSM-R小区切换、链路中断等故障因素,针对两种协议方案分别建立RBC交接失败概率模型,分析列车运行速度、RBC重叠范围对交接成功概率的影响.结果表明基于两个车载电台、切换时能同时与两个RBC通信的RBC交接协议能够更好地保证列车交接过程的安全性,对行车效率的影响比较小.
|
| 关 键 词： | 形式化分析 随机Petri网 RBC交接协议 无线闭塞中心(RBC) |
Formal Modelling and Analysis of RBC Handover Protocol for ETCS Level 2 Using Stochastic Petri Nets |
| |
| Abstract: | |
| |
| Keywords: | ETCS |
| 本文献已被 万方数据 等数据库收录！ |
|
