北京市科委项目(D111100000411001)
- 作品数：2 被引量：9H指数：1
- 相关作者：步兵彭大天王森黄友能更多>>
- 相关机构：北京交通大学更多>>
- 发文基金：中央高校基本科研业务费专项资金北京市科委项目国家高技术研究发展计划更多>>
- 相关领域：交通运输工程更多>>
- CBTC系统数据管理过程分析和设计被引量：1
- 2013年
- 阐述基于通信的列车自动控制(CBTC)系统的功能,讨论其系统数据所具有的空间性、一致性和关联性等特点。针对CBTC系统数据的特点,提出一种基于数据供应链(data supply chain,DSC)对数据管理过程进行分析和设计的方法,给出具体设计过程的7个步骤,并讨论该方法的可用性和可行性。
- 王森黄友能王伟
- 关键词：数据管理安全苛求系统
- 基于UPPAAL的FAO系统典型运营场景建模与验证被引量：8
- 2013年
- 全自动驾驶系统FAO(Fully Automatic Operation)具有安全、可靠、高效的特点,成为未来城市轨道智能交通系统的主要发展方向。FAO系统典型运营场景是1个实时的过程,为发现其逻辑的错误、功能和性能的缺陷,需要在系统设计前,针对系统需求规范中典型运营场景的实现流程进行形式化分析。本文分析FAO典型运营场景保护区的实现流程,在系统需求规范中提取其功能与性能的需求,采用基于时间自动机理论的UPPAAL构建时间自动机网络模型,进行仿真分析,并验证其功能属性、性能属性与安全属性。通过反例分析、模型修正,增强对FAO系统的理解,减少设计故障,提高安全性,为系统设计与实现打下良好的基础。
- 彭大天步兵
- 关键词：保护区UPPAAL时间自动机
