• 查询稿件
  • 获取最新论文
  • 知晓行业信息
官方微信 欢迎关注

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

童湖东, 宁滨, 王海峰

童湖东, 宁滨, 王海峰. 基于Event-B的联锁进路控制建模验证方法研究[J]. 铁路计算机应用, 2013, 22(6): 57-61.
引用本文: 童湖东, 宁滨, 王海峰. 基于Event-B的联锁进路控制建模验证方法研究[J]. 铁路计算机应用, 2013, 22(6): 57-61.
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.

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

详细信息
  • 中图分类号: U284.3:TP39

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

  • 摘要: 计算机联锁系统具有典型的安全苛求特性.传统的联锁软件开发方法难以完整准确地定义需求,单纯依靠测试也无法发现软件中的所有错误,使软件在功能完整性和安全性方面难以得到保证.本文利用形式化Event-B方法和相关工具对联锁系统的核心功能-进路控制的相关功能需求和安全需求进行了建模、精化和验证,对开发高安全苛求和高可靠性的联锁软件提供了新的方法借鉴.
  • 期刊类型引用(9)

    1. 韦方政. 城轨全自动行车系统防护区域的划分方案. 铁道通信信号. 2022(09): 91-94 . 百度学术
    2. 魏宝成. 安全风险管理信息系统在运输安全管理中的应用. 铁路计算机应用. 2021(11): 81-84 . 本站查看
    3. 封力民. 铁路安全生产责任制管理体系研究与应用. 中国铁路. 2020(05): 53-56 . 百度学术
    4. 宁静,关则彬,佘振国,陶承. 风险量化模型在铁路安全风险预警中的应用. 铁路计算机应用. 2018(04): 51-53+58 . 本站查看
    5. 张磊,王喆. 基于铁路安全管理信息报告的文本挖掘技术研究. 铁路计算机应用. 2018(08): 9-12 . 本站查看
    6. 侯俊,宁静,佘振国,陶承. 铁路局干部履职管理信息系统的实践与思考. 铁路计算机应用. 2018(09): 30-34 . 本站查看
    7. 杨光,吴国军,罗雨欣. 客运段调令管理系统的开发与应用. 铁路计算机应用. 2018(10): 30-34 . 本站查看
    8. 蒋丽丽,封博卿. 京沪高铁周边环境安全隐患智能监测体系研究. 铁路计算机应用. 2018(11): 48-51+59 . 本站查看
    9. 宁静,佘振国,关则彬,陶承. 基于工作危害分析法的铁路作业风险控制研究. 铁路计算机应用. 2018(12): 5-8 . 本站查看

    其他类型引用(6)

计量
  • 文章访问数:  42
  • HTML全文浏览量:  0
  • PDF下载量:  159
  • 被引次数: 15
出版历程
  • 收稿日期:  2013-06-14
  • 录用日期:  2013-06-14
  • 刊出日期:  2013-06-14

目录

    /

    返回文章
    返回