期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于UML的CTCS-3级列控系统运营场景分析方法研究及应用
被引量：
6
1
作者
赵显琼
李开成
+1 位作者
唐涛
袁磊
《铁道通信信号》
2010年第8期4-8,共5页
CTCS-3级列控系统是典型的安全苛求系统,而对于安全苛求系统来说,系统需求规范中的安全隐患是最致命的。CTCS-3级列控系统的需求规范由14个运营场景来描述,因而以运营场景为单位,对规范进行分析与研究是合理的,并且是必要的。以UML和CS...
CTCS-3级列控系统是典型的安全苛求系统,而对于安全苛求系统来说,系统需求规范中的安全隐患是最致命的。CTCS-3级列控系统的需求规范由14个运营场景来描述,因而以运营场景为单位,对规范进行分析与研究是合理的,并且是必要的。以UML和CSP为基础,提出一套适用于CTCS-3级列控系统运营场景的分析和验证方法,并以"RBC切换"场景为例,运用该方法分析了其活性、死锁、活锁、确定性和部分安全性。
展开更多
关键词
中国列车运行控制系统
UML
通信顺序进程
运营场景
在线阅读
下载PDF
职称材料
题名
基于UML的CTCS-3级列控系统运营场景分析方法研究及应用
被引量：
6
1
作者
赵显琼
李开成
唐涛
袁磊
机构
北京交通大学轨道交通控制与安全国家重点试验室
北京交通大学
电子信息工程学院
铁道部C
出处
《铁道通信信号》
2010年第8期4-8,共5页
文摘
CTCS-3级列控系统是典型的安全苛求系统,而对于安全苛求系统来说,系统需求规范中的安全隐患是最致命的。CTCS-3级列控系统的需求规范由14个运营场景来描述,因而以运营场景为单位,对规范进行分析与研究是合理的,并且是必要的。以UML和CSP为基础,提出一套适用于CTCS-3级列控系统运营场景的分析和验证方法,并以"RBC切换"场景为例,运用该方法分析了其活性、死锁、活锁、确定性和部分安全性。
关键词
中国列车运行控制系统
UML
通信顺序进程
运营场景
Keywords
CTCS
Unified Modeling Language
CSP
Operational Scenario
分类号
TP273 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于UML的CTCS-3级列控系统运营场景分析方法研究及应用
赵显琼
李开成
唐涛
袁磊
《铁道通信信号》
2010
6
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
