基于形式化方法的城轨FAO系统在线危险预测技术

作     者：杨艳艳 王祺 柴铭 Yang Yanyan;Wang Qi;Chai Ming

作者机构：北京城市轨道交通咨询有限公司北京100068 北京交通大学电子信息工程学院北京100044 轨道交通运行控制系统国家工程研究中心北京100044 

基　　金：北京市自然科学基金项目(L181005) 

出 版 物：《铁路通信信号工程技术》 (Railway Signalling & Communication Engineering)

年 卷 期：2021年第18卷第6期

页      码：76-81页

摘      要：提出基于形式化验证的FAO系统在线危险预测技术。利用形式化方法可信检验FAO系统的运行时行为,预测可能出现的列车运行危险,以实现FAO系统的实验室安全性验证。基于混成自动机建立列车运行控制模型,结合线路数据以及车载运行状态,计算列车运行可达集,实现对危险的预测。以北京燕房线FAO为例,设计运行时验证系统,通过仿真试验验证在线危险预测技术具有可行性。

主 题 词：全自动运行 形式化验证 混成自动机 危险预测 

学科分类：08[工学] 082302[082302] 0823[工学-农业工程类] 

D　O　I：10.3969/j.issn.1673-4440.2021.06.015

馆 藏 号：203103681...