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

• 作者: 上官伟 王亚菊 王晶晶 王艳 蔡伯根
• 来源期刊: 铁道通信信号
• 学科: 交通运输
• 关键词: UML CPN CTCS-3级列控系统 建模 验证
• 年，卷（期）: 2010,（5）
• 所属期刊栏目: CTCS-3 级列控系统专栏
• 页码范围: 6-11
• 分类号: U2
• 字数: 4444字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7458.2010.05.002

摘要

CTCS-3级列控系统安全功能极其复杂,为保障其正常运转,有必要对列车运行控制系统的建模与验证进行深入研究.在分析了UML建模图和有色Petri网优缺点的基础上,提出了UML和有色Petri网(CPN)相结合的建模与验证方法,并应用在CTCS-3系统中,对CTCS-3级列控系统的建模与验证具有积极的研究意义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王亚菊		3	63	3.0	3.0
2	蔡伯根	轨道交通控制与安全国家重点实验室北京交通大学电子信息工程学院	2	20	2.0	2.0
3	上官伟	轨道交通控制与安全国家重点实验室北京交通大学电子信息工程学院	2	13	1.0	2.0
4	王艳	轨道交通控制与安全国家重点实验室北京交通大学电子信息工程学院	1	13	1.0	1.0
5	王晶晶	轨道交通控制与安全国家重点实验室北京交通大学电子信息工程学院	1	13	1.0	1.0