面向CPS系统仿真的建模方法研究与设计  

Research and Design for the Modeling of Simulation of CPS

作　　者：刘厦[1] 王宇英[1] 周兴社[1] 张凡[1] 

机构地区：[1]西北工业大学计算机学院,西安710129

出　　处：《计算机科学》2012年第7期32-35,68,共5页Computer Science

基　　金：国家863计划主题项目(2011AA010101);西安市科技计划项目(CXY1008)资助

摘　　要：CPS仿真建模在构建CPS系统时具有重要意义,不仅能够在系统开发过程中对系统进行验证和测试,而且是模型驱动开发中的重要环节。CPS系统通过精化和提炼可分为物理实体和计算实体,采用具有动态连续性、基于时间的运动状态行为模型构建物理实体;计算实体模型则采用基于有限状态机的离散系统行为模型进行构建。通过面向时间的状态精化对两种行为模型进行扩展,将两种扩展模型进行融合,完成CPS系统的建模仿真。分析了构建计算实体模型的统一建模语言(UML)以及构建物理实体模型的simulink/RTW建模工具的可行性,提出了基于UML框架的两种异质模型融合方法。The simulation and modeling of CPS are of great significance in the development of CPS-System,not only can help testing and validating in the process of building system, but also are the Model-driven development＇s important part. Cyber physical system can be divided into physical entity and computation entity by means of essence and refining. Physical entity can be constructed by dynamic continuous-and time-based motion-state of behavioral model and using fi- nite state-machine of behavioral model to carry on construct computation entity. This paper extended these two beha- vioral models through time oriented state-refinement, and used the extended models to complete the simulation and mode- ling of CPS, besides, discussed the ability of using Unified Model Language to build computation entity and using Simu- link/RTW tools to construct physical entity, and proposed the approach for integration of heterogeneous models at the framework of UML.

关 键 词：CPS仿真建模 物理实体 计算实体 行为模型 面向时间的状态精化 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]