基于SCADE的计算机联锁软件开发研究  

Study on developing computer interlocking software using SCADE

作　　者：张恬[1] ZHANG Tian(China Railway First Survey and Design Institute Group Co.Ltd.,Xi'an 710043,China)

机构地区：[1]中铁第一勘察设计院集团有限公司,西安710043

出　　处：《铁路计算机应用》2020年第12期53-56,共4页Railway Computer Application

基　　金：中铁第一勘察设计院集团有限公司科研计划项目(院科18-32)。

摘　　要：计算机联锁软件安全性要求高,功能不断扩展,其开发与维护面临的压力日益增大。文章研究高安全性应用程序开发环境(SCADE)及其支持的软件开发过程,依据计算机联锁系统相关技术规范定义的需求规约,尝试利用SCADE进行计算机联锁软件开发。研究实践表明,SCADE是一套较为实用的基于模型的软件工程开发工具,可支持V模型软件开发流程,能够帮助开发人员有效管控软件开发风险,为联锁软件的进一步开发提供参考。Computer interlocking software is one kind of safety critical application.With the continuous expansion of its functionalities,its development and maintenance will face ever-increasing pressures.Therefore,a study was made on the SCADE,namely Safety Critical Application Development Environment,and the process of software development that the SCADE can support.According to the requirements formulated in related technical specifications,a trial was made to use the SCADE to develop computer interlocking software.The practice demonstrates that the SCADE is a suite of tool applicable for model-based software engineering and can enable V-model software development process and helps the developers effectively manage the risks associated with software development.It provides a reference for the development of interlocking software.

关 键 词：铁路信号 计算机联锁 软件开发 高安全性应用程序开发环境 基于模型的软件工程 

分 类 号：U283.5[交通运输工程—交通信息工程及控制]