SCADE在城市轨道交通ATP软件建模中的应用

SCADE在城市轨道交通ATP软件建模中的应用

白锐, 康随武

文章导航 > 铁路计算机应用 > 2014 > 23(1) : 37-39,43.

白锐, 康随武. SCADE在城市轨道交通ATP软件建模中的应用[J]. 铁路计算机应用, 2014, 23(1): 37-39,43.

引用本文:

白锐, 康随武. SCADE在城市轨道交通ATP软件建模中的应用[J]. 铁路计算机应用, 2014, 23(1): 37-39,43.

BAI Rui%KANG Suiwu, . Application of SCADE in ATP software modeling for Urban Transit[J]. Railway Computer Application, 2014, 23(1): 37-39,43.

Citation:

BAI Rui%KANG Suiwu, . Application of SCADE in ATP software modeling for Urban Transit[J]. Railway Computer Application, 2014, 23(1): 37-39,43.

SCADE在城市轨道交通ATP软件建模中的应用

白锐,
康随武

兰州交通大学电子与信息工程学院,兰州,730070

详细信息

中图分类号: U284:TP39
计量
- 文章访问数: 40
- HTML全文浏览量: 0
- PDF下载量: 36
出版历程
- 收稿日期: 2014-01-14
- 录用日期: 2014-01-14
- 刊出日期: 2014-01-14

Application of SCADE in ATP software modeling for Urban Transit

BAI Rui%KANG Suiwu,

摘要: 列车自动防护(ATP)系统是基于通信列车控制(CBTC)系统的重要组成部分.车载ATP在列车运行过程中担负列车安全运行的重要任务,是与安全直接相关的系统,需要高的安全性和可靠性.为了满足车载ATP软件对安全的需求,提出了基于模型的软件开发方法对ATP进行建模.应用SCADE作为开发工具,建立了ATP系统部分功能的模型,说明了SCADE在ATP软件建模上的可行性.
- 列车自动防护 /
- 安全相关 /
- SCADE

参考文献(0)

资源附件(0)

计量

文章访问数: 40
HTML全文浏览量: 0
PDF下载量: 36
被引次数: 0

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回