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

白锐, 康随武. 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.

Application of SCADE in ATP software modeling for Urban Transit

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

用微信扫码二维码

分享至好友和朋友圈