编辑推荐
唐涛、赵林、徐田华、吕继东、牛儒等编著的这本《基于模型的列车运行控制系统设计与验证方法》针对轨道交通列控系统的发展历程和特点、传统开发方法面临的挑战,分析总结了基于模型的设计与验证方法的优势。在需求层面,针对列控系统的信息-物理融合属性进行了建模和形式化验证,使用的模型包括扩展UML模型、混合通信进程(HCSP)模型以及混成自动机模型。并进行了系统安全分析,论述了经典安全分析方法和应用,重点介绍基于模型的安全分析技术。在设计构造环节,论述了基于模型的列控系统软件设计方法,基于SCADE和基于DSL-R的开发工具和实例。对于列控系统测试,介绍了基于模型的测试用例自动生成方法,结合观测自动机理论进行了列控系统车载设备测试用例自动生成,并搭建了适合于CTCS-3级列控系统车载设备的互联互通测试平台。作为运行阶段的安全保障技术,主要介绍运行时验证技术,其核心是监控需求的精确表达和监控器的生成。
内容简介
唐涛、赵林、徐田华、吕继东、牛儒等编著的这本《基于模型的列车运行控制系统设计与验证方法》主要介绍基于模型的列车运行控制系统设计与验证方法,着重阐述设计与验证方法的原理、实现技术以及应用。全书共六章,主要内容包括:列控系统需求的建模与验证,列控系统的安全分析,基于模型的列控系统软件设计,基于模型的测试,列控系统的运行时验证。
《基于模型的列车运行控制系统设计与验证方法》可以作为轨道交通控制专业研究生的学习用书,也可以供有关工程技术人员参考。