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

• 作者: 刘厦 周兴社 张凡 王宇英
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: CPS仿真建模 物理实体 计算实体 行为模型 面向时间的状态精化
• 年，卷（期）: 2012,（7）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 32-35,68
• 分类号: TP391.9
• 字数: 5931字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.07.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周兴社	西北工业大学计算机学院	251	2217	23.0	35.0
2	王宇英	西北工业大学计算机学院	13	83	6.0	8.0
3	张凡	西北工业大学计算机学院	33	323	9.0	17.0
4	刘厦	西北工业大学计算机学院	2	33	2.0	2.0