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

计算机联锁软件安全性要求高，功能不断扩展，其开发与维护面临的压力日益增大。文章研究高安全性应用程序开发环境（SCADE）及其支持的软件开发过程，依据计算机联锁系统相关技术规范定义的需求规约，尝试利用SCADE进行计算机联锁软件开发。研究实践表明，SCADE是一套较为实用的基于模型的软件工程开发工具，可支持V模型软件开发流程，能够帮助开发人员有效管控软件开发风险，为联锁软件的进一步开发提供参考。

Study on developing computer interlocking software using SCADE

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.