基于模型的列车运行控制系统设计与验证方法

本书结合列车运行控制系统开发过程的特点，介绍了基于模型的列控系统设计及验证方法、技术和工具，重点阐述了通过使用不同的模型，在开发过程中的不同阶段从不同的视角对系统进行建模，并通过模型为开发过程提供进一步的支撑。作为应用实例，介绍了如何使用本书介绍的理论和方法对CTCS-3级列控系统进行安全分析、形式化验证、代码生成、测试及监控。