Simulation-based combined navigation filter bank reconstruction demand verification method and device

Abstract

The invention relates to the field of model-based demand simulation verification, in particular to a simulation-based combined navigation filter bank reconstruction demand verification method and device. The method comprises the following steps: step S10, creating an integrated navigation filter bank system architecture according to requirements; s20, constructing a demand simulation verification framework according to the combined navigation filter bank system architecture; step S30, creating a state machine model of the combined navigation filter bank reconstruction process under a demand simulation verification framework; and S40, building a visual user interaction simulation verification model according to the demand simulation verification framework and the state machine model.

Description

Technical Field

[0001] This invention relates to the field of model-based requirement simulation verification, specifically a simulation-based method and apparatus for verifying the reconstruction requirements of integrated navigation filter banks. Background Technology

[0002] Traditional document-based development methods typically employ manual analysis and review processes to verify the reconfiguration requirements of integrated navigation filter banks. This process and its results are highly dependent on the analyst's understanding of the system design, making the requirements analysis process prone to errors. With the increasing demands for performance-based navigation in civil aircraft, the complexity of integrated navigation filter bank reconfiguration requirements is constantly growing, necessitating a model-based requirements simulation verification solution. Summary of the Invention

[0003] Purpose of the invention: This invention provides a simulation-based method and apparatus for verifying the reconstruction requirements of integrated navigation filter banks, which solves the problem of verifying requirements based on joint simulation of data models and state machine behavior models, thereby meeting the requirements for verifying the reconstruction requirements of integrated navigation filter banks.

[0004] Technical solution: A simulation-based method for verifying the reconstruction requirements of integrated navigation filter banks includes: Step S10: Create the integrated navigation filter bank system architecture according to requirements; Step S20: Based on the integrated navigation filter bank system architecture, construct a requirement simulation verification framework; Step S30: Under the requirement simulation verification framework, create a state machine model for the reconstruction process of the combined navigation filter bank; Step S40: Based on the requirements simulation verification framework and state machine model, build a visual user interaction simulation verification model.

[0005] Further, step S10 includes: S101: Analyze the system requirements of the integrated navigation filter bank and identify the architectural components of the integrated navigation filter bank; S102: Based on the requirements of the integrated navigation filter bank system, determine the data source of the integrated navigation filter bank and construct the data model of the integrated navigation filter bank.

[0006] Further, step S20 includes: S201: Create a state machine simulation model and a user interaction simulation interface, and identify the link relationship between the state machine simulation model and the user interaction simulation interface; S202: Clarify the verification relationship between the requirements simulation verification framework and the system architecture of the integrated navigation filter bank.

[0007] Further, step S30 includes: S301: Analyze the state of the integrated navigation filter bank and construct a state machine behavior model for the reconstruction process of the integrated navigation filter bank; S302: Configure the simulation parameters of the combined navigation filter bank state machine according to the reconstruction requirements and the state machine behavior model; S303: Pass the state machine simulation parameters to the filter reconstruction algorithm model and bind the filter reconstruction algorithm model to the state machine behavior model.

[0008] Further, step S40 includes: S401: Based on the simulation verification framework for the reconstruction requirements of the integrated navigation filter bank, a user interactive simulation interface is built. S402: Using the user-interactive simulation interface, link the state machine model with the simulation interface, and realize parameter transfer and reconstruction to obtain joint simulation results; S403: Compare and confirm the results of the state machine co-simulation with the actual test results.

[0009] Furthermore, step S10 specifically uses the module definition diagram in the SysML standard specification to create the integrated navigation filter bank system architecture.

[0010] Further, step S30 uses the state machine diagram in the SysML standard specification to create a state machine model for the combined navigation filter bank reconstruction process.

[0011] A simulation-based integrated navigation filter bank reconstruction requirement verification device includes: The system architecture creation module is used to create the integrated navigation filter bank system architecture according to requirements. The building module is used to construct a requirement simulation and verification framework based on the integrated navigation filter bank system architecture. State machine model creation module: Used to create a state machine model of the combined navigation filter bank reconstruction process within the requirements simulation verification framework; The requirement simulation verification framework building module is used to build a visual user interaction simulation verification model based on the requirement simulation verification framework and state machine model.

[0012] Beneficial effects: 1. By using model-based requirement simulation verification technology and building a visual requirement verification simulation human-computer interaction interface, analysts can have a more intuitive understanding of the system's behavior and structure, which can reduce errors caused by insufficient experience or knowledge during the analysis process, thereby meeting the requirements for requirement verification of integrated navigation filter bank reconstruction. 2. Two optional requirements simulation verification methods are available: automatic and manual updating of navigation data sources. This allows requirements verification personnel to verify requirements step by step, or to quickly verify batch navigation data in an iterative manner, thereby improving the efficiency and effectiveness of the requirements verification process. Attached Figure Description

[0013] To more clearly illustrate the technical solutions in the embodiments of the present invention or the prior art, the drawings used in the description of the embodiments or the prior art will be briefly introduced below. The drawings described below are only some embodiments of the present invention. For those skilled in the art, other drawings can be obtained based on these drawings without creative effort.

[0014] Figure 1 This is a schematic diagram of the combined navigation filter bank reconstruction requirement verification process according to Embodiment 1 of the present invention; Figure 2 This is the context environment for verifying the reconstruction requirements of the combined navigation filter bank in Embodiment 1 of the present invention; Figure 3 This is the state machine model for verifying the reconstruction requirements of the combined navigation filter bank in Embodiment 1 of the present invention; Figure 4 This is the user interface for verifying the reconstruction requirements of the combined navigation filter bank in Embodiment 1 of the present invention.

[0015] Figure 5 This is a schematic diagram of the combined navigation filter bank reconstruction requirement verification process according to Embodiment 2 of the present invention; Figure 6 This is the context environment for verifying the reconstruction requirements of the combined navigation filter bank in Embodiment 2 of the present invention; Figure 7 This is the state machine model for verifying the reconstruction requirements of the combined navigation filter bank in Embodiment 2 of the present invention; Figure 8 This is the user interface for verifying the reconstruction requirements of the combined navigation filter bank in Embodiment 2 of the present invention. Detailed Implementation

[0016] To make the objectives, technical solutions, and advantages of the embodiments of the present invention clearer, the technical solutions of the embodiments of the present invention will be clearly and completely described below with reference to the accompanying drawings. Obviously, the described embodiments are only some embodiments of the present invention, not all embodiments. Based on the embodiments of the present invention, all other embodiments obtained by those skilled in the art without creative effort are within the scope of protection of the present invention.

[0017] The features and illustrative embodiments of various aspects of the present invention will now be described in detail. Numerous specific details are set forth in the following detailed description to provide a thorough understanding of the invention. However, it will be apparent to those skilled in the art that the invention may be practiced without requiring some of these specific details. The following description of embodiments is merely intended to provide a better understanding of the invention by illustrating examples of the invention. The invention is by no means limited to any specific setups and methods set forth below, but covers any improvements, substitutions, and modifications to structures, methods, and devices without departing from the spirit of the invention. Well-known structures and techniques are not shown in the drawings and the following description to avoid unnecessarily obscuring the invention.

[0018] In the description of this invention, it should be noted that the directions or positional relationships indicated by terms such as "center," "upper," "lower," "left," "right," "vertical," "horizontal," "inner," and "outer" are based on the directions or positional relationships shown in the accompanying drawings and are only for the convenience of describing and simplifying the invention, and should not be construed as limiting the invention. Furthermore, the use of ordinal numbers (e.g., "first and second," etc.) is for distinguishing objects and is not limited to this order, and should not be construed as indicating or implying relative importance.

[0019] In the description of this invention, it should be noted that, unless otherwise explicitly specified and limited, the terms "installation," "connection," and "linking" should be interpreted broadly, encompassing both direct connection and indirect connection via an intermediate medium. Those skilled in the art can understand the specific meaning of these terms in this invention based on the specific circumstances.

[0020] It should be noted that, unless otherwise specified, the embodiments of the present invention and the features thereof can be combined with each other, and the various embodiments can be referenced and cited in each other. The present invention will now be described in detail with reference to the accompanying drawings and embodiments.

[0021] The present invention will be further described in detail below with reference to the embodiments and accompanying drawings, but the embodiments of the present invention are not limited thereto.

[0022] Example 1 refer to Figure 1 Embodiment 1 of the present invention provides a simulation-based method for verifying the reconstruction requirements of the integrated navigation filter bank. This method verifies the reconstruction requirements of the integrated navigation filter bank in a step-by-step manner by manually updating the currently visible satellites. Specific steps include: Step S10: Create the integrated navigation filter bank system architecture according to requirements, such as... Figure 2 As shown.

[0023] Specifically, step S10 includes: S101: Analyze the system requirements of the integrated navigation filter bank, identify the architectural components of the integrated navigation filter bank, including the main filter, sub-filter, secondary filter and their compositional relationships and inheritance logic. S102: Based on system requirements, determine the data sources for the integrated navigation filter bank, construct the data model for the integrated navigation filter bank, including data sources from BeiDou satellites and GNSS satellites, as well as the relationships between the data; Step S20: Based on the integrated navigation filter bank system architecture, construct a requirement simulation verification framework.

[0024] Specifically, step S20 includes: S201: Create a state machine simulation model and a user interaction simulation interface, and identify the link relationship between the state machine simulation model and the user interaction simulation interface; S202: Clarify the verification relationship between the requirements simulation verification framework and the system architecture of the integrated navigation filter bank.

[0025] Step S30: Within the requirements simulation verification framework, create a state machine model for the reconstruction process of the integrated navigation filter bank. The state machine model diagram for requirements verification is shown below. Figure 3 As shown.

[0026] Specifically, step S30 includes: S301: Analyze the state of the integrated navigation filter bank, construct a state machine behavior model in the reconstruction process of the integrated navigation filter bank, including the navigation satellite data initialization state, navigation satellite data update state, filter working state and filter output state, and create state transition triggering conditions from the filter output state to the navigation satellite data update state to ensure that the visible satellites are manually updated for each frame. S302: Based on the reconstruction requirements and the state machine behavior model, configure the simulation parameters of the combined navigation filter bank state machine, including satellite number, visible state, satellite disappearance time, sub-filter and secondary filter inheritance logic, etc. S303: Pass the state machine simulation parameters to the filter reconstruction algorithm model and bind the filter reconstruction algorithm model to the state machine behavior model.

[0027] Step S40: Based on the requirement simulation verification framework and state machine model, build a visual user interaction simulation verification model for the integrated navigation filter bank. The visual user interaction simulation verification model is as follows: Figure 4 As shown.

[0028] Specifically, step S40 includes: S401: Based on the simulation verification framework for the reconstruction requirements of the integrated navigation filter bank, build a user interactive simulation interface, including the currently visible satellite interface and the filter composition interface; S402: Using a user-interactive simulation interface, link the state machine model with the simulation interface, and realize parameter transfer and reconstruction to obtain joint simulation results; for example, manually select the currently visible satellites and perform step-by-step verification on the state machine model to realize parameter transfer and reconstruction. S403: Compare and confirm the results of the state machine co-simulation with the actual test results.

[0029] Step S10 specifically uses the module definition diagram in the SysML standard specification to create the integrated navigation filter bank system architecture.

[0030] Step S30 uses the state machine diagram in the SysML standard specification to create a state machine model for the combined navigation filter bank reconstruction process; In summary, this invention discloses a simulation-based method for verifying the reconstruction requirements of a combined navigation filter bank. The method includes creating a combined navigation filter bank system architecture; constructing a requirement simulation verification framework based on the combined navigation filter bank system architecture; creating a state machine model of the combined navigation filter bank reconstruction process under the requirement simulation verification framework; and building a visual user interaction simulation verification model based on the requirement simulation verification framework and the state machine model.

[0031] Example 2 refer to Figure 5 Embodiment 2 of the present invention provides a simulation-based method for verifying the reconstruction requirements of a combined navigation filter bank. This method iteratively verifies the filter bank reconstruction requirements by automatically acquiring currently visible satellites. Specific steps include: Step S10: Create the integrated navigation filter bank system architecture according to requirements, such as... Figure 6 As shown.

[0032] Specifically, step S10 includes: S101: Analyze the system requirements of the integrated navigation filter bank, identify the architectural components of the integrated navigation filter bank, including the main filter, sub-filter, secondary filter and their compositional relationships and inheritance logic. S102: Based on the requirements of the integrated navigation filter bank system, determine the data sources of the integrated navigation filter bank, construct the data model of the integrated navigation filter bank, including the data sources of Beidou satellite and GNSS satellite, and the correlation between the data; Step S20: Based on the integrated navigation filter bank system architecture, construct a requirement simulation verification framework.

[0033] Specifically, step S20 includes: S201: Create a state machine simulation model, a user-interactive simulation interface, and a Matlab simulation engine, as well as the links between them; S202: Clarify the verification relationship between the requirements simulation verification framework and the system architecture of the integrated navigation filter bank.

[0034] Step S30: Within the requirements simulation verification framework, create a state machine model for the reconfiguration process of the integrated navigation filter bank. The state machine model is as follows: Figure 7 As shown.

[0035] Specifically, step S30 includes: S301: Analyze the state of the integrated navigation filter bank and construct a state machine behavior model for the reconstruction process of the integrated navigation filter bank, including the navigation satellite data initialization state, the navigation satellite data manual update state, the navigation satellite data automatic update state, the simulation interface reset state, and the filter output state. At the same time, create the transition trigger conditions between each state to ensure that the visible satellites for each frame can be manually or automatically updated, controlled by the mode switching logic.

[0036] S302: Based on the reconstruction requirements and the state machine behavior model, configure the simulation parameters of the combined navigation filter bank state machine, including satellite number, visible state, satellite disappearance time, sub-filter and secondary filter inheritance logic, etc. S303: Bind the filter reconstruction algorithm model to the state machine behavior according to the filter addition and replacement logic.

[0037] Step S40: Based on the requirement simulation verification framework and state machine model, build a visual user interaction simulation verification model for the integrated navigation filter bank. The visual user interaction simulation verification model is as follows: Figure 8 As shown.

[0038] Specifically, step S40 includes: S401: Based on the simulation verification framework for the reconstruction requirements of the integrated navigation filter bank, build a user interactive simulation interface, including mode switching, currently visible satellite interface and filter composition interface; S402: Using the user-interactive simulation interface and mode switching logic, it can switch to a manual mode to select the currently visible satellite and perform step-by-step verification on the state machine model; or call the Matlab engine to automatically read the currently visible satellite data file *.xls and perform iterative verification on the state machine model to realize parameter transfer and reconstruction. S403: Compare and confirm the results of the state machine co-simulation with the actual test results.

[0039] The combined navigation filter bank system architecture conforms to the syntax and semantics of the System Modeling Language (SysML). The Block Definition Diagram (BDD) is the most common type of SysML diagram, used to display different types of model elements and relationships to illustrate the system's structural information. This includes the system's components (and hierarchical structure) and their structural relationships—associations, generalizations, dependencies, and multiplicity. The Internal Block Diagram (IBD) is closely related to the BDD and is used to describe the internal structure of individual modules. The IBD describes the internal structure and relationships of system modules through components, ports, and connectors, supplementing the content of the BDD.

[0040] Based on the stakeholders and their requirements for the reconstruction of the captured integrated navigation filter bank, the system architecture of the integrated navigation filter bank is constructed using module definition diagrams and internal module diagrams, including the system architecture components and the requirement simulation verification framework.

[0041] The required simulation verification framework includes a state machine model and a user-interactive simulation interface. It can link the state machine model with the simulation interface to realize parameter transmission. The simulation interface controls the transition logic of the state machine to realize the verification of the combined navigation filter bank reconstruction requirements.

[0042] The integrated navigation filter bank system architecture includes: Architecture Component 1: Navigation Data Source (BeiDou Satellite, GNSS) Architecture Component 2: Filter Bank (including main, sub, and secondary filters) Architecture Component 3: Filter Inheritance Logic (Algorithm) The requirements simulation and verification framework includes: Framework Component 1: State Machine Model Framework Component 2: User Interaction Simulation Window Framework Component 3: Matlab Simulation Engine (Optional) The relationship between the integrated navigation filter bank system architecture and the requirements simulation verification framework includes: Relationship Component 1: Validation Relationship (between environment components and architectural components) Component 2: Connection relationship (between the user interaction simulation window and the state machine behavior model) Component 3: Data flow relationship (between the Matlab simulation engine and the state machine algorithm) The internal algorithmic behavior of the three key state characteristics of the state machine model (entry action, do internal execution, and exit action) is implemented using the JavaScript language.

[0043] The user interaction simulation interface is created using a Win32 dialog box, which links dialog box control parameters with state machine behavior. event , guard , action_list By linking the parameters and state machine behavior characteristics (entry, do, exit) parameters, bidirectional transmission of simulation parameters can be achieved.

[0044] The above description is merely a specific embodiment of this application, but the scope of protection of this application is not limited thereto. Any variations or substitutions that can be easily conceived by those skilled in the art within the technical scope disclosed in this application should be included within the scope of protection of this application. Therefore, the scope of protection of this application should be determined by the scope of the claims.

Claims

1. A simulation-based method for verifying the reconstruction requirements of integrated navigation filter banks, characterized in that, The methods include: Step S10: Create the integrated navigation filter bank system architecture according to requirements; Step S20: Based on the integrated navigation filter bank system architecture, construct a requirement simulation verification framework; Step S30: Under the requirement simulation verification framework, create a state machine model for the reconstruction process of the combined navigation filter bank; Step S40: Based on the requirements simulation verification framework and state machine model, build a visual user interaction simulation verification model.

2. The method according to claim 1, characterized in that, Step S10 includes: S101: Analyze the system requirements of the integrated navigation filter bank and identify the architectural components of the integrated navigation filter bank; S102: Based on the requirements of the integrated navigation filter bank system, determine the data source of the integrated navigation filter bank and construct the data model of the integrated navigation filter bank.

3. The method according to claim 1, characterized in that, Step S20 includes: S201: Create a state machine simulation model and a user interaction simulation interface, and identify the link relationship between the state machine simulation model and the user interaction simulation interface; S202: Clarify the verification relationship between the requirements simulation verification framework and the system architecture of the integrated navigation filter bank.

4. The method according to claim 1, characterized in that, Step S30 includes: S301: Analyze the state of the integrated navigation filter bank and construct a state machine behavior model for the reconstruction process of the integrated navigation filter bank; S302: Configure the simulation parameters of the combined navigation filter bank state machine according to the reconstruction requirements and the state machine behavior model; S303: Pass the state machine simulation parameters to the filter reconstruction algorithm model and bind the filter reconstruction algorithm model to the state machine behavior model.

5. The method according to claim 1, characterized in that, Step S40 includes: S401: Based on the simulation verification framework for the reconstruction requirements of the integrated navigation filter bank, a user interactive simulation interface is built. S402: Using the user-interactive simulation interface, link the state machine model with the simulation interface, and realize parameter transfer and reconstruction to obtain joint simulation results; S403: Compare and confirm the results of the state machine co-simulation with the actual test results.

6. The method according to claim 1, characterized in that, Step S10 specifically uses the module definition diagram in the SysML standard specification to create the integrated navigation filter bank system architecture.

7. The method according to claim 1, characterized in that, Step S30 uses the state machine diagram in the SysML standard specification to create a state machine model for the combined navigation filter bank reconstruction process.

8. A simulation-based integrated navigation filter bank reconstruction requirement verification device, characterized in that, include: The system architecture creation module is used to create the integrated navigation filter bank system architecture according to requirements. The building module is used to construct a requirement simulation and verification framework based on the integrated navigation filter bank system architecture. State machine model creation module: Used to create a state machine model of the combined navigation filter bank reconstruction process within the requirements simulation verification framework; The requirement simulation verification framework building module is used to build a visual user interaction simulation verification model based on the requirement simulation verification framework and state machine model.

Images