基于SCADE的城轨联锁软件开发方法的研究

基于SCADE的城轨联锁软件开发方法的研究

张重, 刘晓娟, 李国瑞

文章导航 > 铁路计算机应用 > 2014 > 23(2) : 14-16.

张重, 刘晓娟, 李国瑞. 基于SCADE的城轨联锁软件开发方法的研究[J]. 铁路计算机应用, 2014, 23(2): 14-16.

引用本文:

张重, 刘晓娟, 李国瑞. 基于SCADE的城轨联锁软件开发方法的研究[J]. 铁路计算机应用, 2014, 23(2): 14-16.

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.

Citation:

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.

基于SCADE的城轨联锁软件开发方法的研究

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

详细信息

中图分类号: U231.7:TP39
计量
- 文章访问数: 97
- HTML全文浏览量: 0
- PDF下载量: 66
出版历程
- 收稿日期: 2014-02-14
- 录用日期: 2014-02-14
- 刊出日期: 2014-02-14

Research on method of software development based on SCADE for Urban Transit interlocking

ZHANG Zhong%LIU Xiaojuan%LI Guorui,

摘要: CBTC的计算机联锁(CBI)系统是一个复杂且安全性要求非常高的系统,若按照传统的方法进行开发,很难达到其所需要的安全性和可靠性.本文提出基于高安全性应用程序开发环境(SCADE)开发城轨联锁系统软件的方法,能有效解决上述问题.文章主要介绍基于SCADE开发CBI软件的流程,建模方法,形式化验证和代码自动生成的方法.
- 城轨联锁 /
- SCADE /
- 形式化方法 /
- 建模

参考文献(0)

资源附件(0)

计量

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

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回