CN114186389A - 一种基于体系架构模型的外部离散事件驱动验证系统及方法 - Google Patents
一种基于体系架构模型的外部离散事件驱动验证系统及方法 Download PDFInfo
- Publication number
- CN114186389A CN114186389A CN202111293646.XA CN202111293646A CN114186389A CN 114186389 A CN114186389 A CN 114186389A CN 202111293646 A CN202111293646 A CN 202111293646A CN 114186389 A CN114186389 A CN 114186389A
- Authority
- CN
- China
- Prior art keywords
- verification
- architecture model
- event
- external discrete
- driven
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 238000012795 verification Methods 0.000 title claims abstract description 88
- 238000000034 method Methods 0.000 title claims abstract description 17
- 230000004044 response Effects 0.000 claims abstract description 17
- 230000007246 mechanism Effects 0.000 claims abstract description 5
- 238000013461 design Methods 0.000 claims description 10
- 230000000694 effects Effects 0.000 claims description 7
- 230000006870 function Effects 0.000 claims description 4
- 230000007123 defense Effects 0.000 claims description 3
- 238000010200 validation analysis Methods 0.000 claims 2
- 238000004088 simulation Methods 0.000 abstract description 2
- 230000001960 triggered effect Effects 0.000 abstract 1
- 238000011160 research Methods 0.000 description 4
- 238000012360 testing method Methods 0.000 description 4
- 238000010586 diagram Methods 0.000 description 3
- 238000012986 modification Methods 0.000 description 3
- 230000004048 modification Effects 0.000 description 3
- 230000004075 alteration Effects 0.000 description 2
- 238000011161 development Methods 0.000 description 2
- 238000012407 engineering method Methods 0.000 description 2
- 238000005094 computer simulation Methods 0.000 description 1
- 230000008878 coupling Effects 0.000 description 1
- 238000010168 coupling process Methods 0.000 description 1
- 238000005859 coupling reaction Methods 0.000 description 1
- 238000004132 cross linking Methods 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 238000006467 substitution reaction Methods 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/20—Design optimisation, verification or simulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/10—Requirements analysis; Specification techniques
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/35—Creation or generation of source code model driven
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- Software Systems (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- Stored Programmes (AREA)
Abstract
本发明涉及逻辑仿真领域，特别是涉及一种基于体系架构模型的外部离散事件驱动验证系统及方法，该方法基于已构建好的体系架构模型，获取模型中定义的离散事件数据，用户根据这些离散事件数据组合成一系列外部离散事件驱动案例，事件驱动验证系统通过这些案例自动发送离散事件至体系架构模型，体系架构模型根据接收到的离散事件，如有事件对应触发，则按照响应机制顺序执行；如无外部离散事件对应，则不响应该事件并告警。通过上诉方法，本发明能够进一步提高体系架构模型的完整性与正确性，使得体系架构模型有了更高的业务价值。
Description
技术领域
本发明涉及逻辑仿真领域，特别是涉及一种基于体系架构模型的外部离散事件驱动验证系统及方法。
背景技术
随着技术高速发展的背景下，新一代系统型号论证所面临的空间环境、任务场景、功能需求都发生了巨大的变化。基于传统意义上的单独系统指标论证已不能满足未来复杂作战需求，待研制系统与现有的系统之间的交联关系变得越来越复杂，呈现出越来越紧密的强耦合关系，这就需要将研制系统放入复杂空间环境下的任务场景中进行体系研究，需要通过一种验证方法来提前验证其研究结果。
发明内容
本发明所要解决的技术问题是：提供一种基于体系架构模型的外部离散事件驱动验证系统及方法，以解决上述背景技术中提出的问题。
本发明所采用的技术方案是：一种基于体系架构模型的外部离散事件驱动验证系统，它包括体系架构设计平台和事件驱动验证工具，其中：
体系架构设计平台，用于建立体系架构模型，并通过体系架构模型定义面向作战任务需求下各个作战系统的功能组成、接口关系、外部离散事件以及响应活动；
事件驱动验证工具，用于获取体系架构模型中的作战系统的事件数据信息，通过自定义组合外部离散事件得到验证案例，并自动加载验证案例，将验证案例中的离散事件逐条驱动体系架构模型响应。
作为优选，所述体系架构模型满足美国国防部体系架构框架DoDAF2.0标准、遵循体系架构描述语言UPDM标准。
作为优选，所述体系架构模型支持系统外部事件驱动下的动态运行。
作为优选，所述体系架构模型支持系统内部事件驱动下的动态运行。
本发明还提供一种基于体系架构模型的外部离散事件驱动验证方法，它包括使用验证系统进行验证的方法，所述验证的方法包括如下步骤：
S1、通过体系架构设计平台构建基于作战任务的体系架构模型；
S2、通过事件驱动验证工具获取体系架构模型中的作战系统的数据信息；
S3、通过事件驱动验证工具将作战系统中的离散事件数据根据设定的触发顺序组合成一系列外部离散事件驱动验证案例；
S4、通过事件驱动验证工具加载验证案例，并将验证案例中的外部离散事件逐条驱动体系架构模型响应；
S5、通过体系架构模型接收步骤S4发送过来的外部离散事件，并且对外部离散事件进行运行，当外部离散事件可响应，则按照响应机制逐步执行直至等待下一条外部离散事件；当外部离散事件不可响应，则告警提示并停止当前验证案例；
S6、通过事件驱动验证工具检验所有验证案例是否顺利执行完毕；
S7、通过事件驱动验证工具统计所有作战任务对应的验证案例是否全部执行完毕，以此验证体系架构模型的正确性和完整性。
作为优选，所述S2中，作战系统的数据信息包括模型信息、作战系统信息、作战系统外部离散事件信息。
作为优选，所述S3中，外部离散事件驱动验证案例还包括触发步长。
采用以上系统与方法，与现有技术相比，本发明具有以下优点：本发明采用体系工程的方法，基于体系架构模型对作战任务需求下的待研制系统开展研究分析，通过抽取体系架构模型中的数据信息获得当前作战任务需求下的所有外部离散触发事件集合，基于离散事件集合组成外部离散事件响应案例，通过一系列外部离散事件响应案例来验证待研制系统对作战任务的满足程度，同时进一步提高了该体系架构模型的完整性和正确性。
附图说明
图1是本发明一种基于体系架构模型的外部离散事件驱动验证系统的运行流程示意图。
图2是本发明实施例一中验证案例样本满足单一作战任务需求结果的示意图。
图3是本发明实施例一中体系架构模型满足全部作战任务需求结果示意图。
具体实施方式
下面详细描述本发明的实施例，所述实施例的示例在附图中示出，其中自始至终相同 或类似的标号表示相同或类似的元件或具有相同或类似功能的元件。下面通过参考附图描 述的实施例是示例性的，旨在用于解释本发明，而不能理解为对本发明的限制。
一种基于体系架构模型的外部离散事件驱动验证系统，如图1所示，它包括体系架构设计平台和事件驱动验证工具，其中：
体系架构设计平台，能够根据作战需求设计和构建满足美国国防部体系架构框架DoDAF2.0的体系架构模型，并且该模型遵循体系建模UPDM语言，通过该模型对作战需求下的各作战系统的功能组成、接口关系、外部离散事件、响应活动进行定义，并且体系架构模型还可以支持内部和外部事件驱动下的动态运行；
事件驱动验证工具，用于获取体系架构模型中的作战系统的数据信息，主要是外部离散事件，通过自定义组合外部离散事件得到验证案例，并自动加载验证案例，将验证案例中的离散事件逐条驱动体系架构模型响应；
一种基于体系架构模型的外部离散事件驱动验证方法，采用上述验证系统进行验证，其具体包括以下步骤：
S1、通过体系架构设计平台构建基于作战任务的体系架构模型；
S2、通过事件驱动验证工具获取体系架构模型中的作战系统的数据信息，其中作战系统的数据信息包括模型信息、作战系统信息、作战系统外部离散事件信息；
S3、通过事件驱动验证工具将作战系统中的外部离散事件数据根据设定的触发顺序组合成一系列外部离散事件驱动验证案例，外部离散事件驱动验证案例还包括触发步长，即多少时间发送一条外部离散事件给体系架构模型去验证；
S4、通过事件驱动验证工具加载验证案例，并将验证案例中的外部离散事件逐条驱动体系架构模型响应；
S5、通过体系架构模型接收步骤S4发送过来的外部离散事件，并且对外部离散事件进行运行，当外部离散事件可响应，则按照响应机制逐步执行直至等待下一条外部离散事件；当触外部离散事件不可响应，则告警提示并停止当前验证案例；
S6、通过事件驱动验证工具检验所有验证案例是否顺利执行完毕；
S7、通过事件驱动验证工具统计所有作战任务对应的验证案例是否全部执行完毕，以此验证体系架构模型的正确性和完整性。
具体实施例一：
S1、以XX海域小范围冲突为背景，按照警告驱逐敌方、无人机干扰、战斗机巡逻、舰船打击目标等不同任务流程展开分析；
S2、确定不同任务流程中参与的系统、外部离散事件、响应活动；
如在警告驱逐敌方任务流程中，参与系统包括卫星、指挥中心、战斗机；外部离散事件包括卫星发现可疑目标ev1、指挥所下达驱逐指令ev2、战斗机发现目标ev3、战斗机丢失目标ev4、战斗机成功驱逐目标ev5；响应活动包括卫星数据采集op1、卫星数据下传op2、指挥中心决策op3、战斗机出航op4、战斗机搜索目标op5、战斗机驱逐目标op6；
S3、提取该体系架构模型中的所有外部离散事件信息ev1-ev5共计5条。
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、如体系架构模型无法响应验证案例中的某一外部离散事件，则说明体系架构模型完整性和正确性缺失。
本发明采用体系工程的方法，基于体系架构模型对作战任务需求下的待研制系统开展研究分析，通过抽取体系架构模型中的数据信息获得当前作战任务需求下的所有外部离散触发事件集合，基于离线事件集合组合外部离散事件响应案例，通过一系列外部离散事件响应案例来验证待研制系统对作战任务的满足程度，同时进一步提高了该体系架构模型的完整性和正确性。
尽管上面已经示出和描述了本发明的实施例，可以理解的是，上述实施例是示例性的，不能理解为对本发明的限制，本领域的普通技术人员在本发明的范围内可以对上述实施例进行变化、修改、替换和变型。
对于本领域的技术人员而言，阅读上述说明后，各种变化和修正无疑将显而易见。因此，所附的权利要求书应看作是涵盖本发明的真实意图和范围的全部变化和修正。在权利要求书范围内任何和所有等价的范围与内容，都应认为仍属本发明的意图和范围内。
Claims (7)
1.一种基于体系架构模型的外部离散事件驱动验证系统，其特征在于：它包括体系架构设计平台和事件驱动验证工具，其中：
体系架构设计平台，用于建立体系架构模型，并通过体系架构模型定义面向作战任务需求下各个作战系统的功能组成、接口关系、外部离散事件以及响应活动；
事件驱动验证工具，用于获取体系架构模型中的作战系统的事件数据信息，通过自定义组合外部离散事件得到验证案例，并自动加载验证案例，将验证案例中的离散事件逐条驱动体系架构模型响应。
2.根据权利要求1所述的一种基于体系架构模型的外部离散事件驱动验证系统，其特征在于：所述体系架构模型满足美国国防部体系架构框架DoDAF2.0标准、遵循体系架构描述语言UPDM标准。
3.根据权利要求1所述的一种基于体系架构模型的外部离散事件驱动验证系统，其特征在于：所述体系架构模型支持系统外部事件驱动下的动态运行。
4.根据权利要求1所述的一种基于体系架构模型的外部离散事件驱动验证系统，其特征在于：所述体系架构模型支持系统内部事件驱动下的动态运行。
5.一种基于体系架构模型的外部离散事件驱动验证方法，其特征在于：它包括使用权利要求1~4任意一项所述的验证系统进行验证的方法，所述验证的方法包括如下步骤：
S1、通过体系架构设计平台构建基于作战任务的体系架构模型；
S2、通过事件驱动验证工具获取体系架构模型中的作战系统的数据信息；
S3、通过事件驱动验证工具将作战系统中的离散事件数据根据设定的触发顺序组合成一系列外部离散事件驱动验证案例；
S4、通过事件驱动验证工具加载验证案例，并将验证案例中的外部离散事件逐条驱动体系架构模型响应；
S5、通过体系架构模型接收步骤S4发送过来的外部离散事件，并且对外部离散事件进行运行，当外部离散事件可响应，则按照响应机制逐步执行直至等待下一条外部离散事件；当外部离散事件不可响应，则告警提示并停止当前验证案例；
S6、通过事件驱动验证工具检验所有验证案例是否顺利执行完毕；
S7、通过事件驱动验证工具统计所有作战任务对应的验证案例是否全部执行完毕；以此验证体系架构模型的正确性和完整性。
6.根据权利要求5所述的一种基于体系架构模型的外部离散事件驱动验证方法，其特征在于：所述S2中，作战系统的数据信息包括模型信息、作战系统信息、作战系统外部离散事件信息。
7.根据权利要求5所述的一种基于体系架构模型的外部离散事件驱动验证方法，其特征在于：所述S3中，外部离散事件驱动验证案例还包括触发步长。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202111293646.XA CN114186389A (zh) | 2021-11-03 | 2021-11-03 | 一种基于体系架构模型的外部离散事件驱动验证系统及方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202111293646.XA CN114186389A (zh) | 2021-11-03 | 2021-11-03 | 一种基于体系架构模型的外部离散事件驱动验证系统及方法 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN114186389A true CN114186389A (zh) | 2022-03-15 |
Family
ID=80601864
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202111293646.XA Pending CN114186389A (zh) | 2021-11-03 | 2021-11-03 | 一种基于体系架构模型的外部离散事件驱动验证系统及方法 |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN114186389A (zh) |
Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN108646589A (zh) * | 2018-07-11 | 2018-10-12 | 北京晶品镜像科技有限公司 | 一种攻击无人机编队的作战模拟训练系统及方法 |
| CN108733897A (zh) * | 2018-04-28 | 2018-11-02 | 上海烜翊科技有限公司 | 基于体系架构模型的攻防对抗仿真系统及仿真方法 |
| CN108846156A (zh) * | 2018-04-27 | 2018-11-20 | 中国航空无线电电子研究所 | 基于复杂系统工程的四维航迹运行架构建模方法 |
| CN111460691A (zh) * | 2020-04-26 | 2020-07-28 | 上海烜翊科技有限公司 | 一种基于体系架构模型的蒙特卡洛仿真分析系统及方法 |
-
2021
- 2021-11-03 CN CN202111293646.XA patent/CN114186389A/zh active Pending
Patent Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN108846156A (zh) * | 2018-04-27 | 2018-11-20 | 中国航空无线电电子研究所 | 基于复杂系统工程的四维航迹运行架构建模方法 |
| CN108733897A (zh) * | 2018-04-28 | 2018-11-02 | 上海烜翊科技有限公司 | 基于体系架构模型的攻防对抗仿真系统及仿真方法 |
| CN108646589A (zh) * | 2018-07-11 | 2018-10-12 | 北京晶品镜像科技有限公司 | 一种攻击无人机编队的作战模拟训练系统及方法 |
| CN111460691A (zh) * | 2020-04-26 | 2020-07-28 | 上海烜翊科技有限公司 | 一种基于体系架构模型的蒙特卡洛仿真分析系统及方法 |
Non-Patent Citations (2)
| Title |
|---|
| ZHIJUAN ZHAN 等: "Architecture design of air-sea joint combat system based on DoDAF", 《APPLIED OPTICS AND PHOTONICS CHINA(AOPC2019)》, pages 1 - 7 * |
| 高悦 等: "基于体系结构设计的空战系统任务元模型建模", 《系统工程与电子技术》, pages 1 - 14 * |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Bahill et al. | Fundamental principles of good system design | |
| AU2020102976A4 (en) | System and method for faciliting automated intelligent military mission training | |
| CN107871050A (zh) | 面向数据和面向对象的混合建模方法及存储介质 | |
| CN114169142A (zh) | 面向通用作战流程的任务元模型构建方法、数据库及装置 | |
| CN113221362A (zh) | 卫星发射场性能试验科目的选取方法、装置和电子设备 | |
| KR20190143832A (ko) | 항공 교통 관리 전자 시스템 테스트 방법, 해당 전자 장치 및 플랫폼 | |
| CN114186389A (zh) | 一种基于体系架构模型的外部离散事件驱动验证系统及方法 | |
| Redmond | A system of systems interface hazard analysis technique | |
| Mor et al. | Avionics architecture design for a future generation fighter aircraft | |
| CN109242005A (zh) | 车辆信息的识别方法及装置、存储介质和电子设备 | |
| CN112214209B (zh) | 一种无人机运行场景中交互信息与任务时序的建模方法 | |
| KR20220121175A (ko) | 시스템 테스트 절차를 이용하는 통합 테스트 절차의 자동 발생 | |
| LaMonica et al. | Employing MBSE to Assess and Evaluate Human Teaming in Military Aviation Command and Control | |
| Aebischer et al. | Bayesian networks for combat equipment diagnostics | |
| CN110535703A (zh) | 一种车联网通信检测方法、装置及平台和计算机可读存储介质 | |
| Newcamp et al. | Model-Based Validation of US Military Mission Scenarios with Digital Threads | |
| Heitmeyer et al. | High assurance human-centric decision systems | |
| KR102660039B1 (ko) | 플러그 인 모델 기반의 통합 모델링과 시뮬레이션 시스템 및 이의 운용 방법 | |
| CN115655752B (zh) | 新能源车辆自动测试方法及装置、电子设备和存储介质 | |
| CN111966072B (zh) | 一种空调控制面板模拟测试方法和装置 | |
| Anghinolfi et al. | An agent-based simulator for the evaluation of the measurement of effectiveness in the military naval tasks | |
| Kim et al. | Development of the Multi-Resolution Modeling Environment through Aircraft Scenarios | |
| Friedrich et al. | Development of a Concept for Analyzing Moral Decision-Making in High Presence Virtual Environments | |
| Lee et al. | Simulation-based sam (surface-to-air missile) analysis in opensim (open simulation engine for interoperable models) | |
| CN117768432A (zh) | 一种提醒信息的发送方法及装置 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| RJ01 | Rejection of invention patent application after publication |
Application publication date: 20220315 |
|
| RJ01 | Rejection of invention patent application after publication |