基于HCPN的城市轨道交通CBTC联锁系统建模研究  

Study on Modeling of Urban Rail Transit CBTC Interlocking System based on HCPN

作　　者：于潇[1] 

机构地区：[1]中国铁道科学研究院研究生部,北京100081

出　　处：《铁道运输与经济》2017年第6期81-86,共6页Railway Transport and Economy

基　　金：中国铁道科学研究院通信信号研究所重点计划课题(1652TH0903)

摘　　要：城市轨道交通CBTC联锁系统是复杂的安全苛求系统,为确保其开发的正确性和安全性,研究采用基于HCPN的CBTC联锁系统进行分层建模的方法,以缓解系统状态空间的爆炸问题。概述城市轨道交通CBTC联锁系统及HCPN建模方法,基于HCPN对城市轨道交通CBTC联锁系统进行建模,并为了增强模型的可重用性和提高建模效率,在此基础上构建基于HCPN的城市轨道交通CBTC联锁系统分层模型框架,建立一个参数化的可重用模型模板,符合联锁系统规范,适用于各类型车站。Urban rail transit Communication-based Train Control （CBTC） interlocking system is a complex security-critical system. In order to ensure correctness and security of the system development, a hierarchical modeling method is taken by using CBTC interlocking system based on HCPN （Hierarchical Colored Petri Net） to relieve the explosion of the system state space. This paper summarizes the modeling method of urban rail transit CBTC interlocking system and HCPN, the modeling of the CBTC interlocking system is on the account of HCPN. Based on above, the HCPN-based hierarchical modeling framework of urban rail transit CBTC interlocking system is established in order to strengthen reusability of the model and increase modeling efficiency, and a parameterized and reusable model template, which conforms to interlocking system regulations and can be applied to all stations, is also established.

关 键 词：城市轨道交通 CBTC 联锁系统 形式化建模 分层有色Petri网 

分 类 号：U284.3[交通运输工程—交通信息工程及控制]