摘要
CTCS-3级列控系统安全功能极其复杂,为保障其正常运转,有必要对列车运行控制系统的建模与验证进行深入研究。在分析了UML建模图和有色Petri网优缺点的基础上,提出了UML和有色Petri网(CPN)相结合的建模与验证方法,并应用在CTCS-3系统中,对CTCS-3级列控系统的建模与验证具有积极的研究意义。
CTCS-3 train operation control system is one complex security system with lots of functions,which means that deep research on modeling and verification of train operation control system should be carried out.On the basis of analysis of advantages and disadvantages of UML modeling and colored Petri net,this paper proposes a modeling and verification method based on UML and colored Petri net （CPN）.By analyzing the simulation result,the conclusion could be obtained that application of the method could have positive research significance for modeling and verification of CTCS-3 train operation control system.
出处
《铁道通信信号》
2010年第5期6-11,共6页
Railway Signalling & Communication
基金
由国家自然科学基金(编号60736047)
轨道交通控制与安全国家重点实验室自主研究课题(编号:RCS2009ZT013)
北京交通大学基金(编号:2008RC023)资助
关键词
UML
CPN
CTCS-3级列控系统
建模
验证
Unified Modeling Language
Colored Petri net
CTCS-3 Train Control System
Modeling
Verification
