| 基于SCADE的城轨联锁软件开发方法的研究 |
| |
| 引用本文： | 张,重,刘晓娟,李国瑞.基于SCADE的城轨联锁软件开发方法的研究[J].铁路计算机应用,2014,23(2):14-16. |
| |
| 作者姓名： | 张 重 刘晓娟 李国瑞 |
| |
| 作者单位： | 兰州交通大学电子与信息工程学院,兰州,730070 |
| |
| 摘 要： | CBTC的计算机联锁(CBI)系统是一个复杂且安全性要求非常高的系统,若按照传统的方法进行开发,很难达到其所需要的安全性和可靠性.本文提出基于高安全性应用程序开发环境(SCADE)开发城轨联锁系统软件的方法,能有效解决上述问题.文章主要介绍基于SCADE开发CBI软件的流程,建模方法,形式化验证和代码自动生成的方法.
|
| 关 键 词： | 城轨联锁 SCADE 形式化方法 建模 |
| 收稿时间： | 2014-02-15 |
Research on method of software development based on SCADE for Urban Transit interlocking |
| |
| ZHANG Zhong,LIU Xiaojuan,LI Guorui.Research on method of software development based on SCADE for Urban Transit interlocking[J].Railway Computer Application,2014,23(2):14-16. |
| |
| Authors: | ZHANG Zhong LIU Xiaojuan LI Guorui |
| |
| Institution: | (School of Electronocs and Information Engineering, Lanzhou Jiaotong University, Lanzhou 730070, China) |
| |
| Abstract: | Computer based Interlocking（CBl） was a complex system, also a safety critical system. It was difficult to reach the safety and reliability of software needs by the traditional software development process. This paper proposed a method of software development based on Safety-Critical Application Development Environment （SCADE） for Urban Transit interlocking which could effectively solve the above problems. This paper mainly introduced the process of CBI software development based on SCADE, the modeling method, the method of formal verification and code automatically generated. |
| |
| Keywords: | Urban Transit interlocking SCADE formal methods modeling |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《铁路计算机应用》浏览原始摘要信息 |
| 点击此处可从《铁路计算机应用》下载免费的PDF全文 |
|
