CTCS-3级列控系统RBC控车场景建模与验证

• 作者: 盛昭君 米根锁
• 来源期刊: 铁道标准设计
• 学科: 交通运输
• 关键词: CTCS-3级系统 RBC控车场景 UML PHAVer
• 年，卷（期）: 2017,（11）
• 所属期刊栏目: 通信/信号
• 页码范围: 143-147
• 页数: 5页
• 分类号: U238.2
• 字数: 3147字
• 语种: 中文
• DOI: 10.13238/j.issn.1004-2954.2017.11.029

摘要

应用统一建模语言UML与模型检验工具PHAVer(Polyhedral Hybrid Automaton verifier)相结合的方法,研究CTCS-3级列控系统RBC控车场景:列车注册与启动、行车许可、等级转换、列车注销的混成性.首先通过UML支持的扩展机制,引入构造型(Stereotype)对UML进行面向混成性的扩展,建立RBC控车场景UML模型,实现对RBC控车场景混成性的描述.然后依据UML到PHAVer的转换规则,将UML模型转换成PHAVer模型.最后,依据CTCS-3级列控系统需求规范,总结RBC控车场景的功能需求,运用PHAVer进行验证,证明CTCS-3级列控系统需求规范的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	米根锁	兰州交通大学自动化与电气工程学院	74	460	12.0	18.0
2	盛昭君	兰州交通大学自动化与电气工程学院	2	4	2.0	2.0