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

详细信息

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

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

1.	周思丹. 结合智能手表的疲劳驾驶监测系统. 现代信息科技. 2022(11): 166-168+171 . 百度学术
2.	马世伟，王泽敏，吕宝粮. 基于脑电信号的动车组司机疲劳状态评估技术研究. 铁路节能环保与安全卫生. 2021(04): 43-49 . 百度学术
3.	刘华旺，刘磊，许静，金骁. 基于模拟疲劳驾驶检测的仿真实验教学平台. 测控技术. 2020(10): 145-149 . 百度学术
4.	柴文宇，陈姝. 铁路机车乘务员智能实时监测系统研究. 铁路计算机应用. 2020(12): 21-24 . 本站查看
5.	王延年，柴小强，向秋丽. 基于空间聚类心率检测算法的疲劳驾驶预警手环设计. 国外电子测量技术. 2019(05): 91-95 . 百度学术