-
题名基于SCADE的计算机联锁软件开发研究
被引量：2
- 1
-
-
作者
张恬
-
机构
中铁第一勘察设计院集团有限公司
-
出处
《铁路计算机应用》
2020年第12期53-56,共4页
-
基金
中铁第一勘察设计院集团有限公司科研计划项目(院科18-32)。
-
文摘
计算机联锁软件安全性要求高,功能不断扩展,其开发与维护面临的压力日益增大。文章研究高安全性应用程序开发环境(SCADE)及其支持的软件开发过程,依据计算机联锁系统相关技术规范定义的需求规约,尝试利用SCADE进行计算机联锁软件开发。研究实践表明,SCADE是一套较为实用的基于模型的软件工程开发工具,可支持V模型软件开发流程,能够帮助开发人员有效管控软件开发风险,为联锁软件的进一步开发提供参考。
-
关键词
铁路信号
计算机联锁
软件开发
高安全性应用程序开发环境
基于模型的软件工程
-
Keywords
railway signaling
computer based interlocking
software development
Safety Critical Application Development Environment(SCADE)
Model Based Software Engineering(MBSwE)
-
分类号
U283.5
[交通运输工程—交通信息工程及控制]
-
-
题名SCADE模型驱动开发过程研究及高安全性分析
被引量：7
- 2
-
-
作者
李虎
马晋
郑凤
张鹏程
-
机构
中国航空无线电电子研究所
-
出处
《航空电子技术》
2013年第1期15-19,共5页
-
文摘
本文以模型驱动开发(MDD)为契合点,在统一软件开发过程(RUP)的坚实与敏捷开发方法的灵动之间找到一种平衡,详细介绍了基于高安全性应用程序开发环境(SCADE)模型驱动软件开发过程。它具有连贯迭代、持续构建的特点,同时综合测试的理念贯穿始终。结合航空项目软件研制过程中时间节点紧、需求变化频繁、软件安全性要求高等特点,以某项目为实例,通过需求分析、模型设计、设计验证、安全性分析、代码生成等过程,结果表明基于SCADE模型驱动开发过程既可以借助RUP定义的流程,又是有效地实施敏捷开发的最佳实践,同时大大提高了软件的安全性。
-
关键词
统一软件开发过程(RUP)
敏捷开发
模型驱动开发(MDD)
高安全性应用程序开发环境(SCADE)
高安全性软件
-
Keywords
rational unified process （ RUP ）
agile
model-driven development （MDD）
safety-critical application development environment （ SCADE ）
high security software
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种应用于SCADE的联合仿真平台
被引量：1
- 3
-
-
作者
侯锡立
-
机构
北京全路通信信号研究设计院集团有限公司
-
出处
《铁道通信信号》
2017年第7期68-72,共5页
-
文摘
介绍一种能辅助SCADE(Safety-Critical Application Development Environment)自动生成仿真所需数据的联合仿真平台。该平台采用Tcl/Expect脚本语言设计,通过脚本驱动生成仿真交互所需数据,同时能够回归执行所有脚本,实现自动化联合仿真。
-
关键词
高安全性的应用程序开发环境
联合仿真
工具命令语言
-
Keywords
SCADE
Co-simulation
Tcl
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
