| 基于UML与CPN的CTCS-3级列控系统建模与验证方法研究 |
| |
| 引用本文： | 上官伟,蔡伯根,王艳,王晶晶,王亚菊.基于UML与CPN的CTCS-3级列控系统建模与验证方法研究[J].铁道通信信号,2010,46(5):6-11. |
| |
| 作者姓名： | 上官伟 蔡伯根 王艳 王晶晶 王亚菊 |
| |
| 作者单位： | 1. 轨道交通控制与安全国家重点实验室,北京交通大学电子信息工程学院,100044,北京
2. 北京交大微联科技有限公司,100044,北京 |
| |
| 基金项目： | 国家自然科学基金，轨道交通控制与安全国家重点实验室自主研究课题，北京交通大学基金 |
| |
| 摘 要： | CTCS-3级列控系统安全功能极其复杂,为保障其正常运转,有必要对列车运行控制系统的建模与验证进行深入研究。在分析了UML建模图和有色Petri网优缺点的基础上,提出了UML和有色Petri网(CPN)相结合的建模与验证方法,并应用在CTCS-3系统中,对CTCS-3级列控系统的建模与验证具有积极的研究意义。
|
| 关 键 词： | UML CPN CTCS-3级列控系统 建模 验证 |
Research of CTCS-3 Train Control System Modeling and Verification Method Based on UML and CPN |
| |
| Shangguan Wei,Cai Baigen,Wang Yan,Wang Jingjing,Wang Yaju.Research of CTCS-3 Train Control System Modeling and Verification Method Based on UML and CPN[J].Railway Signalling & Communication,2010,46(5):6-11. |
| |
| Authors: | Shangguan Wei Cai Baigen Wang Yan Wang Jingjing Wang Yaju |
| |
| Institution: | Shangguan Wei,Cai Baigen,Wang Yan,Wang Jingjing,Wang Yaju |
| |
| Abstract: | 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 pos... |
| |
| Keywords: | UML CPN |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
