基于UML与CPN的CTCS-3级列控系统建模与验证方法研究  

Research of CTCS-3 Train Control System Modeling and Verification Method Based on UML and CPN

作　　者：上官伟[1] 蔡伯根[1] 王艳[1] 王晶晶[1] 王亚菊[2,3] 

机构地区：[1]轨道交通控制与安全国家重点实验室北京交通大学电子信息工程学院,北京博士100044 [2]北京交大微联科技有限公司 [3]铁道部C3技术攻关组

出　　处：《铁道通信信号》2010年第5期6-11,共6页Railway Signalling & Communication

基　　金：由国家自然科学基金(编号60736047);轨道交通控制与安全国家重点实验室自主研究课题(编号:RCS2009ZT013);北京交通大学基金(编号:2008RC023)资助

摘　　要：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.

关 键 词：UML CPN CTCS-3级列控系统 建模 验证 

分 类 号：TP29-AC[自动化与计算机技术—检测技术与自动化装置]