一种基于体系架构模型的外部离散事件驱动验证系统及方法与流程

1.本发明涉及逻辑仿真领域，特别是涉及一种基于体系架构模型的外部离散事件驱动验证系统及方法。


背景技术：

2.随着技术高速发展的背景下，新一代系统型号论证所面临的空间环境、任务场景、功能需求都发生了巨大的变化。基于传统意义上的单独系统指标论证已不能满足未来复杂作战需求，待研制系统与现有的系统之间的交联关系变得越来越复杂，呈现出越来越紧密的强耦合关系，这就需要将研制系统放入复杂空间环境下的任务场景中进行体系研究，需要通过一种验证方法来提前验证其研究结果。


技术实现要素：

3.本发明所要解决的技术问题是：提供一种基于体系架构模型的外部离散事件驱动验证系统及方法，以解决上述背景技术中提出的问题。
4.本发明所采用的技术方案是：一种基于体系架构模型的外部离散事件驱动验证系统，它包括体系架构设计平台和事件驱动验证工具，其中：体系架构设计平台，用于建立体系架构模型，并通过体系架构模型定义面向作战任务需求下各个作战系统的功能组成、接口关系、外部离散事件以及响应活动；事件驱动验证工具，用于获取体系架构模型中的作战系统的事件数据信息，通过自定义组合外部离散事件得到验证案例，并自动加载验证案例，将验证案例中的离散事件逐条驱动体系架构模型响应。
5.作为优选，所述体系架构模型满足美国国防部体系架构框架dodaf2.0标准、遵循体系架构描述语言updm标准。
6.作为优选，所述体系架构模型支持系统外部事件驱动下的动态运行。
7.作为优选，所述体系架构模型支持系统内部事件驱动下的动态运行。
8.本发明还提供一种基于体系架构模型的外部离散事件驱动验证方法，它包括使用验证系统进行验证的方法，所述验证的方法包括如下步骤：s1、通过体系架构设计平台构建基于作战任务的体系架构模型；s2、通过事件驱动验证工具获取体系架构模型中的作战系统的数据信息；s3、通过事件驱动验证工具将作战系统中的离散事件数据根据设定的触发顺序组合成一系列外部离散事件驱动验证案例；s4、通过事件驱动验证工具加载验证案例，并将验证案例中的外部离散事件逐条驱动体系架构模型响应；s5、通过体系架构模型接收步骤s4发送过来的外部离散事件，并且对外部离散事件进行运行，当外部离散事件可响应，则按照响应机制逐步执行直至等待下一条外部离散事件；当外部离散事件不可响应，则告警提示并停止当前验证案例；
s6、通过事件驱动验证工具检验所有验证案例是否顺利执行完毕；s7、通过事件驱动验证工具统计所有作战任务对应的验证案例是否全部执行完毕，以此验证体系架构模型的正确性和完整性。
9.作为优选，所述s2中，作战系统的数据信息包括模型信息、作战系统信息、作战系统外部离散事件信息。
10.作为优选，所述s3中，外部离散事件驱动验证案例还包括触发步长。
11.采用以上系统与方法，与现有技术相比，本发明具有以下优点：本发明采用体系工程的方法，基于体系架构模型对作战任务需求下的待研制系统开展研究分析，通过抽取体系架构模型中的数据信息获得当前作战任务需求下的所有外部离散触发事件集合，基于离散事件集合组成外部离散事件响应案例，通过一系列外部离散事件响应案例来验证待研制系统对作战任务的满足程度，同时进一步提高了该体系架构模型的完整性和正确性。
附图说明
12.图1是本发明一种基于体系架构模型的外部离散事件驱动验证系统的运行流程示意图。
13.图2是本发明实施例一中验证案例样本满足单一作战任务需求结果的示意图。
14.图3是本发明实施例一中体系架构模型满足全部作战任务需求结果示意图。
具体实施方式
15.下面详细描述本发明的实施例，所述实施例的示例在附图中示出，其中自始至终相同 或类似的标号表示相同或类似的元件或具有相同或类似功能的元件。下面通过参考附图描 述的实施例是示例性的，旨在用于解释本发明，而不能理解为对本发明的限制。
16.一种基于体系架构模型的外部离散事件驱动验证系统，如图1所示，它包括体系架构设计平台和事件驱动验证工具，其中：体系架构设计平台，能够根据作战需求设计和构建满足美国国防部体系架构框架dodaf2.0的体系架构模型，并且该模型遵循体系建模updm语言，通过该模型对作战需求下的各作战系统的功能组成、接口关系、外部离散事件、响应活动进行定义，并且体系架构模型还可以支持内部和外部事件驱动下的动态运行；事件驱动验证工具，用于获取体系架构模型中的作战系统的数据信息，主要是外部离散事件，通过自定义组合外部离散事件得到验证案例，并自动加载验证案例，将验证案例中的离散事件逐条驱动体系架构模型响应；一种基于体系架构模型的外部离散事件驱动验证方法，采用上述验证系统进行验证，其具体包括以下步骤：s1、通过体系架构设计平台构建基于作战任务的体系架构模型；s2、通过事件驱动验证工具获取体系架构模型中的作战系统的数据信息，其中作战系统的数据信息包括模型信息、作战系统信息、作战系统外部离散事件信息；s3、通过事件驱动验证工具将作战系统中的外部离散事件数据根据设定的触发顺序组合成一系列外部离散事件驱动验证案例，外部离散事件驱动验证案例还包括触发步长，即多少时间发送一条外部离散事件给体系架构模型去验证；
s4、通过事件驱动验证工具加载验证案例，并将验证案例中的外部离散事件逐条驱动体系架构模型响应；s5、通过体系架构模型接收步骤s4发送过来的外部离散事件，并且对外部离散事件进行运行，当外部离散事件可响应，则按照响应机制逐步执行直至等待下一条外部离散事件；当触外部离散事件不可响应，则告警提示并停止当前验证案例；s6、通过事件驱动验证工具检验所有验证案例是否顺利执行完毕；s7、通过事件驱动验证工具统计所有作战任务对应的验证案例是否全部执行完毕，以此验证体系架构模型的正确性和完整性。
17.具体实施例一：s1、以xx海域小范围冲突为背景，按照警告驱逐敌方、无人机干扰、战斗机巡逻、舰船打击目标等不同任务流程展开分析；s2、确定不同任务流程中参与的系统、外部离散事件、响应活动；如在警告驱逐敌方任务流程中，参与系统包括卫星、指挥中心、战斗机；外部离散事件包括卫星发现可疑目标ev1、指挥所下达驱逐指令ev2、战斗机发现目标ev3、战斗机丢失目标ev4、战斗机成功驱逐目标ev5；响应活动包括卫星数据采集op1、卫星数据下传op2、指挥中心决策op3、战斗机出航op4、战斗机搜索目标op5、战斗机驱逐目标op6；s3、提取该体系架构模型中的所有外部离散事件信息ev1-ev5共计5条。
18.s4、根据业务要求将外部离散事件信息进行组合排序，本实施例中定义了两个验证案例，分别为验证案例test1-战斗机成功驱逐目标与验证案例test2-战斗机失败驱逐目标，其中验证案例test1-战斗机成功驱逐目标的事件列表为ev1、ev2、ev3、ev5，验证案例test2-战斗机失败驱逐目标的事件列表为ev1、ev2、ev3、ev4；s5、加载验证案例test1，按照事件列表顺序发送事件至体系架构模型，发送ev1时，体系架构模型接收ev1事件时，判断模型中是否当前条件下能够响应，如果能响应，则按照响应机制逐步执行外部离散事件ev1对应的响应活动op1、op2，然后按照顺序执行下一个外部离散事件；s6、验证案例test1正确执行时，体系架构模型表现为可顺序响应外部离散事件列表ev1、ev2、ev3、ev5，响应活动为op1、op2、op3、op4、op5、op6；s7、同样执行验证案例test2，检查体系架构模型是否能够正确响应，以此类推，对其他任务流程通过验证案例确认能否响应；如图2所示，即在本实施例中验证案例test1与验证案例test2均百分之百的验证成功率；s8、统计所有作战任务下的验证案例集合是否能够顺利响应；如图3所示，无人机干扰任务以及舰船打击目标验证成功率并没有达到百分之百；s9、如体系架构模型无法响应验证案例中的某一外部离散事件，则说明体系架构模型完整性和正确性缺失。
19.本发明采用体系工程的方法，基于体系架构模型对作战任务需求下的待研制系统开展研究分析，通过抽取体系架构模型中的数据信息获得当前作战任务需求下的所有外部离散触发事件集合，基于离线事件集合组合外部离散事件响应案例，通过一系列外部离散事件响应案例来验证待研制系统对作战任务的满足程度，同时进一步提高了该体系架构模型的完整性和正确性。
20.尽管上面已经示出和描述了本发明的实施例，可以理解的是，上述实施例是示例性的，不能理解为对本发明的限制，本领域的普通技术人员在本发明的范围内可以对上述实施例进行变化、修改、替换和变型。
21.对于本领域的技术人员而言，阅读上述说明后，各种变化和修正无疑将显而易见。因此，所附的权利要求书应看作是涵盖本发明的真实意图和范围的全部变化和修正。在权利要求书范围内任何和所有等价的范围与内容，都应认为仍属本发明的意图和范围内。