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

说明书

技术领域

本发明涉及模型驱动的系统工程与仿真验证领域。

背景技术

系统建模与仿真技术以模型理论、系统技术、信息技术以及建模与仿真应用领域的有关专业技术为基础，利用模型对系统进行研究、分析、评估、决策。模型是对实体、过程、系统、现象的逻辑描述，仿真是基于模型的活动。模型的建立、实现、验证和应用是仿真过程的内容，是模型随时间运行的手段和方法。

仿真模型包含的内容在扩展，建模方法也日益多样化，模型的互操作性、可重用性将日趋重要。建模是系统模型的构建过程，模型是对建模目标的概念化表示。建模技术是仿真技术的基础。

建模与仿真以模型理论、系统理论、算法理论和软件工程为基础。模型是仿真的基础，仿真系统中的模型应具有互操作性、可重用性。仿真对象是错综复杂的，可以由多个系统和分系统组成，除了建立描述系统内部特性和行为的数学模型外，还要建立描述系统之间相互关系的模型，使模型具有互操作性和可重用性。

基于模型的开发过程要求通过一组模型来捕获系统所有的设计信息以满足需求。这些模型通过工具软件来维持一致性，基于模型的开发方法提升了对需要解决的问题和解决方案的抽象水平，避免了人工维护解决方案中不同元素之间的一致性产生的易错性。对于复杂系统的设计，采用基于模型的开发方法可以较好地维护设计中不同元素的一致性，从而提高设计早期的正确性。

Rhapsody进行系统仿真建模时采用全螺旋生命周期，在生命周期开始时，快速分析并定义此次迭代的目标原型系统，然后进行架构设计、功能设计和详细设计，然后进行模型评审、确认测试，为下一次迭代开发进行增量式评审，用以确定下一次迭代开发的目标。Rhapsody用于系统设计阶段的建模时关注的是系统该做什么，用于架构分析阶段时关注的是如何实现主要的系统功能。Rhapsody在系统建模过程中，通过不同视图描述整个系统的架构和行为，通过动态运行的状态图验证系统的行为。

STK(Satellite Tool Kit)在应用中针对特定的场景想定进行仿真建模和动画演示，能够提供动态场景的二维和三维演示，充分体现复杂环境下的信息态势，帮助使用者快速直观地生成全时空和全领域的数据分析。

发明内明

为提高仿真模型的合理性和准确性，本发明的发明目的在于提供了一种基于模型动态互连的仿真验证方法，实现Rhapsody模型和STK模型两种动态模型的互连、互通、互操作，提高仿真模型的合理性和准确性。

本发明的发明目的通过以下技术方案实现：

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

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

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

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

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

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

优选地，所述STK模型采用动画描述方式描述各个场景以及各场景中各种参与者的动作。

优选地，所述步骤四中，STK模型通过网络传输UDP协议向Rhapsody模型发送触发事件，Rhapsody模型通过网络传输UDP协议接收触发事件。

本发明的有益效果为：基于模型动态互连的仿真验证方法研究，两种模型不仅验证了场景和系统架构，而且起到了互相验证的作用，有效提高了仿真模型的合理性和准确性。Rhapsody模型体现系统逻辑功能，STK动画模型直观地验证了逻辑模型的正确性，而且在时序的表达上更易接受。Rhapsody模型的动态执行使得STK的动态演示有更加合理的逻辑支撑，另一方面，STK生动的动画演示效果又可以将系统设计时的漏洞、不合理、信息流向的不完整等及时反馈给Rhapsody模型。通过这两种模型的创建和开发、实现两种模型的互连、互通、互操作，系统设计和验证将更完善，仿真演示系统也会更加严密和有力。

附图说明

图1为实施例中Rhapsody模型中建立的飞机作战状态图；

图2为实施例中STK模型中建立的一个飞机作战模型；

图3为本发明一种基于模型动态互连的仿真验证方法的流程示意图。

具体实施方式