摘要：城市轨道交通CBTC联锁系统是复杂的安全苛求系统,为确保其开发的正确性和安全性,研究采用基于HCPN的CBTC联锁系统进行分层建模的方法,以缓解系统状态空间的爆炸问题。概述城市轨道交通CBTC联锁系统及HCPN建模方法,基于HCPN对城市轨道交通CBTC联锁系统进行建模,并为了增强模型的可重用性和提高建模效率,在此基础上构建基于HCPN的城市轨道交通CBTC联锁系统分层模型框架,建立一个参数化的可重用模型模板,符合联锁系统规范,适用于各类型车站。

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

单位：中国铁道科学研究院研究生部; 北京100081