基于模型的列车运行控制系统设计与验证方法
书 号：9787113159290
丛 书 名：
作 者：唐涛 赵林 徐田华 吕继东 牛儒 张路
译 者：
开 本：小16开
装 帧：精装
正文语种：汉文
出 版 社：中国铁道出版社有限公司
定 价：45元
-
内容简介
本书结合列车运行控制系统开发过程的特点，介绍了基于模型的列控系统设计及验证方法、技术和工具，重点阐述了通过使用不同的模型，在开发过程中的不同阶段从不同的视角对系统进行建模，并通过模型为开发过程提供进一步的支撑。作为应用实例，介绍了如何使用本书介绍的理论和方法对CTCS-3级列控系统进行安全分析、形式化验证、代码生成、测试及监控。本书是在国家高技术研究发展计划（863计划）项目“面向信息-物理融合的系统平台”子课题——“轨道交通CPS系统的感知、运行和安全技术应用验证”（编号：2011AA010104）以及的资助下完成的。 -
前言
-
目录
-
作者介绍
主要著译者顺序姓名学历职称学科专长通讯地址1 唐涛 教授 工作单位北京交通大学 邮政编码 电话 2 工作单位 邮政编码 电话 3 工作单位 邮政编码 电话 审校者（主审者） 学历 工作单位 邮政编码 电话 职称 工作单位 邮政编码 电话 -
编辑推荐
-
书评书荐
-
附件下载
图书推荐
