基于UML和CPN的列控系统等级转换建模与分析

• 作者: 宋丽梅 朱爱红
• 来源期刊: 计算机应用研究
• 关键词: 中国列车控制系统 等级转换 统一建模语言 有色Petri网 建模
• 年，卷（期）: 2019,（1）
• 所属期刊栏目: 系统应用开发
• 页码范围: 140-143,162
• 页数: 5页
• 分类号: TP391
• 语种: 中文
• DOI: 10.19734/j.issn.1001-3695.2017.07.0670

摘要

针对列控系统的安全性和实时性要求,基于CTCS-3级列控系统需求规范中等级转换场景建立C2级向C3级转换的UML(统一建模语言)模型和有色Petri网(CPN)模型,分析了影响列车安全运行和行车效率的因素,即转换时长和转换成功率,验证了该建模方法的有效性.验证结果表明,UML和CPN模型相结合的方法适合于列控系统需求规范的验证.搭建的等级转换模型能够满足系统实时性要求.在保证切换成功率的前提下,列车运行速度与切换时间成反比,速度越高,切换时间越短;列车速度越高,对系统实时性要求也越高.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱爱红	兰州交通大学自动化与电气工程学院	11	53	4.0	7.0
2	宋丽梅	兰州交通大学自动化与电气工程学院	4	12	2.0	3.0