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

• 作者: 刘晓娟 张重 李国瑞
• 来源期刊: 铁路计算机应用
• 学科: 交通运输
• 关键词: 城轨联锁 SCADE 形式化方法 建模
• 年，卷（期）: 2014,（2）
• 所属期刊栏目: 研究与开发
• 页码范围: 14-16
• 页数: 3页
• 分类号: U231.7|TP39
• 字数: 1670字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘晓娟	兰州交通大学电子与信息工程学院	48	270	10.0	13.0
2	张重	兰州交通大学电子与信息工程学院	2	9	2.0	2.0
3	李国瑞	兰州交通大学电子与信息工程学院	2	9	2.0	2.0