论文部分内容阅读
信息物理融合系统(CPS)被认为是继计算机、互联网之后的第三次技术革命。互联网改变了人与人之间的交互方式,而CPS将会改变人类与物理世界的交互方式。CPS连接了计算机系统和物理世界,使得物理实体变得更加的智能化,可以达到高度自治,计算世界与物理世界逐渐融合在一起。在现在很难精确预计到CPS在未来能发挥的积极作用,但是不可否认CPS拥有的巨大潜力。本文提出以高安全性应用开发环境(SCADE)作为信息物理融合系统的应用开发平台。SCADE是一个高安全性的应用开发平台,包含了嵌入式软件开发的整体流程。而CPS作为嵌入式系统之后的下一代智能系统,必然会集成嵌入式系统的种种特征。因此,SCADE可以作为CPS开发的一种工具。利用SCADE分析与设计CPS,可以充分利用SCADE开发平台的各种优点,例如提高软件开发效率、降低软件开发成本、保证开发软件的高安全性的特点等等。并且CPS是一个反应式系统,这点与SCADE只能开发反应式系统的特征上不谋而合。基于无线通信的自动列车控制系统(CBTC)是当前轨道交通控制系统的新趋势.CBTC系统打破了传统TBTC系统的基于轨道的列车控制与定位的种种缺点,是新一代的列车控制系统。在本文中将CBTC系统作为轨道交通信息物理融合系统的实例,使用SCADE开发工具对CBTC系统的模块进行了分析与设计工作。CBTC系统将会是未来轨道交通信息物理融合系统的核心。本文采用SCADE软件开发工具对CBTC系统进行了分析与设计,对CBTC的相关子系统：区域控制器(ZC)、车载子系统(VOBC).自动列车监控系统(ATS)、计算机联锁子系统(CBI)、数据通信子系统(DCS)做了详细的系统分析。接着对CBTC系统的主要功能做了详细的设计工作,包括MA的计算功能、列车状态管理功能等。最后总结了使用SCADE作为CPS分析与设计工具的优缺点。实验证明将SCADE作为CPS的一种分析与设计工具的探索确实有着其实施的可能性。