[发明专利]一种基于SysML/MARTE的信息物理融合系统的建模方法

摘要

本发明公开了一种基于SysML/MARTE的信息物理融合系统的建模方法，提取一个SysML的子集和一个MARTE的子集，用于建模系统的连续行为、随机行为和非功能属性等，旨在以多视角建模的方式构建信息物理融合系统的模型。具体实施步骤如下：分析系统的需求；根据系统需求从提取的SysML子集和MARTE子集中选择需要的建模元素；利用扩展的需求图定义系统需要满足的性质约束，实现需求建模；使用所提取的SysML建模元素建模系统的架构，实现架构建模；使用所提取的MARTE建模元素对系统的连续行为、随机行为、非功能属性建模。本发明创建了一个SysML/MARTE建模元素的扩展子集，实现在良定义的语义基础上建模信息物理融合系统，为设计、开发信息物理融合系统提供了一种有效的建模方式。

主权项

1.一种基于SysML/MARTE的信息物理融合系统的建模方法，其特征在于，对系统的硬件和软件部分建模，步骤如下：S1：分析系统的需求，包括硬件与软件需求；S2：根据需求从提取的SysML子集和MARTE子集中选择需要的建模元素，包括扩展后的建模元素，S2具体步骤包括：S21：根据需求确定建模所需的图，包括但不限于SysML和基本UML中的图；S22：确定建模所需的UML/SysML/MARTE元素；S23：针对信息物理融合系统中的其他特性建立特定的profile；S3：使用扩展的需求图PatternedRequirement建模CPS系统的需求；S4:使用提取的SysML子集及扩展后的建模元素来建模CPS系统的架构，具体包括View、Block、Part、ModelicaBlock、SimulinkBlock、PrismBlock、UppaalBlock；S5:使用提取的MARTE子集对CPS系统不同模块的行为建模，具体包括NFP_CommonType、NFP_Real、NFP_Energy、NFP_Temperature、Mode、ModeBehavior、ModeTransition、TimedProcessing、GaScenario、GaStep。