列车运行控制系统的形式化研究进展与趋势  

Research Progress and Trend of Formal Methods for Train Control System

作　　者：吕继东 卢万里 唐涛[2] 罗正伟 LÜ Jidong;LU Wanli;TANG Tao;LUO Zhengwei(National Engineering Research Center of Rail Transportation Operation and Control System,Beijing Jiaotong University,Beijing 100044,China;State Key Laboratory of Rail Traffic Control and Safety,Beijing Jiaotong University,Beijing 100044,China)

机构地区：[1]北京交通大学轨道交通运行控制系统国家工程研究中心,北京100044 [2]北京交通大学轨道交通控制与安全国家重点实验室,北京100044

出　　处：《前瞻科技》2023年第1期106-117,共12页Science and Technology Foresight

基　　金：国家自然科学基金(52272329);北京市自然科学基金(L201004)。

摘　　要：列车运行控制系统是保障列车安全与高效运行的核心。目前中国列车运行控制技术整体已步入世界先进水平,正在向智能化、智慧化方向发展,迫切需要以自主化工具平台支撑的正向研发设计方法。形式化方法是保障列车运行控制系统功能正确实现的关键。文章首先回顾了列车运行控制系统的发展过程,分析了计算机时代列车运行控制系统的特点;总结了国内外列车运行控制领域形式化的应用研究、取得的进展和趋势,并对比了国内外列车运行控制领域形式化研究的差异;最后提出了采用基于模型的系统工程方法进行列车运行控制系统正向设计的发展方向,并从系统正向顶层设计、形式化技术自主化和人才队伍培养方面给出了发展建议,力求实现功能强大、覆盖全面、性能先进的列车运行控制系统。The train control system is the core for safe and efficient train operation.China’s current train control technology as a whole has reached the world’s advanced level and is developing toward intelligent and smart technologies.There is an urgent need for forward research and development and design methods supported by independent tool platforms.The formal method is the key to ensuring the correct implementation of the train control system’s functions.This paper first reviews the development process of the train control system and analyzes its characteristics in the computer era.Then,this paper summarizes the application research,progress,and trend of formal methods in train control both in and outside China and compares the differences in research on formal methods for train control.Finally,the development direction of the forward design of the train control system using model-based systems engineering(MBSE)is proposed,and development suggestions are given from the aspects of the system’s forward top-level design,formal technology independence,and talent team training.The efforts are dedicated to obtaining a train control system with powerful functions,comprehensive coverage,and advanced performance.

关 键 词：列车运行控制系统 形式化方法 基于模型的开发 需求规范 建模验证 

分 类 号：U284.48[交通运输工程—交通信息工程及控制]