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

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

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

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

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

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

工业技术 汽车与交通运输

在线阅读