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

高速铁路CTC分界口临时限速系统建模与验证

赵荣亮, 王长林

赵荣亮, 王长林. 高速铁路CTC分界口临时限速系统建模与验证[J]. 铁路计算机应用, 2014, 23(7): 43-47.
引用本文: 赵荣亮, 王长林. 高速铁路CTC分界口临时限速系统建模与验证[J]. 铁路计算机应用, 2014, 23(7): 43-47.
shu
ZHAO Rongliang%WANG Changlin, . Modeling and verification of Temporary Speed Restriction System in boundary area of CTC[J]. Railway Computer Application, 2014, 23(7): 43-47.
Citation: ZHAO Rongliang%WANG Changlin, . Modeling and verification of Temporary Speed Restriction System in boundary area of CTC[J]. Railway Computer Application, 2014, 23(7): 43-47.
shu

高速铁路CTC分界口临时限速系统建模与验证

  • 西南交通大学 信息科学与技术学院,成都,610031

详细信息

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

Modeling and verification of Temporary Speed Restriction System in boundary area of CTC

摘要

    摘要
  • 摘要: 临时限速是高速铁路列控系统的重要组部分,CTC行车调度台分界口处的临时限迷信息交互频繁,对实时性的要求也更苛刻.为满足其实时性要求,采用时间自动机理论,结合分界口处临时限速相邻设备间的交互过程,分别建立各设备的时间自动机模型,通过时间自动机的积构建整个交互系统的网络模型,并利用UPPAAL验证工具对模型的功能和性能属性进行形式化验证.验证结果确认了交互过程中系统的安全性和受限活性.
    • HTML全文
    • 参考文献(0)
    • 相关文章
    • 施引文献
    • 资源附件(0)
计量
  • 文章访问数:  45
  • HTML全文浏览量:  0
  • PDF下载量:  40
  • 被引次数: 0
出版历程
  • 收稿日期:  2015-10-08
  • 修回日期:  2015-10-08
  • 录用日期:  2014-07-14
  • 刊出日期:  2014-07-14

目录

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

    /

    返回文章
    返回

    京ICP备12043220号-2

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