[发明专利]一种基于模型动态互连的仿真验证方法

权利要求书

1.一种基于模型动态互连的仿真验证方法，包含以下步骤：

一、建立STK模型，所述STK模型定义了若干个场景，以及各个场景中各种参与者的动作；

二、建立VC工程，将STK模型作为插件植入VC工程中；

三、在Rhapsody模型中根据STK模型中描述的各个参与者的动作建立状态图；

四、进行仿真实验，当STK模型中的参与者的行为发生变动时发送相应的触发事件给Rhapsody模型的状态图，Rhapsody模型的状态图周期性接受触发事件并进行相应仿真；

五、根据STK模型与Rhapsody模型中行为的一致性来对两个模型进行互相验证和互相评估。

2.根据权利要求1所述的仿真验证方法，其特征在于所述STK模型采用动画描述方式描述各个场景以及各场景中各种参与者的动作。

3.根据权利要求1所述的仿真验证方法，其特征在于所述步骤四中，STK模型通过网络传输UDP协议向Rhapsody模型发送触发事件，Rhapsody模型通过网络传输UDP协议接收触发事件。