发明名称 |
一种基于SysML/MARTE的信息物理融合系统的建模方法 |
摘要 |
本发明公开了一种基于SysML/MARTE的信息物理融合系统的建模方法,提取一个SysML的子集和一个MARTE的子集,用于建模系统的连续行为、随机行为和非功能属性等,旨在以多视角建模的方式构建信息物理融合系统的模型。具体实施步骤如下:分析系统的需求;根据系统需求从提取的SysML子集和MARTE子集中选择需要的建模元素;利用扩展的需求图定义系统需要满足的性质约束,实现需求建模;使用所提取的SysML建模元素建模系统的架构,实现架构建模;使用所提取的MARTE建模元素对系统的连续行为、随机行为、非功能属性建模。本发明创建了一个SysML/MARTE建模元素的扩展子集,实现在良定义的语义基础上建模信息物理融合系统,为设计、开发信息物理融合系统提供了一种有效的建模方式。 |
申请公布号 |
CN106096126A |
申请公布日期 |
2016.11.09 |
申请号 |
CN201610403225.0 |
申请日期 |
2016.06.08 |
申请人 |
华东师范大学 |
发明人 |
杜德慧;黄平;姜凯强;王骁;刘巨富;昝慧;杨明睿 |
分类号 |
G06F17/50(2006.01)I;G06F9/44(2006.01)I |
主分类号 |
G06F17/50(2006.01)I |
代理机构 |
中国商标专利事务所有限公司 11234 |
代理人 |
宋义兴 |
主权项 |
一种基于SysML/MARTE的信息物理融合系统的建模方法,其特征在于,对系统的硬件和软件部分建模,步骤如下:S1:分析系统的需求,包括硬件与软件需求;S2:根据需求从提取的SysML子集和MARTE子集中选择需要的建模元素,包括扩展后的建模元素;S3:使用需求图/扩展的需求图建模系统的需求;S4:使用所提取的SysML元素建模系统的架构;S5:使用所提取的MARTE元素对系统不同模块的行为建模。 |
地址 |
200062 上海市普陀区中山北路3663号 |