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

Modeling Methods for Dynamic Behaviors of Cyber-Physical System

作　　者：周兴社[1] 杨亚磊[1] 杨刚[1] 

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

出　　处：《计算机学报》2014年第6期1411-1423,共13页Chinese Journal of Computers

基　　金：国家"八六三"高技术研究发展计划项目基金(2011AA010102)资助~~

摘　　要：信息-物理融合系统(Cyber-Physical System,CPS)特有的计算、通信、控制的联合动态性,计算与物理的多尺度融合性,系统环境及状态的时空交互性以及系统动态行为的非确定性,不但使面向CPS的模型驱动设计与验证方法在CPS系统设计中更为重要,而且也向其提出了新的技术挑战.论文在结合典型实例分析CPS系统特征及其模型构建具体挑战的基础上,研究并总结了CPS动态行为建模的主要方法:一体化建模方法从CPS系统层面描述计算过程与物理过程的交互与融合;时空交互建模方法关注CPS系统行为与时间及空间关系的语义表示;功能和实现兼容建模方法侧重刻画CPS系统的逻辑设计和物理实现的映射与支撑;而集成建模方法则重点解决多异构模型的交互方式与语义的一致表达.论文基于多异构实体的CPS系统建模框架,提出了一种CPS系统结构与动态行为的协同建模方法,并用CPS-ADL对其进行了实现和验证.Cyber-Physical System （CPS）,which is characterized as complicated embedded system by the joint dynamics among computation,communication and control,multi-scale fusion between the computation process and physical process,spatio-temporal interaction of the internally state and the physical context,and the non-determinism of the system behaviors,has made model driven design and verification methods of CPSs become more important than ever,as well as posed new challenges to them.Based on inspecting a representative CPS application and analyzing the challenges of CPS modeling,a comprehensive taxonomy of CPS dynamic behavior modeling methods was developed,which consists of the integrated modeling methods aiming at describing the interaction between physical part and computing part on system level,the spatio-temporal modeling methods focusing on abstracting the relations among the semantic of behavior,time and space of the CPS,the compatibility modeling methods between function and implementation concentrating on bridging the gap between the logical design and physical implementation,and the heterogeneous interoperation modeling methods attending to hiding the semantic diverseness to support the interoperation and integration of different modeling approaches.As a result,a modeling framework for the architecture and behaviors of CPS and its implementation by CPS-ADL are provided to illustrate the integrated modeling method.

关 键 词：信息-物理融合系统 动态行为建模 一体化模型 集成建模 协同方法 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]