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

作者：赵显琼; 李开成; 唐涛; 袁磊

来源：铁道通信信号, 2010, (08): 4-8.

DOI：10.13879/j.issn1000-7458.2010.08.027

• 中国列车运行控制系统
• UML
• 通信顺序进程
• 运营场景 CTCS
• Unified Modeling Language
• CSP
• Operational Scenario

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

• 单位
  电子信息工程学院; 轨道交通控制与安全国家重点实验室; 北京交通大学