| 客运专线CTCS-3级列控系统无线闭塞中心的建模与验证 |
| |
| 引用本文： | 吕继东,唐涛,贾昊.客运专线CTCS-3级列控系统无线闭塞中心的建模与验证[J].铁道学报,2010,32(6). |
| |
| 作者姓名： | 吕继东 唐涛 贾昊 |
| |
| 基金项目： | 国家自然科学基金，北京交通大学科技基金项目，轨道交通控制与安全国家重点实验室自主研究项目 |
| |
| 摘 要： | 本文分析客运专线CTCS-3级列控系统中无线闭塞中心(RBC)子系统软件的功能和性能约束,在此基础上采用时间自动机理论进行RBC子系统形式化语义描述,建立TER-QSR时间自动机网络模型,并应用UPPAAL验证工具对RBC子系统进行仿真分析,验证RBC的安全性(Safety)和受限活性(Bounded Liveness),同时进行RBC切换时间的优化。
|
| 关 键 词： | CTCS 时间自动机 RBC UPPAAL 实时系统 |
Modeling and Verification of Radio Block Center of CTCS-3 Train Control System for Dedicated Passengers Lines |
| |
| Lǚ Ji-dong,TANG Tao,JIA Hao.Modeling and Verification of Radio Block Center of CTCS-3 Train Control System for Dedicated Passengers Lines[J].Journal of the China railway Society,2010,32(6). |
| |
| Authors: | Lǚ Ji-dong TANG Tao JIA Hao |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
