高级检索 加入收藏
  • 查询稿件
  • 获取最新论文
  • 知晓行业信息
张重, 刘晓娟, 李国瑞. 基于SCADE的城轨联锁软件开发方法的研究[J]. 铁路计算机应用, 2014, 23(2): 14-16.
引用本文: 张重, 刘晓娟, 李国瑞. 基于SCADE的城轨联锁软件开发方法的研究[J]. 铁路计算机应用, 2014, 23(2): 14-16.
shu
ZHANG Zhong%LIU Xiaojuan%LI Guorui, . Research on method of software development based on SCADE for Urban Transit interlocking[J]. Railway Computer Application, 2014, 23(2): 14-16.
Citation: ZHANG Zhong%LIU Xiaojuan%LI Guorui, . Research on method of software development based on SCADE for Urban Transit interlocking[J]. Railway Computer Application, 2014, 23(2): 14-16.
shu

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

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

    摘要
  • 摘要: CBTC的计算机联锁(CBI)系统是一个复杂且安全性要求非常高的系统,若按照传统的方法进行开发,很难达到其所需要的安全性和可靠性.本文提出基于高安全性应用程序开发环境(SCADE)开发城轨联锁系统软件的方法,能有效解决上述问题.文章主要介绍基于SCADE开发CBI软件的流程,建模方法,形式化验证和代码自动生成的方法.

     

    • HTML全文
    • 参考文献(0)
    • 相关文章
    • 施引文献
  • 资源附件(0)

/

返回文章
返回