[发明专利]一种将SysML模型进行仿真验证的方法有效
| 申请号： | 201810367004.1 | 申请日： | 2018-04-23 |
| 公开（公告）号： | CN108664241B | 公开（公告）日： | 2021-05-07 |
| 发明（设计）人： | 钟雯;陈小红 | 申请（专利权）人： | 华东师范大学 |
| 主分类号： | G06F8/34 | 分类号： | G06F8/34 |
| 代理公司： | 上海蓝迪专利商标事务所(普通合伙) 31215 | 代理人： | 徐筱梅;张翔 |
| 地址： | 200241 *** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种将SysML模型进行仿真验证的方法，涉及到的具体步骤包括：(1)定义SysML模块定义图以及活动图元素到Modelica模型元素的转换规则；(2)以模块定义图的XMI文档为输入进行解析，获取模块定义图中模块以及模块的值属性信息；(3)以活动图的XMI文档为输入进行解析，获取活动图活动分区、活动参数、节点以及边的信息；(4)根据转换规则将获取的SysML活动图和模块定义图的信息转换成Modelica模型；(5)将转换后的Modelica模型导入仿真工具，根据活动图中决定节点上的条件表达式和所覆盖分支上的监值确定仿真参数，之后进行仿真验证。本发明通过对SysML模型进行仿真验证，可以在早期的开发阶段对系统特定的业务需求进行验证，从而及早发现错误并修正。 | ||
| 搜索关键词： | 一种 sysml 模型 进行 仿真 验证 方法 | ||
【主权项】：
1.一种将SysML模型进行仿真验证的方法，其特征在于，该方法包括以下具体步骤：步骤1：定义SysML模块定义图以及活动图元素到Modelica模型元素的转换规则；步骤2：以模块定义图的XMI文档为输入进行解析，获取模块定义图中基本元素即模块(block)以及模块的值属性信息；步骤3：以活动图的XMI文档为输入进行解析，获取活动图基本元素即活动分区、活动参数、节点以及边的信息；步骤4：根据转换规则将获取的SysML活动图和模块定义图的基本元素转换成Modelica模型中的元素；步骤5：将转换后的Modelica模型导入仿真工具，根据活动图中决定节点上的条件表达式和所覆盖分支上的监值确定仿真参数，之后进行仿真验证。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华东师范大学，未经华东师范大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201810367004.1/，转载请声明来源钻瓜专利网。
