【摘要】信息物理融合系统(CPS)被认为是继计算机、互联网之后的第三次技术革命。互联网改变了人与人之间的交互方式,而CPS将会改变人类与物理世界的交互方式。CPS连接了计算机系统和物理世界,使得物理实体变得更加的智能化,可以达到高度自治,计算世界与物理世界逐渐融合在一起。在现在很难精确预计到CPS在未来能发挥的积极作用,但是不可否认CPS拥有的巨大潜力。本文提出以高安全性应用开发环境(SCADE) […]

【摘要】基于通信的列车控制系统(CommunicationBasedTrainControlSystem,CBTC)是目前世界上比较先进的列车控制系统,也是城市轨道交通列车控制系统未来发展的方向,目前该系统广泛应用在我国许多城市地铁项目中。列车自动防护(AutomaticTrainProtection,ATP)系统是城市轨道交通CBTC系统的关键子系统,是一种在高速条件下保障列车运行安全的和提高运 […]

【摘要】CBTC系统作为保证行车安全的列车自动控制系统,具有基于计算机控制、移动闭塞追踪、闭环控制等优点。相比传统的固定闭塞列车自动控制系统：CBTC系统通过不同种类的数据来实现对系统真实环境的描述和系统功能的驱动,数据安全是CBTC系统安全的一个重要组成环节,但保证数据安全是轨道交通安全生产的突出薄弱环节。因此,开展CBTC系统数据安全的研究具有重要意义。本文以我国自主研制的CBTC系统为研究对 […]