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

摘要：

CPS仿真建模在构建CPS系统时具有重要意义,不仅能够在系统开发过程中对系统进行验证和测试,而且是模型驱动开发中的重要环节.CPS系统通过精化和提炼可分为物理实体和计算实体,采用具有动态连续性、基于时间的运动状态行为模型构建物理实体;计算实体模型则采用基于有限状态机的离散系统行为模型进行构建.通过面向时间的状态精化对两种行为模型进行扩展,将两种扩展模型进行融合,完成CPS系统的建模仿真.分析了构建计算实体模型的统一建模语言(UML)以及构建物理实体模型的simulink/RTW建模工具的可行性,提出了基于UML框架的两种异质模型融合方法.

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

所属期刊栏目：39

分类号：TP391.9(计算技术、计算机技术)

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

在线出版日期：2012-12-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：32-35,68