SCADE工具在轨道交通联锁软件开发中的应用

• 作者: 张娜敏 赵璐
• 来源期刊: 信息化研究
• 学科: 交通运输
• 关键词: SCADE 基于模型 应用 联锁
• 年，卷（期）: 2019,（1）
• 所属期刊栏目: 技术与应用
• 页码范围: 65-70
• 页数: 6页
• 分类号: U231.7
• 语种: 中文

摘要

SCADE工具是一种高安全应用开发环境, 为高安全性应用系统的软件开发人员提供了一套完整的基于模型的开发解决方案, 以此降低开发成本, 提高开发质量, 缩短开发周期, 减少开发风险.文中详细介绍了SCADE工具在轨道交通联锁软件开发过程中的应用.SCADE工具应用于联锁逻辑模型的设计、静态分析、动态测试、覆盖率分析、自动代码生成、时间堆栈分析、设计文档生成、需求追踪等, 覆盖了开发过程的各个阶段.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张娜敏		4	3	1.0	1.0
2	赵璐		2	0	0.0	0.0