摘要
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.
出处
《铁路计算机应用》
2014年第2期14-16,共3页
Railway Computer Application
关键词
城轨联锁
形式化方法
建模
Urban Transit interlocking
SCADE
formal methods
modeling
