一种基于SysML/MARTE/pCCSL的信息物理融合系统协同建模方法  

A co-modelling approach for cyber-physical systems with SysML/MARTE/pCCSL

作　　者：黄平 杜德慧 HUANG Ping;DU De-hui(School of Computer Science and Software Engineering,East China Normal University,Shanghai 200062,China)

机构地区：[1]华东师范大学计算机科学与软件工程学院,上海200062

出　　处：《华东师范大学学报（自然科学版）》2019年第1期48-57,共10页Journal of East China Normal University(Natural Science)

基　　金：国家自然科学基金(61472140);上海市自然科学基金(14ZR1412500)

摘　　要：信息物理融合系统(Cyber-Physical Systems, CPS)是一个综合计算、网络和物理环境的多维复杂系统.针对这种异构系统的建模问题一直是人们研究的重点,但是,缺乏系统性的方法来建模CPS的特性,如异构性、不确定性、软硬协同和非功能属性(Non-Functional Properties, NFP)等.提出了一种基于SysML (System Modeling Language)/MARTE (Modeling and Analysis of Real-Time and Embedded Systems)/pCCSL (p Clock Constraint Specification Language)的协同建模方法,实现了从不同视角建模CPS的不同特征,包括系统的结构、行为、时钟约束和NFP.该方法的新颖性在于使用pCCSL规约各模型之间的交互和同步,显式地建模模型之间的逻辑一致性.同时,为了捕捉CPS的特性如随机行为和连续行为,扩展了一些SysML/MARTE的元模型.最后,给出了一个智能建筑的案例以展示所提出的协同建模方法的可用性.Cyber-physical systems(CPS)are multi-dimensional complex systems that integrate computing,networks,and physical environments.The modelling for such hetero-geneous systems is actively researched.However,there still lacks a systematic approach to model characteristics of CPS,such as heterogeneity,uncertainty,hardware/software coor-dination,and Non-Functional Properties(NFP).In this paper,we propose a co-modelling approach that relies on SysML(System Modeling Language)/MARTE(Modeling and Analysis of Real-Time and Embedded Systems)/pCCSL(p Clock Constraint Specification Language)to model different aspects of CPS from different points of view,including structure,behavior,clock constraints,and NFP.The novelty of our approach lies in the use of pCCSL to specify the interaction and synchronization to explicitly model the logical consistency between models.Meanwhile,to capture characteristics of CPS,such as stochastic behavior and continuous behavior,we build upon some meta-models of SysML/MARTE.Finally,to demonstrate the feasibility of our co-modelling approach,we present various models of an energy-aware building as a case study.

关 键 词：信息物理融合系统 SysML/MARTE/pCCSL 协同建模 元模型 智能建筑 

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