题名:	基于模型的列车运行控制系统设计与验证方法 / 唐涛，赵林，徐田华，吕继东，牛儒，张路著 ,
ISBN:	978 7 113 15929 0 价格：
出版发行:	出版地：出版社：中国铁道出版社出版日期： 2014.03
内容提要:	本书结合列车运行控制系统开发过程的特点，介绍了基于模型的列控系统设计及验证方法、技术和工具，重点阐述了通过使用不同的模型，在开发过程中的不同阶段从不同的视角对系统进行建模，并通过模型为开发过程提供进一步的支撑。作为应用实例，介绍了如何使用本书介绍的理论和方法对CTCS.3级列控系统进行安全分析、形式化验证、代码生成、测试及监控。
主题词:	交通运输>铁路运输>铁路通信、信号>铁路信号>区间闭塞与机车信号系统>列车运行自动化
中图分类法:	U284.48 版次：