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

首页 > 图书 > 科技/2020-08-05 / 加入收藏 / 阅读 [打印]
基于模型的列车运行控制系统设计与验证方法

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

作者:唐涛

开 本:16开

书号ISBN:9787113159290

定价:45.0

出版时间:2014-03-01

出版社:中国铁道出版社

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

      唐涛、赵林、徐田华、吕继东、牛儒等编著的这本《基于模型的列车运行控制系统设计与验证方法》主要介绍基于模型的列车运行控制系统设计与验证方法,着重阐述设计与验证方法的原理、实现技术以及应用。全书共六章,主要内容包括:列控系统需求的建模与验证,列控系统的安全分析,基于模型的列控系统软件设计,基于模型的测试,列控系统的运行时验证。   《基于模型的列车运行控制系统设计与验证方法》可以作为轨道交通控制专业研究生的学习用书,也可以供有关工程技术人员参考。

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

    唐涛、赵林、徐田华、吕继东、牛儒等编著的这本《基于模型的列车运行控制系统设计与验证方法》针对轨道交通列控系统的发展历程和特点、传统开发方法面临的挑战,分析总结了基于模型的设计与验证方法的优势。在需求层面,针对列控系统的信息-物理融合属性进行了建模和形式化验证,使用的模型包括扩展uml模型、混合通信进程(hcsp)模型以及混成自动机模型。并进行了系统安全分析,论述了经典安全分析方法和应用,重点介绍基于模型的安全分析技术。在设计构造环节,论述了基于模型的列控系统软件设计方法,基于scade和基于dsl-r的开发工具和实例。对于列控系统测试,介绍了基于模型的测试用例自动生成方法,结合观测自动机理论进行了列控系统车载设备测试用例自动生成,并搭建了适合于ctcs-3级列控系统车载设备的互联互通测试平台。作为运行阶段的安全保障技术,主要介绍运行时验证技术,其核心是监控需求的精确表达和监控器的生成。

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

**章  绪论  **节  列车运行控制系统  第二节  列控系统开发方法的发展趋势  参考文献第二章  列控系统需求的建模与验证  **节  基于uml扩展的建模方法  第二节  基于混合通信顺序进程的建模方法  第三节  需求模型的验证  参考文献第三章  列控系统的安全分析  **节  安全分析方法及其演变  第二节  基于模型安全分析的建模思想  第三节  基于模型安全分析的建模语言  第四节  基于mbsa方法的列控系统安全分析  参考文献第四章  基于模型的列控系统软件设计  **节  软件设计理论和方法  第二节  基于模型的软件开发——scade  第三节  基于模型驱动和dsl的列控系统设计  参考文献第五章  基于模型的测试  **节  基于时间自动机的建模方法  第二节  基于观测自动机的测试案例自动生成方法  第三节  基于数据驱动的测试平台  参考文献第六章  列控系统的运行时验证  **节  运行时验证的发展  第二节  基于自动机的监视器构造  第三节  基于公式重写的运行监控  第四节  列控领域应用  参考文献
基于模型的列车运行控制系统设计与验证方法

工业技术 汽车与交通运输

在线阅读

  • 最新内容
  • 相关内容
  • 网友推荐
  • 图文推荐