版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
SCADE工具在轨道交通联锁软件开发中的应用
The Application of SCADE in the Development of Interlocking Software for Rail Transit作者机构：南京恩瑞特实业有限公司南京211106
出 版 物：《信息化研究》 (INFORMATIZATION RESEARCH)
年 卷 期：2019年第45卷第1期
页 面：65-70页
学科分类：08[工学] 0835[工学-软件工程] 082302[工学-交通信息工程及控制] 081202[工学-计算机软件与理论] 0823[工学-交通运输工程] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：SCADE工具是一种高安全应用开发环境,为高安全性应用系统的软件开发人员提供了一套完整的基于模型的开发解决方案,以此降低开发成本,提高开发质量,缩短开发周期,减少开发风险。文中详细介绍了SCADE工具在轨道交通联锁软件开发过程中的应用。SCADE工具应用于联锁逻辑模型的设计、静态分析、动态测试、覆盖率分析、自动代码生成、时间堆栈分析、设计文档生成、需求追踪等,覆盖了开发过程的各个阶段。
