基于UML的CTCS-3级列控系统运营场景分析方法研究及应用

• 作者: 唐涛 李开成 袁磊 赵显琼
• 来源期刊: 铁道通信信号
• 学科: 交通运输
• 关键词: 中国列车运行控制系统 UML 通信顺序进程 运营场景
• 年，卷（期）: 2010,（8）
• 页码范围: 4-8
• 分类号: U2
• 字数: 3979字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7458.2010.08.002

摘要

CTCS-3级列控系统是典型的安全苛求系统,而对于安全苛求系统来说,系统需求规范中的安全隐患是最致命的.CTCS-3级列控系统的需求规范由14个运营场景来描述,因而以运营场景为单位,对规范进行分析与研究是合理的,并且是必要的.以UML和CSP为基础,提出一套适用于CTCS-3级列控系统运营场景的分析和验证方法,并以"RBC切换"场景为例,运用该方法分析了其活性、死锁、活锁、确定性和部分安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐涛	北京交通大学轨道交通控制与安全国家重点试验室	152	2578	27.0	40.0
2	赵显琼	北京交通大学轨道交通控制与安全国家重点试验室	4	57	4.0	4.0
3	李开成	北京交通大学电子信息工程学院	49	532	14.0	21.0
4	袁磊	北京交通大学轨道交通控制与安全国家重点试验室	22	164	7.0	12.0