2023, 2 (1):
106-117
列车运行控制系统是保障列车安全与高效运行的核心。目前中国列车运行控制技术整体已步入世界先进水平，正在向智能化、智慧化方向发展，迫切需要以自主化工具平台支撑的正向研发设计方法。形式化方法是保障列车运行控制系统功能正确实现的关键。文章首先回顾了列车运行控制系统的发展过程，分析了计算机时代列车运行控制系统的特点;总结了国内外列车运行控制领域形式化的应用研究、取得的进展和趋势，并对比了国内外列车运行控制领域形式化研究的差异;最后提出了采用基于模型的系统工程方法进行列车运行控制系统正向设计的发展方向，并从系统正向顶层设计、形式化技术自主化和人才队伍培养方面给出了发展建议，力求实现功能强大、覆盖全面、性能先进的列车运行控制系统。
