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

书名：基于模型的列车运行控制系统设计与验证方法
作者：唐涛，赵林，徐田华，吕继东，牛儒，张路著
ISBN：978-7-113-15929-0
出版社：中国铁道出版社
出版日期：2014.03
本书结合列车运行控制系统开发过程的特点，介绍了基于模型的列控系统设计及验证方法、技术和工具，重点阐述了通过使用不同的模型，在开发过程中的不同阶段从不同的视角对系统进行建模，并通过模型为开发过程提供进一步的支撑。作为应用实例，介绍了如何使用本书介绍的理论和方法对CTCS-3级列控系统进行安全分析、形式化验证、代码生成、测试及监控。