摘要
基于通信的列车运行控制系统(Communication Based Train Control System,CBTC)是完全基于移动闭塞的列车控制系统,使得列车可以在更短的运行间隔内实行安全运行.为提高CBTC系统设计的安全性,必须对CBTC系统的行为进行建模验证.本文将扩展的MSC-范畴MSC应用于CBTC系统形式化建模,增强了CBTC系统形式化建模的准确性,提高CBTC系统设计的安全性.
Trains in CBTC system can travel safely in a shorter interval .The behavior of CBTC system must be modeled and verified before it is put into use .In this paper , categorical MSC was applied to CBTC sys-tem modeling , which enhanced the accuracy of CBTC system formal modeling and improved the safety of the CBTC system design .
出处
《佳木斯大学学报（自然科学版）》
CAS
2014年第5期641-644,共4页
Journal of Jiamusi University：Natural Science Edition
基金
国家自然科学基金资助项目(60674004)
国家十二五科技支撑项目(2011BAG01B03)
863计划(2012AA112801)
