基于SCADE的城轨联锁软件开发方法的研究  

Research on method of software development based on SCADE for Urban Transit interlocking

作　　者：张重[1] 刘晓娟[1] 李国瑞[1] 

机构地区：[1]兰州交通大学 电子与信息工程学院,兰州730070

出　　处：《铁路计算机应用》2014年第2期14-16,共3页Railway Computer Application

摘　　要：CBTC的计算机联锁(CBI)系统是一个复杂且安全性要求非常高的系统,若按照传统的方法进行开发,很难达到其所需要的安全性和可靠性。本文提出基于高安全性应用程序开发环境(SCADE)开发城轨联锁系统软件的方法,能有效解决上述问题。文章主要介绍基于SCADE开发CBI软件的流程,建模方法,形式化验证和代码自动生成的方法。Computer based Interlocking（CBl） was a complex system, also a safety critical system. It was difficult to reach the safety and reliability of software needs by the traditional software development process. This paper proposed a method of software development based on Safety-Critical Application Development Environment （SCADE） for Urban Transit interlocking which could effectively solve the above problems. This paper mainly introduced the process of CBI software development based on SCADE, the modeling method, the method of formal verification and code automatically generated.

关 键 词：城轨联锁 形式化方法 建模 

分 类 号：U231.7[交通运输工程—道路与铁道工程] TP39[自动化与计算机技术—计算机应用技术]