列车运行控制系统规范建模与验证

唐涛，徐田华，赵林著

作者唐涛，徐田华，赵林著
出版社北京：中国铁道出版社
标注页数206 页
文件页数213 页
文件大小19.13 MB
出版时间2010
ISBN9787113114602

内容简介

本书主要介绍了实现列控系统需求规范的严格建模与验证所必须的理论、方法和关键技术，内容包括现代列车运行控制系统的特点和相关标准规范、系统规范的严格建模与验证体系、模型检验相关基础知识、需求规范的管理和追踪、列控领域的UML建模以及针对CTCS-3系统规范展开的实例分析。本书内容丰富，注重背景，可以作为研究生、教师以及轨道交通控制领域相关的科研人员了解列控系统规范的建模与验证的基本思想和方法的参考书。

发现好书期刊，享受阅读乐趣

列车运行控制系统规范建模与验证