基于模型的列车运行控制系统设计与验证方法 本书特色
唐涛、赵林、徐田华、吕继东、牛儒等编著的这本《基于模型的列车运行控制系统设计与验证方法》主要介绍基于模型的列车运行控制系统设计与验证方法，着重阐述设计与验证方法的原理、实现技术以及应用。全书共六章，主要内容包括：列控系统需求的建模与验证，列控系统的安全分析，基于模型的列控系统软件设计，基于模型的测试，列控系统的运行时验证。
《基于模型的列车运行控制系统设计与验证方法》可以作为轨道交通控制专业研究生的学习用书，也可以供有关工程技术人员参考。
基于模型的列车运行控制系统设计与验证方法 内容简介
唐涛、赵林、徐田华、吕继东、牛儒等编著的这本《基于模型的列车运行控制系统设计与验证方法》针对轨道交通列控系统的发展历程和特点、传统开发方法面临的挑战，分析总结了基于模型的设计与验证方法的优势。在需求层面，针对列控系统的信息-物理融合属性进行了建模和形式化验证，使用的模型包括扩展uml模型、混合通信进程（hcsp）模型以及混成自动机模型。并进行了系统安全分析，论述了经典安全分析方法和应用，重点介绍基于模型的安全分析技术。在设计构造环节，论述了基于模型的列控系统软件设计方法，基于scade和基于dsl-r的开发工具和实例。对于列控系统测试，介绍了基于模型的测试用例自动生成方法，结合观测自动机理论进行了列控系统车载设备测试用例自动生成，并搭建了适合于ctcs-3级列控系统车载设备的互联互通测试平台。作为运行阶段的安全保障技术，主要介绍运行时验证技术，其核心是监控需求的精确表达和监控器的生成。
基于模型的列车运行控制系统设计与验证方法 目录
**章 绪论 **节 列车运行控制系统 第二节 列控系统开发方法的发展趋势 参考文献第二章 列控系统需求的建模与验证 **节 基于uml扩展的建模方法 第二节 基于混合通信顺序进程的建模方法 第三节 需求模型的验证 参考文献第三章 列控系统的安全分析 **节 安全分析方法及其演变 第二节 基于模型安全分析的建模思想 第三节 基于模型安全分析的建模语言 第四节 基于mbsa方法的列控系统安全分析 参考文献第四章 基于模型的列控系统软件设计 **节 软件设计理论和方法 第二节 基于模型的软件开发——scade 第三节 基于模型驱动和dsl的列控系统设计 参考文献第五章 基于模型的测试 **节 基于时间自动机的建模方法 第二节 基于观测自动机的测试案例自动生成方法 第三节 基于数据驱动的测试平台 参考文献第六章 列控系统的运行时验证 **节 运行时验证的发展 第二节 基于自动机的监视器构造 第三节 基于公式重写的运行监控 第四节 列控领域应用 参考文献
