Method for verifying aviation equipment operation system architecture based on DM2 and OODA

Abstract

The application discloses a kind of aviation equipment combat system architecture DoDAF model verification method based on DM2 and OODA, first, the structure completeness verification based on DM2 is carried out to DoDAF model;Then, the content completeness verification based on OODA ring is carried out to DoDAF model;Finally, data dynamic verification is carried out to DoDAF model.The present application provides an effective programmed verification method for aviation equipment system architecture model verification from the angle of model structure completeness and content completeness, and makes up the problem of lack of standardization in traditional text-based manual review.

Description

Technical Field

[0001] The present invention belongs to the technical field of aviation equipment, and in particular relates to a DoDAF model verification method for aviation equipment combat system architecture based on DM2 and OODA. Background Art

[0002] With the increasing adoption of Model-Based Systems Engineering (MBSE) approaches in the design of aviation combat system architectures, the U.S. Department of Defense Architecture Framework (DoDAF) is widely used as a guide for effective and standardized system architecture construction. Whether the data in a DoDAF model can fully and accurately describe the system content is primarily determined by the structural and content completeness of the model data. Current verification of aviation combat system architecture models primarily focuses on logical integrity, but lacks the ability to rapidly adapt to battlefield changes and evaluate the model's dynamic performance. Existing DoDAF model verification methods often focus on static analysis, neglecting the model's dynamic adaptability in actual combat environments. Furthermore, traditional verification processes rely heavily on manual review, which is time-consuming and susceptible to subjective judgment. This approach often lacks sufficient flexibility and scalability for large-scale, highly interconnected combat systems and is difficult to support for the verification of complex dynamic architectures such as aviation combat system architectures. Summary of the Invention

[0003] To overcome the shortcomings of existing technologies, this paper provides a DM2- and OODA-based DoDAF model verification method for aviation equipment combat system architecture. First, the DoDAF model undergoes structural integrity verification based on DM2; then, the DoDAF model undergoes content integrity verification based on the OODA loop; and finally, the DoDAF model undergoes dynamic data verification. This paper provides an effective, procedural verification method for aviation equipment system architecture model verification from the perspectives of both structural and content integrity, addressing the lack of standardization in traditional text-based manual review.

[0004] The technical solutions adopted by the present invention to solve the technical problems are as follows:

[0005] Step 1: Verify the structural integrity of the DoDAF model based on DM2;

[0006] Step 1-1: Construction of verification matrix based on DM2;

[0007] The elements of the DoDAF model include actors, activities, capabilities, resources, and rules. V is the set of all elements in the DoDAF model, and M is the set in the same order as V. Let v i ∈V,m j ∈M;

[0008] Construct the verification matrix A, element a in A ij The values ​​are:

[0009]

[0010] Step 1-2: Verify the structural integrity of the DoDAF model;

[0011] Verify the verification matrix A. Assuming that there are N elements in the set V, the verification expression of the i-th element is:

[0012]

[0013] when When , the structure of this element in the DoDAF model is complete. When , the structure of the element in the model is incomplete; thus, N verification matrices are constructed to verify each element in the set V one by one;

[0014] Step 2: Verify the content completeness of the DoDAF model based on the OODA loop;

[0015] Step 2-1: Construction of verification matrix based on OODA loop;

[0016] E represents the set of all active elements in the model, and F represents the set of the four elements of OODA; i ∈E,f j ∈F, establish the overlapping matrix G, element g in G ij The values ​​are:

[0017]

[0018] e i With f i Overlap refers to e i This activity belongs to a certain link in the OODA loop. The inflow and outflow of resources refer to the exchange of resources before and after the activity. If any pair of inflow and outflow of resources are heterogeneous, it means that the resources enter the next link after this activity. If any pair of inflow and outflow of resources are homogeneous, it means that the resources do not enter the next link of the OODA loop after the activity occurs, and this activity is not located in the complete OODA loop.

[0019] Step 2-2: Verify the content completeness of the DoDAF model;

[0020] According to the constructed relationship matrix G, verify each data entity element respectively; assuming there are N elements in set E, the verification expression for the integrity of the active data content is:

[0021]

[0022] Among them, P represents the number of elements with heterogeneous resource flows in set E, and K j represents the number of elements with heterogeneous resource flows in set E corresponding to the j-th element in set F;

[0023] According to the OODA loop theory, if P = N and any K j ≥1, then all activities make combat resources flow in the OODA loop, and a complete OODA loop can be formed among the activities; if P < N and any K j ≥1, it indicates that at least one activity is not in a complete OODA loop. Combat resources cannot enter the next link when passing through some activities, but there is a certain probability that a complete OODA loop exists; if P = N and there exists K j <1, it indicates that all activities make combat resources flow in the OODA loop, but a complete OODA loop cannot be formed among the activities; if P < N and there exists K j <1, it indicates that at least one activity is not in a complete OODA loop. Combat resources cannot enter the next link when passing through this activity, and there is no complete OODA loop;

[0024] Step 3: Conduct dynamic data verification on the DoDAF model;

[0025] Step 3-1: Define combat tasks and nodes;

[0026] According to military requirements, clarify the overall goal, task system architecture, and expected use of this military task; determine the key combat tasks and key parameter indicators of combat nodes;

[0027] Step 3-2: Establish a combat activity model and add specific parameters;

[0028] Based on the combat task patterns in the advanced combat concept model, further refine the combat content and basic combat process through OV-5b, including combat activities and their logical sequences, and implement them in the form of a swimlane diagram; add specific parameters to the model, such as fuel consumption rate, task completion rate, and key indicators of combat efficiency;

[0029] Step 3-3: Conduct simulation and deduction, obtain key indicators, and conduct comprehensive evaluation;

[0030] Simulations are conducted using the established models and parameters. During these simulations, combat activities are automatically executed according to pre-set rules and parameters, and changes in key indicators are recorded and displayed using visualization tools. The rationality of the combat activity model is evaluated by analyzing the data recorded during the simulations. Based on the evaluation results, necessary adjustments and optimizations are made to the model.

[0031] A computer program, which enables a computer to execute the DoDAF model verification method.

[0032] An electronic device includes: a processor and a memory; the memory is used to store a computer program, and the processor is used to execute the computer program stored in the memory, so that the electronic device performs the above-mentioned DoDAF model verification method.

[0033] A computer-readable storage medium stores a computer program, which implements the DoDAF model verification method when executed by a processor.

[0034] A chip includes: a processor for calling and running a computer program from a memory, so that a device equipped with the chip executes the DoDAF model verification method.

[0035] A computer program product includes a computer storage medium storing a computer program, wherein the computer program includes instructions executable by at least one processor, and when the instructions are executed by the at least one processor, the DoDAF model verification method is implemented.

[0036] The beneficial effects of the present invention are as follows:

[0037] This paper provides an effective procedural verification method for aviation equipment architecture model validation from the perspectives of model structural and content completeness, addressing the lack of standardization in traditional text-based manual review. A mathematical verification matrix based on DM2 is constructed based on the cross-linking relationships between elements in DM2. A mathematical verification matrix based on the OODA loop is also constructed based on the resource exchange relationships within operational activities. This matrix provides theoretical support for the verification of model elements and is applicable to different aviation equipment architecture (DoDAF) models. BRIEF DESCRIPTION OF THE DRAWINGS

[0038] Figure 1 It is an implementation flow chart of the present invention;

[0039] Figure 2 This is a schematic diagram of a high-level operational concept model according to an embodiment of the present invention;

[0040] Figure 3 This is a schematic diagram of a combat resource flow description model according to an embodiment of the present invention;

[0041] Figure 4 This is a schematic diagram of a combat activity decomposition model according to an embodiment of the present invention;

[0042] Figure 5 is a schematic diagram of a capability classification model according to an embodiment of the present invention;

[0043] Figure 6 1 is a schematic diagram of a combat resource flow description model supplemented by an embodiment of the present invention;

[0044] Figure 7 This is a schematic diagram of a combat activity model according to an embodiment of the present invention;

[0045] Figure 8 This is a graph showing changes in fuel volume at each operational node when the number of refueling racks is 1 according to an embodiment of the present invention;

[0046] Figure 9 This is a curve diagram of oil volume changes at each operational node when the number of refueling racks is 2 according to an embodiment of the present invention. DETAILED DESCRIPTION

[0047] The present invention will be further described below with reference to the accompanying drawings and examples.

[0048] The purpose of this invention is to address the verification problem of the DoDAF model of the aviation equipment combat system architecture. From the perspective of model structure completeness and content completeness, a procedural aviation equipment system architecture model verification method is proposed to make up for the lack of standardization of traditional text-based manual review. At the same time, it should have the characteristics of good interpretability and strong applicability.

[0049] In order to overcome the shortcomings of the existing technology, according to the purpose of the present invention, a DoDAF model verification method for aviation equipment combat system architecture based on DM2 and OODA is proposed. The implementation process is as follows: Figure 1 As shown, it mainly includes the following steps.

[0050] Step 1: Verify the structural integrity of the DoDAF model based on DM2.

[0051] Step 1.1: Construction of verification matrix based on DM2.

[0052] The DoDAF model is usually constructed from a variety of elements, including executors, activities, capabilities, resources, rules, etc. V is the set of all elements in the DoDAF model, and M is the set in the same order as V. i ∈V,m j ∈M. From Table 1, we can construct the verification matrix A, the element a in A ij The values ​​are:

[0053]

[0054] where v i With m j Whether there is overlap is determined by Table 1.

[0055] Table 1 DM2 instance of DoDAF model

[0056]

[0057] Step 1.2: Verify the structural integrity of the DoDAF model.

[0058] Verify the verification matrix A constructed above. Assuming that there are N elements in the set V, the verification expression of the i-th element is:

[0059]

[0060] when When , the structure of the element in the model is complete. When , the structure of the element in the model is incomplete. Therefore, N verification matrices can be constructed to verify each element in the set V one by one.

[0061] Step 2: Verify the content completeness of the DoDAF model based on the OODA loop.

[0062] Step 2.1: Construction of verification matrix based on OODA loop.

[0063] On the basis of verifying the structural integrity of the model, the model content is verified with combat activities as the entry point. According to the OODA loop combat rules, it is first necessary to verify whether the inflow and outflow resource flows of each activity are heterogeneous resource flows, that is, whether the resource flows have entered the next link; secondly, it is necessary to verify whether there are at least four different activities in the entire system architecture that belong to the OODA loop. Based on this, E represents the set of all activity elements in the model, and F represents the set of the four OODA elements. Among them, e i ∈E,f j ∈F, establish the overlapping matrix G, element g in G ij The values ​​are:

[0064]

[0065] e i With f i Overlap refers to e iThis activity belongs to a certain link of the OODA loop. The in-out resource flow refers to the resource exchange before and after the activity. If any pair of in-out resource flows is heterogeneous, it indicates that the resources enter the next link after this activity; if any pair of in-out resource flows is homogeneous, it indicates that the resources do not enter the next link of the OODA loop after the activity occurs, and this activity is not located in the complete OODA loop.

[0066] Step 2.2: Verify the content completeness of the DoDAF model.

[0067] According to the constructed relationship matrix, verify each data entity element respectively. Suppose there are N elements in set E, then the verification expression for the integrity of the activity data content is:

[0068]

[0069] According to the OODA loop theory, if P = N and any K j > = 1, then all activities can make the combat resources flow in the OODA loop, and all activities can form a complete OODA loop; if P < N and any K j > = 1, it indicates that at least one activity is not in the complete OODA loop, and the combat resources cannot enter the next link when passing through some activities, but there may still be a complete OODA loop; if P = N and there exists K j <1, it indicates that all activities can make the combat resources flow in the OODA loop, but all activities cannot form a complete OODA loop; if P < N and there exists K j <1, it indicates that at least one activity is not in the complete OODA loop, and the combat resources cannot enter the next link when passing through this activity, and there is no complete OODA loop.

[0070] Step 3: Verify the data dynamics of the DoDAF model.

[0071] Step 3.1: Define the combat tasks and nodes.

[0072] First of all, it is necessary to clarify the overall goal, task system architecture and expected use of this military task according to the military requirements. Determine the key combat tasks and key parameter indicators of the combat nodes (such as command agencies, weapons and equipment, etc.).

[0073] Step 3.2: Establish a combat activity model and add specific parameters.

[0074] Based on the combat mission model in the advanced combat concept model, the OV-5b further refines the combat content and basic combat process, including major combat activities and their logical sequence, usually in the form of a swim lane diagram. Specific parameters are added to the model, such as fuel consumption rate, mission completion rate, combat efficiency and other key indicators.

[0075] Step 3.3: Conduct simulation, obtain key indicators, and conduct comprehensive evaluation.

[0076] Simulations are conducted using the established models and parameters. During the simulations, combat activities are automatically executed according to pre-set rules and parameters, and changes in key indicators are recorded and displayed using visualization tools. By analyzing the data recorded during the simulations, the rationality of the combat activity model is evaluated. Based on the evaluation results, necessary adjustments and optimizations are made to the model, such as changing the order of combat tasks, adjusting resource allocation, or improving combat strategies.

[0077] Example:

[0078] Assume that in a mission, a tanker provides fuel to bombers and fighters at a distance of 1500km from the takeoff point, fighters provide escort for the tankers and bombers, and command bombers to conduct air-to-surface strikes on blue surface ships at a target point 1100km away from the refueling point. The DoDAF model constructed for this mission is used as an example for model verification. The specific model is as follows: Figures 2 to 5 , as shown in Table 2.

[0079] Table 2 OV-6a combat rule model

[0080]

[0081]

[0082] Step 1: Verify the structural integrity of the DoDAF model based on DM2. First, summarize the elements in the DoDAF model as shown in Table 3.

[0083] Table 3 Summary of elements of the combat system architecture

[0084]

[0085] The DM2 verification matrix with combat elements as the core is:

[0086]

[0087] Verifying this matrix yields:

[0088]

[0089] From this result, we can see that the structural elements with the executor as the core are complete. Verifying with combat activities as the core elements, we can get the binary matrix:

[0090]

[0091] Verifying this matrix yields:

[0092]

[0093] From this result, it can be seen that the third, fifth, tenth, and thirteenth activities are incomplete. Analysis shows that the third and fifth activities are structurally incomplete due to the lack of corresponding fuel resources, while the tenth and thirteenth activities are structurally incomplete due to the lack of corresponding flight status information.

[0094] Step 2: Verify the content completeness of the DoDAF model based on the OODA loop.

[0095] When verifying the OODA loop based on the structural completeness, you can use any of the three elements, namely, executors, activities, and capabilities, as the entry point for verification. Here, we use activities as the entry point for verification. First, complete the missing resource flows, such as Figure 6 shown.

[0096] The verification matrix based on the OODA loop is constructed as follows:

[0097]

[0098] Verifying this matrix yields

[0099] P=14

[0100] K j =(11111)

[0101] From this result, we can see that from the perspective of the OODA loop, the content of the combat system architecture model can support combat strike missions, so the content of the combat system architecture model is complete.

[0102] Step 3: Dynamically verify the data of the DoDAF model.

[0103] First, set the parameters of the combat aircraft. The data are shown in Table 4.

[0104] Table 4 Setting parameters of each aircraft

[0105]

[0106] By building the OV-5b view in the DoDAF model, key parameters are added to each activity to perform automated simulation based on data. Figure 7 shown.

[0107] The model is simulated, and the changes in the fuel volume of each aircraft are shown as follows: Figure 8 、 Figure 9 shown.

[0108] The results show that when there is only one tanker, the fuel volume when the tanker returns is -2.8 tons. That is, after refueling the fighters and bombers, the remaining fuel volume is not enough to support their return, so the combat activity cannot be completed in reality. When there are two tankers, the fuel volume at any combat node at any time during the combat activity is positive, that is, the combat activity can be completed in reality.

[0109] The results show that due to the comprehensive consideration of the structural completeness, content completeness and practical rationality of the model, the DoDAF model of the aviation equipment system architecture can be effectively verified, and redundant or missing elements in the model can be found, with good verification effect.

Claims

1. A DoDAF model verification method for aviation equipment combat system architecture based on DM2 and OODA, characterized by: The steps include: Step 1: Verify the structural integrity of the DoDAF model based on DM2; Step 1-1: Construction of verification matrix based on DM2; The elements of the DoDAF model include actors, activities, capabilities, resources, and rules. V is the set of all elements in the DoDAF model, and M is the set in the same order as V. Let v i ∈V,m j ∈M; Construct the verification matrix A, element a in A ij The values ​​are: Step 1-2: Verify the structural integrity of the DoDAF model; Verify the verification matrix A. Assuming that there are N elements in the set V, the verification expression of the i-th element is: when When , the structure of this element in the DoDAF model is complete. When , the structure of the element in the model is incomplete; thus, N verification matrices are constructed to verify each element in the set V one by one; Step 2: Verify the content completeness of the DoDAF model based on the OODA loop; Step 2-1: Construction of verification matrix based on OODA loop; E represents the set of all active elements in the model, and F represents the set of the four elements of OODA; i ∈E,f j ∈F, establish the overlapping matrix G, element g in G ij The values ​​are: e i With f i Overlap refers to e i This activity belongs to a certain link in the OODA loop. The inflow and outflow of resources refer to the exchange of resources before and after the activity. If any pair of inflow and outflow of resources are heterogeneous, it means that the resources enter the next link after this activity. If any pair of inflow and outflow of resources are homogeneous, it means that the resources do not enter the next link of the OODA loop after the activity occurs, and this activity is not located in the complete OODA loop. Step 2-2: Verify the content completeness of the DoDAF model; According to the constructed relationship matrix G, each data entity element is verified separately; assuming that there are N elements in the set E, the verification expression for the integrity of the active data content is: Where P represents the number of heterogeneous elements in the resource flow set E, K j represents the number of heterogeneous elements in the resource flow in the E set corresponding to the j-th element in the F set; According to the OODA loop theory, if P = N and any K j >= 1, then all activities cause the combat resources to flow within the OODA loop, and a complete OODA loop can be formed among the activities; if P < N and any K j >= 1, it indicates that at least one activity is not in a complete OODA loop. When the combat resources pass through some activities, they cannot enter the next link, but there is a certain probability that a complete OODA loop exists; if P = N and there exists K j < 1, it indicates that all activities cause the combat resources to flow within the OODA loop, but a complete OODA loop cannot be formed among the activities; if P < N and there exists K j < 1, it indicates that at least one activity is not in a complete OODA loop. When the combat resources pass through this activity, they cannot enter the next link, and no complete OODA loop exists; Step 3: Dynamically verify the data of the DoDAF model; Step 3-1: Clarify combat missions and milestones; Clarify the overall objectives, mission system architecture, and intended purpose of this military mission based on military needs; determine key operational tasks and key parameters and indicators of operational nodes; Step 3-2: Establish a combat activity model and add specific parameters; Based on the combat mission model in the advanced combat concept model, the OV-5b further refines the combat content and basic combat process, including combat activities and their logical sequence, using a swim lane diagram. Specific parameters such as fuel consumption rate, mission completion rate, and key indicators of combat efficiency are added to the model. Step 3-3: Conduct simulations, obtain key indicators, and conduct comprehensive evaluations; Use the established models and parameters to conduct simulations and deductions. During the simulation process, combat activities are automatically executed according to preset rules and parameters, and changes in key indicators are recorded and displayed through visualization tools. By analyzing the data recorded during the simulation and deduction process, the rationality of the combat activity model is evaluated, and based on the evaluation results, necessary adjustments and optimizations are made to the combat activity model.

2. An electronic device, characterized in that: include: processor and memory; The memory is used to store a computer program, and the processor is used to execute the computer program stored in the memory, so that the electronic device performs the method as claimed in claim 1.

3. A computer-readable storage medium having a computer program stored thereon, characterized in that: When the computer program is executed by a processor, the method according to claim 1 is implemented.

4. A chip, characterized in that: include: A processor, configured to call and run a computer program from a memory, so that a device equipped with the chip executes the method as claimed in claim 1.

5. A computer program product, characterized in that The computer program product comprises a computer storage medium storing a computer program, wherein the computer program comprises instructions executable by at least one processor, and when the instructions are executed by the at least one processor, the method according to claim 1 is implemented.

Images