华东师范大学学报(自然科学版)

作者：黄平, 杜德慧

单位：黄平,女,硕士研究生,研究方向为可信软件.E-mail:aho598@163.com.

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

基金：国家自然科学基金（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的元模型.最后，给出了一个智能建筑的案例以展示所提出的协同建模方法的可用性.

来源：2019年第1期

《华东师范大学学报(自然科学版)》期刊编辑部

查看华东师范大学学报(自然科学版)杂志2019年第1期