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

• 作者: 杜德慧 黄平
• 来源期刊: 华东师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 信息物理融合系统 SysML/MARTE/pCCSL 协同建模 元模型 智能建筑
• 年，卷（期）: 2019,（1）
• 所属期刊栏目: 计算机科学
• 页码范围: 48-57
• 页数: 10页
• 分类号: TP311
• 字数: 5403字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-5641.2019.01.006

摘要

信息物理融合系统(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的元模型.最后,给出了一个智能建筑的案例以展示所提出的协同建模方法的可用性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄平	华东师范大学计算机科学与软件工程学院	84	121	7.0	8.0
2	杜德慧	华东师范大学计算机科学与软件工程学院	2	9	1.0	2.0