高级检索 加入收藏
  • 查询稿件
  • 获取最新论文
  • 知晓行业信息
赵荣亮, 王长林. 高速铁路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分界口临时限速系统建模与验证

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

    摘要
  • 摘要: 临时限速是高速铁路列控系统的重要组部分,CTC行车调度台分界口处的临时限迷信息交互频繁,对实时性的要求也更苛刻.为满足其实时性要求,采用时间自动机理论,结合分界口处临时限速相邻设备间的交互过程,分别建立各设备的时间自动机模型,通过时间自动机的积构建整个交互系统的网络模型,并利用UPPAAL验证工具对模型的功能和性能属性进行形式化验证.验证结果确认了交互过程中系统的安全性和受限活性.

     

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

/

返回文章
返回