A template-based simple computational model development verification platform and verification method

Abstract

This invention discloses a template-based simple computational model development verification platform and verification method, including: importing ICD files and structured requirements files into the verification platform; generating an embedded functional interface framework model from the structured data in the structured requirements file, and providing a configured modeling environment for users to build embedded functional design models; loading the built embedded functional design model, performing interface verification on the embedded functional design model, and generating an embedded functional configuration file from the verified model. The technical solution provided by this invention solves the problems in the development of existing airborne data conversion units, where simple computational functions are implemented through customized software code, and functional changes and modifications lead to software code changes, resulting in a large workload and long development cycle for development and verification activities.

Description

Technical Field

[0001] This invention relates to, but is not limited to, the field of civil airborne avionics technology, and particularly to a template-based simple computational model development and verification platform and verification method. Background Technology

[0002] The Integrated Modular Avionics (IMA) platform is characterized by low cost, high flexibility, and easy scalability, and is the mainstream system architecture for civil aircraft both domestically and internationally.

[0003] As a crucial component of the IMA platform architecture, the airborne data conversion unit (ACU) provides high- and low-speed data buses and analog / discrete interface resources for aircraft, offering functions such as data conversion and simple calculations. Currently, the development of ACCU products primarily relies on customized software code to implement these simple calculation functions based on the specific requirements of each project. However, because the simple calculation functions of each project undergo continuous changes and modifications during development, the software code is not reusable, leading to code modifications and resulting in a large workload and long development cycle for development and verification activities. Summary of the Invention

[0004] The purpose of this invention is to provide a template-based simple calculation model development and verification platform and method to solve the problems in the development of existing airborne data conversion units, where simple calculation functions are implemented through customized software code, and changes and modifications to the functions lead to changes in the software code, resulting in a large workload and long schedule for development and verification activities.

[0005] The technical solution of the present invention: The embodiments of the present invention provide a simple computational model development and verification platform based on Template, including: a basic logic model development module, a requirement import function module, a model development support module, and a design result import and export module;

[0006] The basic logic model development module is used to encapsulate the modeling of functional model requirements. It is configured with a simple computational logic basic library (Template), which is pre-configured with a variety of basic logic models.

[0007] The requirement import function module is used to provide structuring functions for requirement documents, support the import of structured documents and parameter files, support the association of interface information and requirement information; and provide requirement management functions.

[0008] The model development support module provides an engineering management framework to assist in the design and development process to form a functional design model, and supports the import of ICD files and the generation of model frameworks.

[0009] The design result import / export module is used to export the functional design model as a functional configuration file, and to generate the imported functional configuration file as a functional design model, and provides interface verification function and import record function.

[0010] Optionally, in the template-based simple computational model development and verification platform described above,

[0011] The template includes a pre-configured basic logic model, which includes: a conversion function model, a mathematical calculation function model, a validity acquisition function model, a validity copy function model, a persistence function model, a signal comparison function model, a signal conversion function model, and a signal source selection function model.

[0012] This invention also provides a template-based method for developing and verifying a simple computational model. The method employs a simple computational model development and verification platform as described above to perform simulation verification of the system's computational function model. The method includes:

[0013] Step 1: Use the user interface of the engineering management function of the model development support module as the entry point of the verification platform to import the ICD file and structured requirements file into the verification platform;

[0014] Step 2: The model development support module generates an embedded functional interface framework model from the structured data in the imported structured requirements file, and provides a configured modeling environment for users to build embedded functional design models; the model development support module also loads the ICD file.

[0015] Step 3: Use the design results to import and export the functional modules to load the built embedded functional design model, and perform interface verification on the embedded functional design model. Generate the qualified model as the embedded functional configuration file.

[0016] Optionally, in the template-based simple computational model development and verification method described above,

[0017] Step 4: For the existing embedded function configuration file, regenerate the embedded function design model by importing and exporting the function modules. Then, complete the design verification of the corresponding embedded function by running, testing and modifying the model.

[0018] Optionally, in the template-based simple computation model development and verification method described above, the file import in step 1 includes the following two implementation methods:

[0019] Method 1: Users need to fill in the embedded functional requirements document into the embedded functional requirements template through the user interface to form a structured requirements document;

[0020] Method 2: Import the structured requirements file using the requirements import function module, parse it in this module, and convert it into the internal data structure of the confirmation platform for use by the model development support module.

[0021] Optionally, in the template-based simple computational model development and verification method described above, step 1 involves importing a structured requirements file using the requirements import function module, including:

[0022] Based on the structured requirements template, the embedded functional requirements document is re-filled into the template to form a structured requirements document;

[0023] The imported structured requirements file is parsed and parameters are captured, and structured requirements data is generated for use by modules in subsequent processes.

[0024] Optionally, in the template-based simple computation model development and verification method described above, step 2 includes:

[0025] The model development support module imports ICD files through the ICD import function to obtain ICD information, enabling the ICD information to find the corresponding requirement interface correspondence in the generated structured data. The model framework generation function generates a functional interface framework model from the structured data. This functional interface framework model will be used for subsequent manual modeling to complete the embedded functional design model.

[0026] The model development support module's project management function provides file structure, model information, and software entry points to assist users in model development.

[0027] Optionally, in the template-based simple computational model development and verification method described above, step 3 includes:

[0028] The embedded function design model and interface generation information are loaded through the model export function. The interface generation information will be verified through the interface verification function to ensure the consistency between the model and the interface information. Based on the interface information, the cross-linking relationship of the basic logic template inside the model is obtained. The obtained cross-linking relationship and interface information are used to form a data structure. The complete model description information is generated through the data structure for model export, thereby generating the embedded function configuration file.

[0029] Optionally, in the template-based simple computation model development and verification method described above, step 4 includes:

[0030] The model import function parses the embedded function configuration file based on the user's schema file, automatically generates the embedded function design model, and records the import log information.

[0031] The method for automatically generating the embedded functional design model is as follows: the obtained input / output interface information is parsed to generate the internal logic interface of the model; the parsed basic logic template is generated into the model by referencing the template library; then, the logic model is generated according to the cross-linking relationship between the templates; finally, the loaded ICD file information and the input / output ICD information constitute the external interface of the model and are connected to the internal interface of the model to complete the import of the embedded functional design model.

[0032] The beneficial effects of this invention are as follows: This invention provides a simple computational model development and verification platform and method based on a template. The implementation method is as follows: The user interface of the model development support module's engineering management function serves as the entry point to the verification platform, importing ICD files and structured requirement files into the platform. The model development support module generates an embedded functional interface framework model from the structured data in the imported structured requirement files and provides a configured modeling environment for users to build embedded functional design models. The model development support module also loads the ICD files. The design result import / export function module loads the built embedded functional design model and performs interface verification on the model. Models that pass the verification are generated as embedded functional configuration files. Furthermore, for existing embedded functional configuration files, the result import / export function module regenerates the embedded functional design model, thereby completing the design verification of the corresponding embedded functions through model operation, testing, and modification. The technical solution provided by this invention has the following beneficial effects:

[0033] (1) The design of the data calculation logic of the airborne data conversion unit is one of the complex design links in the system development. It is used to meet the resource usage requirements of different systems. Compared with the traditional design method that mainly relies on the experience of system engineers and the familiarity with product implementation, the technical solution provided by this embodiment of the invention decomposes the calculation processing of product design into functions and defines simple calculation templates, which is easier to understand and design, and lowers the entry threshold for system designers.

[0034] (2) A simple computational model development and verification method based on Template is used to form a basic library of simple computational logic. The method adopts the form of requirement standardization and model visualization, which can assist designers to design quickly. In addition, based on the Simulink tool platform, customized automatic test case generation and testing are carried out, which can perform coverage testing on the logic processing model of system-level design, meet the model verification of system-level design, and greatly improve design efficiency and correctness.

[0035] (3) The template-based simple computational model development and verification method transforms system-level design into design model data, which facilitates continuous modification and project reuse / reuse during the system development process, and gives full play to the advantages and value of model-based design (MBD). Attached Figure Description

[0036] The accompanying drawings are provided to further understand the technical solutions of the present invention and constitute a part of the specification. They are used together with the embodiments of this application to explain the technical solutions of the present invention and do not constitute a limitation on the technical solutions of the present invention.

[0037] Figure 1 A schematic diagram of the architecture of a simple computational model development and verification platform based on a template, provided for an embodiment of the present invention;

[0038] Figure 2 To adopt Figure 1 The illustrated embodiment provides a schematic diagram of the principle of the implementation functional model verification method of the template-based simple computational model development verification platform.

[0039] Figure 3 This is a schematic diagram illustrating the structured requirements of the system computing function model in an embodiment of the present invention;

[0040] Figure 4 A schematic diagram illustrating the principle of the requirement import function module in the development and confirmation method for a simple computational model based on a template provided in this embodiment of the invention.

[0041] Figure 5 This is an example diagram of a structured requirements template in an embodiment of the present invention;

[0042] Figure 6 This is a schematic diagram of the file loading interface of the import function module in this embodiment of the invention;

[0043] Figure 7 This is a schematic diagram of the interface of the requirement management function in the requirement import function module in this embodiment of the invention;

[0044] Figure 8A schematic diagram illustrating the principle of the model development support module's execution function in the template-based simple computational model development and verification method provided in this embodiment of the invention;

[0045] Figure 9 This is a schematic diagram illustrating the principle of the model framework generation function generating requirement interface in an embodiment of the present invention;

[0046] Figure 10 This is a schematic diagram of the engineering management interface provided by the model development support module in an embodiment of the present invention;

[0047] Figure 11 This is a schematic diagram of the modeling interface provided by the model development support module in an embodiment of the present invention;

[0048] Figure 12 This is a schematic diagram of the model library interface provided by the model development support module in an embodiment of the present invention;

[0049] Figure 13 This is a schematic diagram illustrating the instantiation name of the model framework generation function in this embodiment of the invention;

[0050] Figure 14 This is a schematic diagram illustrating the signal binding connection of the model framework generation function in an embodiment of the present invention;

[0051] Figure 15 This is a schematic diagram illustrating the matching and verification of the model framework generation function in an embodiment of the present invention;

[0052] Figure 16 This is a schematic diagram of the interface provided for the project management function in an embodiment of the present invention;

[0053] Figure 17 A schematic diagram illustrating the principle of the design result import / export module's execution function in the template-based simple computation model development and verification method provided in this embodiment of the invention.

[0054] Figure 18 This is a schematic diagram of the embedded function configuration file imported by the model import function of the design result import / export module in this embodiment of the invention;

[0055] Figure 19 This is a schematic diagram illustrating the principle of model import internal logic generation in an embodiment of the present invention. Detailed Implementation

[0056] To make the objectives, technical solutions, and advantages of the present invention clearer, the embodiments of the present invention will be described in detail below with reference to the accompanying drawings. It should be noted that, unless otherwise specified, the embodiments and features described in this application can be arbitrarily combined with each other.

[0057] As explained in the background section above, in the development of existing airborne data conversion units, since the system's simple calculation functions are implemented through customized software code, the system's simple calculation functions in each project are continuously changed and modified during the development process. Since the software code is not reusable, changes to the software code are inevitable, resulting in problems such as a large workload and long schedule for development and verification activities.

[0058] To address the aforementioned issues, this invention provides a template-based platform for developing and verifying simple computational models. By abstracting and refining data computation-related functions, reusable and combinable templates are formed. In project implementation, the system's simple computational functions are modeled, and configuration data is loaded into the airborne data conversion unit.

[0059] The present invention provides the following specific embodiments, which can be combined with each other. For the same or similar concepts or processes, they may not be described again in some embodiments.

[0060] Figure 1 This is a schematic diagram of the architecture of a template-based simple computational model development and verification platform provided in an embodiment of the present invention. The template-based simple computational model development and verification platform comprises four components: a basic logic model development module, a requirements import function module, a model development support module, and a design result import / export module.

[0061] The above modules are structured as follows: Figure 1 As shown, the basic logic model development module in this embodiment of the invention is an encapsulation of functional model requirement modeling. It is configured with a simple computational logic basic library (Template). The basic logic model pre-configured in the Template includes: conversion function model, mathematical calculation function model, validity acquisition function model, validity copy function model, persistence function model, signal comparison function model, signal conversion function model, and signal source selection function model.

[0062] The requirement import function module in this embodiment of the invention provides a structured function for requirement files, supports the import of structured files and parameter files, supports the association of interface information and requirement information, and provides requirement management functions.

[0063] The model development support module in this embodiment of the invention provides an engineering management framework to assist in the design and development of functional design models, and supports the import of ICD files and the generation of model frameworks.

[0064] The design result import / export module in this embodiment of the invention supports exporting the functional design model as a functional configuration file, supports generating the imported functional configuration file as a functional design model, and provides interface verification function and import record function.

[0065] like Figure 1 In this embodiment of the invention, the requirement import function module has the following functions: requirement structuring function, requirement management function, and interface association function.

[0066] The model development support module in this embodiment of the invention is configured with the following functions: ICD import function, model framework generation function, and project management function.

[0067] The design result import / export module of this invention has the following functions: template import function, template export function, interface verification function, and import record function.

[0068] like Figure 2 As shown, this is the method of using Figure 1 The illustrated embodiment provides a schematic diagram of the principle of the implementation function model verification method of the template-based simple computation model development verification platform. Figure 2 The diagram illustrates the interaction relationships between various modules in the development and confirmation platform using a simple computational model.

[0069] In this embodiment of the invention, examples of the design and simulation verification of the system's computational function model are described below:

[0070] like Figure 3 The diagram shown illustrates the structured requirements of the system computational function model in an embodiment of the present invention. Taking a certain function of the aircraft air management system as an example, this function requires the onboard data conversion unit to determine the validity of four redundant speed parameters received from the fan equipment, and then vote to select a valid or invalid speed parameter. Through the design of the system computational function model, this embodiment of the aircraft air management system function is formed, for example... Figure 3 As shown.

[0071] Based on the template-based simple computational model development and verification platform provided in the above embodiments of the present invention, and the internal configuration and implementation functions of each module in the verification platform, the present invention provides a template-based simple computational model development and verification method. The verification platform provided in the above embodiments is used to execute the model development and verification simulation method, such as... Figure 2 The principle of the functional model verification method shown includes the following implementation steps:

[0072] Step 1: Use the user interface of the engineering management function in the model development support module as the entry point for the verification platform, and import the ICD file and structured requirements file into the verification platform.

[0073] The following two optional implementation methods exist for importing files in this step:

[0074] One implementation method is: for Figure 3 The structured requirements document for the "System Computing Functional Model" shown requires users to fill in the embedded functional requirements document into the embedded functional requirements template through the user interface to form the structured requirements document.

[0075] Another implementation method is to import the structured requirements file using the requirements import function module, parse it in this module, and convert it into the internal data structure of the confirmation platform for use by the model development support module.

[0076] Step 2: The model development support module generates an embedded functional interface framework model from the structured data in the imported structured requirements file, and provides a configured modeling environment for users to build embedded functional design models; at the same time, the model development support module loads the ICD file.

[0077] Step 3: Use the design results to import and export the functional modules to load the built embedded functional design model, and perform interface verification on the embedded functional design model. Generate the qualified model as the embedded functional configuration file.

[0078] The import / export module also provides ICD file attribute backfilling functionality; the embedded functional design model in this embodiment of the invention is... Figure 3 The "system computational function model" that needs to be designed and simulated for verification is required.

[0079] The model development and verification simulation method provided in this embodiment of the invention also includes the following steps performed using the result import / export function module:

[0080] Step 4: For the existing embedded function configuration file, regenerate the embedded function design model by importing and exporting the function modules. Then, complete the design verification of the corresponding embedded function by running, testing and modifying the model.

[0081] This invention provides a template-based simple computation model development and verification platform and method. Adopting the MBD design concept, it proposes a template-based simple computation model development and verification platform and method for the data computation function of the airborne data conversion unit in the Integrated Modular Avionics (IMA) platform. This involves decomposing and encapsulating existing interface resources according to functional categories to form a customized simple computation logic base library (Template). The system's computation function is then designed, simulated, and tested to verify the functional design. Through these methods, a generalized design can be achieved by integrating various I / O interface resources, ensuring rapid and efficient configuration of airborne data conversion unit resources, improving the efficiency of simple data computation function design, and meeting the rapid application requirements of airborne equipment in different scenarios.

[0082] The following provides a detailed description of the specific implementation methods of each module in the process of implementing the functional design model verification simulation method of the template-based simple computational model development and verification platform provided in the embodiments of the present invention.

[0083] (I) Basic Logic Model Development Module

[0084] In this embodiment of the invention, a simple computational logic basic library (Template) is built to realize the data flow design and functional simulation verification of various functional models.

[0085] The following description uses the definition of a functional logic template as an example to illustrate how a functional model is constructed. It should be noted that this embodiment proposes eight types of functional models, each containing multiple templates, with the "functional logic template" being the smallest unit of the model. This functional logic template can perform combinational logic operations on four discrete single-bit input signals according to user-specified logic standard defined parameters. The output of this functional logic template is the result of the logic operation and the validity of that result.

[0086] There are 16 possible permutations and combinations of the four input signals for the functional logic template. The output results of these 16 permutations and combinations can be recorded according to the specific combinational logic. Each output result is recorded as a 16-bit binary value, which is then converted to a hexadecimal value. This value uniquely identifies each logic combination. Each template can be built using modules from the Simulink basic model library. Each module in the Simulink basic model library consists of an S-function and has a corresponding TLC file, supporting the generation of function code. The model supports adding parameter attribute configuration functions, allowing users to change module parameters. The model is uniformly packaged into a Simulink model library for subsequent manual drag-and-drop modeling and supports its use when designing other system computational functions on this platform.

[0087] Based on the above-mentioned basic logical model construction approach, the embodiments of the present invention implement the design of the following functional models:

[0088] (1) Transformation Function Model

[0089] The conversion function model is defined from the basic logic template requirements of the conversion function. Based on the basic logic template requirements definition file of the conversion function, the Template of this embodiment provides no less than 10 conversion function models and their configuration methods, supporting users' graphical calls and parameter modifications.

[0090] (2) Mathematical Calculation Functional Model

[0091] The mathematical calculation function model provides some simple mathematical calculation functions in the embedded functions. Its functional requirements are defined by the basic logic template requirements of the mathematical calculation function. Based on the basic logic template requirements definition file of the mathematical calculation function, the Template of this embodiment provides no less than 8 mathematical calculation function models and their configuration methods, supporting users' graphical calls and parameter modifications.

[0092] (3) Effectiveness Acquisition Functional Model

[0093] The validity retrieval function model can provide validity of bus type or other data types. Its functional requirements are defined by the basic logic template requirements of the validity retrieval function. Based on the basic logic template requirements definition file of the validity retrieval function, the Template of this embodiment provides no less than 9 validity retrieval function models and their configuration methods, supporting users' graphical calls and parameter modifications.

[0094] (4) Effective Copy Functional Model

[0095] The valid copy function model can provide valid copying of bus type or other data types. Its functional requirements are defined by the basic logic template requirements of the valid copy function. According to the basic logic template requirements definition file of the valid copy function, the Template of this embodiment will provide no less than 6 valid copy function models and provide configuration methods for each model, supporting users' graphical calls and parameter modification.

[0096] (5) Persistent functional model

[0097] The persistent holding function model can provide the function of maintaining the output of a certain data or signal for the simulation time. The time characteristics can be viewed and confirmed in the Scope. This function is defined by the basic logic template requirements of the persistent holding function. According to the basic logic template requirements definition file of the persistent holding function, the Template of this embodiment will provide no less than 8 persistent holding function models and provide the configuration method of each model, supporting users' graphical call and parameter modification.

[0098] (6) Signal Comparison Functional Model

[0099] The signal comparison function model is defined from the basic logic template requirements of the signal comparison function. Based on the basic logic template requirements definition file of the signal comparison function, the Template of this embodiment provides no less than 12 signal comparison function models and provides the configuration method of each model, supporting users' graphical call and parameter modification.

[0100] (7) Signal conversion function model

[0101] The signal conversion function model is defined from the basic logic template requirements of the signal conversion function. Based on the basic logic template requirements definition file of the signal conversion function, the Template of this embodiment will provide no less than 6 signal conversion function models and provide the configuration method of each model, supporting users' graphical calling and parameter modification.

[0102] (8) Source selection function model

[0103] The source selection function model can determine the validity of data or bus signal sources and select signal sources according to their priority. The source selection function is defined by the basic logic template requirements of the source selection function. Based on the basic logic template requirements definition file of the source selection function, this software will provide no less than 9 source selection function models and provide configuration methods for each model, supporting users' graphical calls and parameter modifications.

[0104] (II) Requirements Import Function Module

[0105] like Figure 4 The diagram shown illustrates the principle of the requirement import function module in the template-based simple computation model development and verification method provided in this embodiment of the invention.

[0106] The embedded functional requirements document (FQR) describes all embedded logic. Based on the structured requirements template, the FQR is rewritten into the template to form the structured requirements document. The structured requirements document is implemented through the structured design of the embedded functional requirements document, including input signal names, output signal names, embedded function names, message names, data types, and data lengths. In addition, the structured requirements document can provide special parameter settings according to user needs. These parameters will directly affect the generated embedded functional framework model or the called basic logic template. For example... Figure 5 The image shown is an example diagram of a structured requirement template in an embodiment of the present invention. The following describes the functions of the requirement import module:

[0107] (1) Requirements structuring function: Parses and captures parameters of imported structured requirement files, and generates structured requirement data for subsequent modules to use. The function is divided into embedded requirement import function and export function.

[0108] The requirements import function includes file loading and file parsing. File loading selects the appropriate file loading tool based on the file format used in the structured requirements document to obtain the internal data of the software. The file parsing function analyzes this data content, extracts relevant and related information, and generates structured data from the parsed data. For example... Figure 6 The image shown is a schematic diagram of the file loading interface of the import function module in an embodiment of the present invention.

[0109] The functional requirements export function allows you to export the model's requirement framework and fill in the logic definition of the logic template based on the embedded functional basic logic template connected to the requirement framework.

[0110] (2) Requirements Management Functions: This includes the generation and display of structured requirement documents. After the user loads the structured requirement definition file, it is imported into structured data. This module saves the structured data as a structured file and places it in a specific folder for user management, loading, and viewing; for example... Figure 7 The diagram shown is a schematic representation of the interface of the requirement management function in the requirement import function module of this invention.

[0111] (3) Interface association function: The input and output interfaces, ICD interfaces and parameter files in the structured requirements file will be associated. The input and output interfaces will be associated with the corresponding ICD interfaces according to the structured requirements file, while the parameter information will be associated with the functional interfaces according to the user-defined parameter files.

[0112] (III) Model Development Support Module

[0113] like Figure 8The diagram shown illustrates the principle of the model development support module in the template-based simple computational model development and verification method provided in this embodiment of the invention.

[0114] The model development support module imports ICD files to obtain ICD information via the ICD import function. This ICD information will then be used to find the corresponding requirement interfaces in the generated structured data. The structured data will then generate a functional interface framework model using the model framework generation function. This functional interface framework model will be used for subsequent manual modeling to complete the embedded functional design model. This module also has an engineering management function, which provides file structure, model information, and software entry points to assist users in model development.

[0115] ICD Import Function: This function imports and parses ICD information based on the user's ICD file format. For XML file formats, a third-party plugin is used as the ICD import and parsing tool to parse the ICD information required by the interface conversion module for use by the model framework generation function. For typical bus signals, the ICD import function obtains the ICD signal name and attributes, and generates a signal model based on this information to support model development. This model will be generated as a Subsystem, which users can drag and drop.

[0116] Model framework generation function: Used to generate framework models, parsing requirement interface information from structured requirement data, and constructing them using MATLAB Bus structures and input / output interfaces, such as... Figure 9 The diagram shown is a schematic representation of the principle of the model framework generation function generating requirement interface in an embodiment of the present invention.

[0117] The framework model will be placed in a fixed folder to facilitate subsequent functional modeling. This module provides an engineering management interface, a modeling interface, and a model library interface to support embedded functional design.

[0118] The project management interface is used to open models, load data, and provide folder structures for easy operation by designers. Figure 10 The diagram shown is a schematic of the engineering management interface provided by the model development support module in an embodiment of the present invention.

[0119] The modeling interface supports model scaling, function settings, module dragging and dropping, module connection, and operation control, making it convenient for designers to model, such as... Figure 11 The diagram shown is a schematic of the modeling interface provided by the model development support module in an embodiment of the present invention.

[0120] The model library interface offers various modeling modules, including basic logic templates, and supports a search function for easy searching and drag-and-drop functionality, such as... Figure 12The diagram shown is a schematic of the model library interface provided by the model development support module in an embodiment of the present invention.

[0121] Model framework generation function: Based on the structured data according to the requirements, it instantiates the template used and names the instantiated model with the name defined in the requirements, such as... Figure 13 The diagram shown illustrates the instantiation of the model framework generation function in an embodiment of the present invention.

[0122] Model framework generation function: It associates embedded function input / output ports and embedded function signals, and binds and connects the associated signals, such as... Figure 14 The diagram shown illustrates the signal binding connection of the model framework generation function in an embodiment of the present invention.

[0123] When the structured data of the requirements contains logical template information and cross-linking information, the model framework generation function will verify the data types of the input and output signals and the interfaces of the template input and output during generation, and issue alarms for mismatched interfaces to ensure the consistency of interface information. Figure 15 The diagram shown illustrates the matching and verification process of the model framework generation function in an embodiment of the present invention.

[0124] Project management functions: Custom development based on Matlab Simulink Project. Using Simulink Project, resources, data, and workflows involved in system modeling and simulation can be integrated and managed, creating a unified and standardized working environment for design and development personnel, and providing an entry point for verifying other modules of the platform, such as... Figure 16 The diagram shown is a schematic representation of the interface provided by the project management function in an embodiment of the present invention.

[0125] The project management function will support incremental design of the model. This function will integrate the Git toolkit to support model version updates, restoration and other operations, as well as model comparison to view the incremental content of different version models.

[0126] (iv) Design Result Import / Export Module;

[0127] like Figure 17 The diagram shown illustrates the principle of the design result import / export module in the template-based simple computation model development and verification method provided in this embodiment of the invention.

[0128] The embedded function configuration file is a user-defined model description file in XML format. The design result import / export module can parse the embedded function configuration file according to the schema definition provided by the user, automatically generate the embedded function design model, and record the import log information. For the designed embedded function design model, the embedded function configuration file can also be generated through the model export function.

[0129] Model import function: It will parse the embedded function configuration file based on the user's schema file, such as... Figure 18 The diagram shown is a schematic of the embedded function configuration file imported by the model import function of the design result import / export module in an embodiment of the present invention.

[0130] The embedded functional configuration file information includes the following: input interface information, output interface information, input ICD information, output ICD information, the name of the basic logic template to be called, and the signal relationships between logic templates. The parsed input / output interface information will generate the internal logic interface of the model. The parsed basic logic template will be generated into the model by referencing the template library. Then, a logic model will be generated based on the inter-template relationships. Finally, the loaded ICD file information and the input / output ICD information constitute the external interface of the model and are connected to the internal interface of the model, completing the import of the embedded functional design model. Figure 19 The diagram shown is a schematic representation of the principle of model import internal logic generation in an embodiment of the present invention.

[0131] Model Export Function: This function loads the embedded functional design model and interface generation information. The interface generation information undergoes interface validation to ensure consistency between the model and the interface information. Based on the interface information, it obtains the cross-linking relationships of the model's internal basic logic templates and constructs a data structure from these relationships and interface information. This data structure generates complete model description information for model export. This module generates attribute names and node information according to the user-defined schema file and generates unique GUIDs for the EmbFcn and newly added signals. Finally, it generates the embedded functional configuration file and automatically names the exported file according to the embedded functional name.

[0132] Interface validation function: This function loads the embedded functional design model and interface generation information. The interface generation information is validated to ensure consistency between the model and the interface information. Based on the interface information, the cross-linking relationships of the model's internal basic logic templates are obtained. These cross-linking relationships and the interface information are then combined to form a data structure. This data structure generates complete model description information for model export and configuration file generation.

[0133] Import record function: It will record the import time and status information during the model import process. The status information will save the current import and interface verification alarms and import results, and record the corresponding time, and save it as a Log file.

[0134] The template-based simple computational model development verification platform and verification method provided in this invention are implemented as follows: The user interface of the model development support module's engineering management function serves as the entry point to the verification platform, importing ICD files and structured requirement files into the platform. The model development support module generates an embedded functional interface framework model from the structured data in the imported structured requirement files and provides a configured modeling environment for users to build embedded functional design models. The model development support module also loads the ICD files. The design result import / export function module loads the built embedded functional design model and performs interface verification on it. Models that pass the verification are generated as embedded functional configuration files. Furthermore, for existing embedded functional configuration files, the result import / export function module regenerates the embedded functional design model, thereby completing the design verification of the corresponding embedded functions through model operation, testing, and modification. The technical solution provided in this invention has the following beneficial effects:

[0135] (1) The design of the data calculation logic of the airborne data conversion unit is one of the complex design links in the system development. It is used to meet the resource usage requirements of different systems. Compared with the traditional design method that mainly relies on the experience of system engineers and the familiarity with product implementation, the technical solution provided by this embodiment of the invention decomposes the calculation processing of product design into functions and defines simple calculation templates, which is easier to understand and design, and lowers the entry threshold for system designers.

[0136] (2) A simple computational model development and verification method based on Template is used to form a basic library of simple computational logic. The method adopts the form of requirement standardization and model visualization, which can assist designers to design quickly. In addition, based on the Simulink tool platform, customized automatic test case generation and testing are carried out, which can perform coverage testing on the logic processing model of system-level design, meet the model verification of system-level design, and greatly improve design efficiency and correctness.

[0137] (3) The template-based simple computational model development and verification method transforms system-level design into design model data, which facilitates continuous modification and project reuse / reuse during the system development process, and gives full play to the advantages and value of model-based design (MBD).

[0138] To meet the requirements of universal configuration for airborne data conversion units in aircraft, this invention proposes a simple computational model development and verification method based on templates. To achieve rapid design and verification of data computation functions in airborne data conversion units, a rapid development and verification platform based on a basic template library is established. First, various basic functions are designed and encapsulated using logic templates to form a simple computational logic basic library (Template). Then, using the functional models designed in this invention, a functional platform is developed to structure the system's computational processing requirements, importing them to form the interface framework for functional computation. Next, the simple computational logic templates encapsulated in the basic library are called via drag-and-drop, and the design and simulation verification are performed against the computational requirements to form the final design model. Finally, the export function of the development and verification platform is used to generate the configuration file for the airborne equipment. The development and verification platform provided in this invention includes four components: a basic logic development module, a requirement import function module, a model development support function module, and a design result import / export function module. The simple computational logic basic library (Template) includes: conversion functions, mathematical calculation functions, validity acquisition functions, validity copy functions, persistence functions, signal comparison functions, signal conversion functions, source selection functions, etc. The template requirement model is encapsulated through the basic logic development module; the requirement import function imports and forms structured requirements; the model development support function forms an interface framework model for manual modeling and design; and the design result import and export function enables the mutual conversion between modeling results and configuration requirements.

[0139] The technical solution provided by this invention supports the rapid design and simulation verification of embedded airborne data conversion units for aircraft. This invention enables structured analysis of various requirements, significantly reducing the time and manpower costs associated with manual data entry into the platform database. Simultaneously, leveraging the software platform framework and employing a drag-and-drop design method, designers can easily design and visualize interface data flows, greatly optimizing the design process. Furthermore, the verification and simulation functions provided by the software platform accurately present the simulation output of the design results, reducing the manual costs of iterative testing. It has been successfully applied to domestic civil aircraft demonstration and verification projects, supporting multiple rounds of system computation and processing requirement design and iteration, and applying the configuration data generated from the design model results to the airborne data conversion unit.

[0140] While the embodiments disclosed in this invention are as described above, they are merely illustrative of the embodiments to facilitate understanding of the invention and are not intended to limit the invention. Any person skilled in the art to which this invention pertains may make any modifications and variations in the form and details of the implementation without departing from the spirit and scope disclosed herein; however, the scope of patent protection for this invention shall still be determined by the scope defined in the appended claims.

Claims

1. A simple computational model development and verification platform based on Template, characterized in that, include: The module includes a basic logic model development module, a requirements import function module, a model development support module, and a design result import / export module. The basic logic model development module is used to encapsulate the modeling of functional model requirements. It is internally configured with a simple computational logic basic library Template, which pre-configures various basic logic models. The pre-configured basic logic models in the Template include: conversion function model, mathematical calculation function model, validity acquisition function model, validity copy function model, persistence function model, signal comparison function model, signal conversion function model, and signal source selection function model. The requirement import function module is used to provide structuring functions for requirement files, support the import of structured requirement files and ICD files, parse and capture parameters of imported structured requirement files, and generate structured requirement data for use by modules in subsequent processes, support the association of interface information and requirement information; and provide requirement management functions. The model development support module is used to provide an engineering management framework, import ICD files and structured requirement files into the verification platform, generate embedded functional interface framework models from the structured data in the imported structured requirement files, provide a configured modeling environment for users to build embedded functional design models, and load ICD files. The design result import / export module is used to export the assembled embedded functional design model as an embedded functional configuration file. It loads the embedded functional design model and interface generation information through the model export function. The interface generation information is verified through an interface validation function to ensure consistency between the model and the interface information. Based on the interface information, the module obtains the cross-linking relationships of the basic logic templates within the model. The obtained cross-linking relationships and interface information are combined into a data structure, which generates complete model description information for model export, thereby generating the embedded functional configuration file. The module also automatically generates the imported embedded functional configuration file as an embedded functional design model, allowing for the design verification of the corresponding embedded function through model execution, testing, and modification. Furthermore, it provides interface validation and import record functions. The method for automatically generating the embedded functional design model is as follows: the obtained input / output interface information is parsed to generate the internal logic interface of the model; the parsed basic logic template is generated into the model by referencing the template library; then, the logic model is generated according to the cross-linking relationship between the templates; finally, the loaded ICD file information and the input / output ICD information constitute the external interface of the model and are connected to the internal interface of the model to complete the import of the embedded functional design model.

2. A method for developing and verifying a simple computational model based on a template, characterized in that, A method for simulating and verifying the system's computational function model using a simple computational model development and verification platform as described in claim 1, the method comprising: Step 1: Use the user interface of the engineering management function of the model development support module as the entry point of the verification platform to import the ICD file and structured requirements file into the verification platform; Step 2: The model development support module generates an embedded functional interface framework model from the structured data in the imported structured requirements file, and provides a configured modeling environment for users to build embedded functional design models; the model development support module also loads the ICD file. Step 3: Use the design results to import and export the functional modules to load the built embedded functional design model, and perform interface verification on the embedded functional design model. Generate the qualified model as the embedded functional configuration file.

3. The method for developing and verifying a simple computational model based on a template according to claim 2, characterized in that, Also includes: Step 4: For the existing embedded function configuration file, regenerate the embedded function design model by importing and exporting the function modules. Then, complete the design verification of the corresponding embedded function by running, testing and modifying the model.

4. The method for developing and verifying a simple computational model based on a template according to claim 2, characterized in that, The file import in step 1 includes the following two implementation methods: Method 1: Users need to fill in the embedded functional requirements document into the embedded functional requirements template through the user interface to form a structured requirements document; Method 2: Import the structured requirements file using the requirements import function module, parse it in this module, and convert it into the internal data structure of the confirmation platform for use by the model development support module.

5. The method for developing and verifying a simple computational model based on a template according to claim 4, characterized in that, In step 1, the structured requirement file is imported using the requirement import function module, including: Based on the structured requirements template, the embedded functional requirements document is re-filled into the template to form a structured requirements document; The imported structured requirements file is parsed and parameters are captured, and structured requirements data is generated for use by modules in subsequent processes.

6. The method for developing and verifying a simple computational model based on a template according to any one of claims 2 to 5, characterized in that, Step 2 includes: The model development support module imports ICD files through the ICD import function to obtain ICD information, enabling the ICD information to find the corresponding requirement interface correspondence in the generated structured data. The model framework generation function generates a functional interface framework model from the structured data. This functional interface framework model will be used for subsequent manual modeling to complete the embedded functional design model. The model development support module's project management function provides file structure, model information, and software entry points to assist users in model development.

7. The method for developing and verifying a simple computational model based on a template according to any one of claims 2 to 5, characterized in that, Step 3 includes: The embedded function design model and interface generation information are loaded through the model export function. The interface generation information will be verified through the interface verification function to ensure the consistency between the model and the interface information. Based on the interface information, the cross-linking relationship of the basic logic template inside the model is obtained. The obtained cross-linking relationship and interface information are used to form a data structure. The complete model description information is generated through the data structure for model export, thereby generating the embedded function configuration file.

8. The method for developing and verifying a simple computational model based on a template according to any one of claims 3 to 5, characterized in that, Step 4 includes: The model import function parses the embedded function configuration file based on the user's schema file, automatically generates the embedded function design model, and records the import log information. The method for automatically generating the embedded functional design model is as follows: the obtained input / output interface information is parsed to generate the internal logic interface of the model; the parsed basic logic template is generated into the model by referencing the template library; then, the logic model is generated according to the cross-linking relationship between the templates; finally, the loaded ICD file information and the input / output ICD information constitute the external interface of the model and are connected to the internal interface of the model to complete the import of the embedded functional design model.

Images