| 基于UML的CTCS-3级列控系统运营场景分析方法研究及应用 |
| |
| 引用本文： | 赵显琼,李开成,唐涛,袁磊.基于UML的CTCS-3级列控系统运营场景分析方法研究及应用[J].铁道通信信号,2010,46(8):4-8. |
| |
| 作者姓名： | 赵显琼 李开成 唐涛 袁磊 |
| |
| 作者单位： | 1. 北京交通大学轨道交通控制与安全国家重点试验室,100044,北京
2. 北京交通大学电子信息工程学院,100044,北京 |
| |
| 摘 要： | CTCS-3级列控系统是典型的安全苛求系统,而对于安全苛求系统来说,系统需求规范中的安全隐患是最致命的。CTCS-3级列控系统的需求规范由14个运营场景来描述,因而以运营场景为单位,对规范进行分析与研究是合理的,并且是必要的。以UML和CSP为基础,提出一套适用于CTCS-3级列控系统运营场景的分析和验证方法,并以＂RBC切换＂场景为例,运用该方法分析了其活性、死锁、活锁、确定性和部分安全性。
|
| 关 键 词： | 中国列车运行控制系统 UML 通信顺序进程 运营场景 |
Study and Application of UML Based CTCS-3 Operational Scenarios Analysis Approach |
| |
| Zhao Xianqiong,Li Kaicheng,Tang Tao,Yuan Lei.Study and Application of UML Based CTCS-3 Operational Scenarios Analysis Approach[J].Railway Signalling & Communication,2010,46(8):4-8. |
| |
| Authors: | Zhao Xianqiong Li Kaicheng Tang Tao Yuan Lei |
| |
| Institution: | Zhao Xianqiong,Li Kaicheng,Tang Tao,Yuan Lei |
| |
| Abstract: | CTCS-3 is a typically safety-critical system.For a safety-critical system,it is vital that there is security risks in its System Requirement Specification(SRS).The SRS of CTCS-3 is covered by 14 operational scenarios,so it is reasonable and necessary to analyze these operational scenarios.This paper propose a method to analyze and verify the operational scenarios on the basis of UML and CSP and take the RBC exchange scenario as a study case to verify its aliveness,dead-lock,live-lock,deterministic property ... |
| |
| Keywords: | UML |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
