信息-物理融合系统动态行为模型构建方法

• 作者: 周兴社 杨亚磊 杨刚
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 信息-物理融合系统 动态行为建模 一体化模型 集成建模 协同方法
• 年，卷（期）: 2014,（6）
• 所属期刊栏目: 物联网
• 页码范围: 1411-1423
• 页数: 13页
• 分类号: TP311
• 字数: 10737字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2014.01411

摘要

信息物理融合系统(Cyber-Physical System,CPS)特有的计算、通信、控制的联合动态性,计算与物理的多尺度融合性,系统环境及状态的时空交互性以及系统动态行为的非确定性,不但使面向CPS的模型驱动设计与验证方法在CPS系统设计中更为重要,而且也向其提出了新的技术挑战.论文在结合典型实例分析CPS系统特征及其模型构建具体挑战的基础上,研究并总结了CPS动态行为建模的主要方法:一体化建模方法从CPS系统层面描述计算过程与物理过程的交互与融合;时空交互建模方法关注CPS系统行为与时间及空间关系的语义表示;功能和实现兼容建模方法侧重刻画CPS系统的逻辑设计和物理实现的映射与支撑;而集成建模方法则重点解决多异构模型的交互方式与语义的一致表达.论文基于多异构实体的CPS系统建模框架,提出了一种CPS系统结构与动态行为的协同建模方法,并用CPS-ADL对其进行了实现和验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周兴社	西北工业大学计算机学院	251	2217	23.0	35.0
2	杨刚	西北工业大学计算机学院	26	264	9.0	16.0
3	杨亚磊	西北工业大学计算机学院	4	67	3.0	4.0