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

摘要

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