| SCADE在城市轨道交通ATP软件建模中的应用 |
| |
| 引用本文： | 白锐,康随武. SCADE在城市轨道交通ATP软件建模中的应用[J]. 铁路计算机应用, 2014, 23(1): 37-39,43 |
| |
| 作者姓名： | 白锐 康随武 |
| |
| 作者单位： | 兰州交通大学 电子与信息工程学院,兰州,730070 |
| |
| 摘 要： | 列车自动防护(ATP)系统是基于通信列车控制(CBTC)系统的重要组成部分.车载ATP在列车运行过程中担负列车安全运行的重要任务,是与安全直接相关的系统,需要高的安全性和可靠性.为了满足车载ATP软件对安全的需求,提出了基于模型的软件开发方法对ATP进行建模.应用SCADE作为开发工具,建立了ATP系统部分功能的模型,说明了SCADE在ATP软件建模上的可行性.
|
| 关 键 词： | 列车自动防护 安全相关 SCADE |
| 收稿时间： | 2014-01-15 |
Application of SCADE in ATP software modeling for Urban Transit |
| |
| BAI Rui,KANG Suiwu. Application of SCADE in ATP software modeling for Urban Transit[J]. Railway Computer Application, 2014, 23(1): 37-39,43 |
| |
| Authors: | BAI Rui KANG Suiwu |
| |
| Affiliation: | ( College of Electronic and Information Engineering, Lanzhou Jiaotong University, Lanzhou 730070, China ) |
| |
| Abstract: | Automatic Train Protection（ATP） System was an important part of Communication Based Train Control（CBTC） System. Car borne ATP bearded the important task of train safe movement, was directly related to security of the System, required high level safety and reliability. To satisfy the safety requirements of the car borne ATP software, model based software development method was proposed in this paper. It was used SCADE suite as the development tool, established ATP system function model, and showed the feasibility of SCADE on ATP software modeling. |
| |
| Keywords: | ATP safety-related SCADE |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《铁路计算机应用》浏览原始摘要信息 |
|
点击此处可从《铁路计算机应用》下载全文 |
|
