高级检索 加入收藏
  • 查询稿件
  • 获取最新论文
  • 知晓行业信息
官方微信 欢迎关注

基于Event-B的联锁进路控制建模验证方法研究

童湖东, 宁滨, 王海峰

童湖东, 宁滨, 王海峰. 基于Event-B的联锁进路控制建模验证方法研究[J]. 铁路计算机应用, 2013, 22(6): 57-61.
引用本文: 童湖东, 宁滨, 王海峰. 基于Event-B的联锁进路控制建模验证方法研究[J]. 铁路计算机应用, 2013, 22(6): 57-61.
shu
TONG Hudong, NING Bin, WANG Haifeng. Research on Event-B based modeling and verification of interlocking route control[J]. Railway Computer Application, 2013, 22(6): 57-61.
Citation: TONG Hudong, NING Bin, WANG Haifeng. Research on Event-B based modeling and verification of interlocking route control[J]. Railway Computer Application, 2013, 22(6): 57-61.
shu

基于Event-B的联锁进路控制建模验证方法研究

  • 北京交通大学轨道交通控制与安全国家重点实验室,北京,100044%北京交通大学轨道交通运行控制系统国家工程研究中心,北京,100044

详细信息

  • 中图分类号: U284.3:TP39

Research on Event-B based modeling and verification of interlocking route control

摘要

    摘要
  • 摘要: 计算机联锁系统具有典型的安全苛求特性.传统的联锁软件开发方法难以完整准确地定义需求,单纯依靠测试也无法发现软件中的所有错误,使软件在功能完整性和安全性方面难以得到保证.本文利用形式化Event-B方法和相关工具对联锁系统的核心功能-进路控制的相关功能需求和安全需求进行了建模、精化和验证,对开发高安全苛求和高可靠性的联锁软件提供了新的方法借鉴.
    • HTML全文
    • 参考文献(0)
    • 相关文章
    • 施引文献
    • 资源附件(0)
计量
  • 文章访问数:  44
  • HTML全文浏览量:  0
  • PDF下载量:  159
  • 被引次数: 0
出版历程
  • 收稿日期:  2013-06-14
  • 录用日期:  2013-06-14
  • 刊出日期:  2013-06-14

目录

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

    /

    返回文章
    返回

    京ICP备12043220号-2

    本系统版权所有：北京仁和汇智信息技术有限公司   百度统计