[发明专利]一种基于模型动态互连的仿真验证方法在审
| 申请号： | 201510344492.0 | 申请日： | 2015-06-19 |
| 公开（公告）号： | CN104915507A | 公开（公告）日： | 2015-09-16 |
| 发明（设计）人： | 洪蓉;周庆 | 申请（专利权）人： | 中国航空无线电电子研究所 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 上海和跃知识产权代理事务所(普通合伙) 31239 | 代理人： | 杨慧 |
| 地址： | 200233 *** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于模型动态互连的仿真验证方法，包含以下步骤：一、建立STK模型，所述STK模型定义了若干个场景，以及各个场景中各种参与者的动作；二、建立VC工程，将STK模型作为插件植入VC工程中；三、在Rhapsody模型中根据STK模型中描述的各个参与者的动作建立状态图；四、当STK模型中的参与者的行为发生变动时发送相应的触发事件给Rhapsody模型的状态图，Rhapsody模型的状态图周期性接受触发事件并进行相应仿真；五、根据STK模型与Rhapsody模型中行为的一致性来对两个模型进行互相验证和互相评估。通过这两种模型的创建和开发，实现两种模型的互连、互通、互操作。 | ||
| 搜索关键词： | 一种 基于 模型 动态 互连 仿真 验证 方法 | ||
【主权项】：
一种基于模型动态互连的仿真验证方法，包含以下步骤：一、建立STK模型，所述STK模型定义了若干个场景，以及各个场景中各种参与者的动作；二、建立VC工程，将STK模型作为插件植入VC工程中；三、在Rhapsody模型中根据STK模型中描述的各个参与者的动作建立状态图；四、进行仿真实验，当STK模型中的参与者的行为发生变动时发送相应的触发事件给Rhapsody模型的状态图，Rhapsody模型的状态图周期性接受触发事件并进行相应仿真；五、根据STK模型与Rhapsody模型中行为的一致性来对两个模型进行互相验证和互相评估。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国航空无线电电子研究所，未经中国航空无线电电子研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201510344492.0/，转载请声明来源钻瓜专利网。
