A method and device supporting system multi-level modeling and simulation verification

Abstract

The present invention discloses a method and device for supporting multi-level modeling and simulation verification of a system, the method comprising: decomposing a satellite communication system hierarchically according to mission-system-system; constructing a satellite communication system mission-task hierarchical metamodel, a system hierarchical metamodel, and a system hierarchical metamodel based on a multi-level modeling and simulation verification system to form a satellite communication system mission-task-system-system metamodel library; constructing a satellite communication system mission-task model, a system hierarchical model, and a system hierarchical model respectively to construct a satellite communication system mission-task-system-system unified model; and the multi-level modeling and simulation verification system performs consistency check, simulation, and verification on the unified model. The method constructs a complex system multi-level / multi-domain model library, supports unified description of multi-level / multi-domain modeling languages, and customized construction of domain models.

Description

Technical Field

[0001] The present invention relates to the field of complex equipment system engineering, and in particular to a method and device for supporting multi-level modeling and simulation verification of a system. Background Art

[0002] Model-based systems engineering (MBSE) supports the formalization of requirements, design, analysis, verification and validation activities throughout the entire life cycle of system development through models. As the scale of systems expands and the complexity continues to increase, the development process of complex equipment systems follows a step-by-step iterative modeling method such as mission-system-system, and involves multiple fields such as mechanics, electrical, hydraulics, and control, showing multi-field and multi-level characteristics. This results in the need to apply a large number of modeling languages ​​in different fields and different system levels in the same field during the development process. The underlying data structures of different modeling languages ​​are heterogeneous, making it difficult to manage them uniformly, and it is impossible to ensure the consistency of data in the design process.

[0003] Modeling tools are one of the three pillars of MBSE modeling. Modeling tools are the carriers of modeling languages ​​and modeling methods. They define the rules for using modeling languages ​​and support designers to conduct modeling, simulation, verification and analysis activities on tools. At present, there are many mature MBSE modeling tools abroad. The Cameo Systems Modeler tool of Dassault in France supports visual modeling of UML, SysML, BPMN and UPDM modeling languages, and further customizes and expands these supported modeling languages ​​through Profile to meet the requirements of specific fields or projects. The Capella tool of Thales in France is an MBSE tool for system architecture design for Arcadia methodology and Arcadia DSML modeling language. It supports viewpoint-driven complex system design and aims to help engineers design and analyze the architecture of complex systems. Rational Rhapsody is a commercial MBSE modeling tool provided by IBM. It provides a model-driven visual development and testing environment for embedded application software, supports SysML / UML, DSML modeling languages ​​and MBSE modeling methodology Harmony SE. Domestic MBSE modeling tools are still in their infancy. Zhejiang University developed the M-Design tool based on the system modeling language SysML to support system modeling in the design space. Sowei has developed the S-MASP modeling platform that supports SysML, Modelica, AADL and other languages ​​throughout the life cycle. The types of modeling languages ​​supported by MBSE modeling tools at home and abroad are limited, which makes it difficult to meet the multi-level and multi-domain characteristics of complex system design and has significant limitations.

[0004] The Cameo Systems Modeler tool of Dassault of France supports system-level modeling based on the SysML modeling language, and supports system-level modeling based on UAF / UPDM through the integrated UAF / UPDM plug-in, and supports process modeling based on BPMN through the integrated Cameo Business Modeler plug-in. Compared with other single modeling language tools, the Cameo Systems Modeler tool can better support modeling at different levels such as system-system, and supports different modeling languages ​​such as SysML, UAF, UPDM, and BPMN. However, for complex system development, the types of modeling languages ​​it supports are still limited, and it cannot support engineers to build corresponding specific domain modeling languages ​​according to the characteristics of the field and related specifications, making it difficult to achieve multi-architecture modeling at different levels such as specific field mission-system-system. In addition, the cost of solving the type of modeling language by integrating modeling language plug-ins is relatively high.

[0005] By analyzing the functions of the above-mentioned MBSE modeling tools, we can find the following problems that need to be solved in current modeling tools:

[0006] 1. Limitations of modeling languages ​​supported by modeling tools

[0007] The existing modeling tools only support limited modeling languages ​​and do not support customized domain modeling languages. As the complexity of products increases, the description capability of a single domain-specific modeling language is limited, and the specific domain modeling expression capability is poor, making it difficult to complete a unified description of complex systems and unable to meet the design requirements of the system life cycle. Therefore, it is necessary to explore a modeling tool that is compatible with multiple modeling languages ​​and customized domain modeling languages ​​to achieve a unified description of the entire life cycle model of a complex system.

[0008] 2. Limitations of modeling levels supported by modeling tools

[0009] Due to the limitations of modeling languages ​​supported by modeling tools, each modeling language has an applicable life cycle stage or applicable field, resulting in the limitation of modeling hierarchical fields supported by a single modeling tool. Currently, modeling tools are mainly based on system-level modeling or system-level modeling. Few tools support modeling at different levels of the system-system, and it is difficult to integrate models of different tools at different modeling levels and interact with data.

[0010] 3. High integration cost of modeling tools

[0011] The Cameo Systems Modeler modeling tool supports modeling languages ​​such as UAF / UPDM and BPMN by integrating the Cameo Enterprise Modeler plug-in and the Cameo Business Modeler plug-in. Due to the high degree of specialization and complexity of the plug-ins, it faces the problems of high integration costs and high learning costs for users to learn different plug-ins. Summary of the invention

[0012] In view of this, the present invention provides a method and device that supports system multi-level modeling and simulation verification, which can solve the technical problems of lack of a unified modeling site corresponding to the product life cycle, multi-level and multi-architecture modeling, difficulty in integrating multi-architecture models, inconsistent data structures, and existing modeling tools that do not support the integration of multiple modeling languages ​​and do not support customized construction of domain modeling languages.

[0013] In view of this, the present invention provides a method and device that supports multi-level modeling and simulation verification of the system, which can solve the technical problems of unified expression of multi-domain modeling languages, customization of domain modeling languages, and unified construction of multi-level and multi-architecture models.

[0014] In order to solve the above technical problems, the present invention is implemented as follows.

[0015] A method for supporting multi-level modeling and simulation verification of a system, comprising:

[0016] Step S1: Based on the mission, system requirements, domain knowledge, and modeling specifications of the satellite communication system, the satellite communication system is decomposed hierarchically according to the mission-system-system; based on the multi-level modeling and simulation verification system, a mission-task level metamodel, a system-level metamodel, and a system-level metamodel of the satellite communication system are constructed to form a satellite communication system mission-task-system-system metamodel library;

[0017] Step S2: According to the metamodels of each level in the satellite communication system mission-system-system metamodel library, respectively construct the satellite communication system mission-system-system model, the system level model, and the system level model, and construct the satellite communication system mission-system-system unified model; according to the association relationship between the mission-system-system model, the system level model, and the system level model in the satellite communication system mission-system-system unified model, construct an association matrix model, and the multi-level modeling and simulation verification system performs a consistency check on the unified model; the multi-level modeling and simulation verification system constructs a hybrid state machine continuous system simulation model and a discrete event simulation model, and simulates and verifies the unified model.

[0018] Preferably, the multi-level modeling and simulation verification system includes a data layer, a functional layer and an application layer; the data layer is used to provide data support to the functional layer, the functional layer obtains data from the data layer, constructs a satellite communication system mission and task level metamodel, a system level metamodel, and a system level metamodel, and performs consistency check, simulation and verification on a satellite communication system mission and task-system-system unified model constructed based on the satellite communication system mission and task level metamodel, the system level metamodel, and the system level metamodel; the application layer is used to directly interact with a user, and on the basis of the functional layer, supports the user to perform mission-system-system multi-architecture modeling and simulate and verify the constructed mission-system-system multi-architecture model through a user interface;

[0019] The functional layer includes a metamodel design module, a multi-architecture model construction module and a simulation verification module. The metamodel design module includes a graph metamodel design submodule, an object metamodel design submodule, an attribute metamodel design submodule, a point metamodel design submodule, a relationship metamodel design submodule, and a role metamodel design submodule. The multi-architecture model construction module includes a mission model construction submodule, a system level model construction submodule, a system level model construction submodule, an association traceability model construction submodule, a model consistency check submodule and a mission-system-system metamodel library; the simulation verification module includes a state machine model construction submodule, a hybrid state machine discrete event simulation submodule, a hybrid state machine continuous system simulation submodule, and a simulation result output submodule.

[0020] Preferably, the attribute metamodel design submodule sets the name and description of the attribute metamodel according to the mission, system requirements, domain knowledge, modeling specifications of the satellite communication system, and the decomposition result of the satellite communication system according to the mission-system-system, selects the data type corresponding to the data of the attribute metamodel and the measurement unit corresponding to the data, generates the attribute metamodel, and outputs the attribute metamodel to the point metamodel design submodule, the object metamodel design submodule, the role metamodel design submodule, the relationship metamodel design submodule, and the graph metamodel design submodule;

[0021] The point metamodel design submodule sets the name and description of the point metamodel, configures the shape of the point metamodel, configures the attribute metamodel related to the point metamodel, generates the point metamodel, and outputs the point metamodel to the object metamodel design submodule according to the mission, system requirements, domain knowledge, modeling specifications of the satellite communication system, and the decomposition result of the satellite communication system according to the mission-system-system.

[0022] The object metamodel design submodule sets the name and description of the object metamodel according to the mission, system requirements, domain knowledge, modeling specifications of the satellite communication system, and the decomposition result of the satellite communication system according to the mission-system-system, configures the display mode, direction, shape, picture and icon representing the object metamodel, configures the attribute metamodel and object metamodel related to the object metamodel, generates a point metamodel, and outputs the point metamodel to the graphic metamodel design submodule;

[0023] The role metamodel design submodule sets the name and description of the role metamodel according to the mission, system requirements, domain knowledge, modeling specifications of the satellite communication system and the decomposition result of the satellite communication system according to the mission-system-system, configures the shape, direction and attributes of the role metamodel, configures the attribute metamodel related to the object metamodel, and outputs the role metamodel to the relational metamodel design submodule;

[0024] The relational metamodel design submodule sets the name and description of the relational metamodel, configures the shape of the relational metamodel, the icon representing the object metamodel, configures the attribute metamodel and the role metamodel related to the relational metamodel, and outputs the relational metamodel to the graph metamodel design submodule according to the mission, system requirements, domain knowledge, modeling specifications of the satellite communication system and the decomposition result of the satellite communication system according to the mission-system-system level by level.

[0025] The graph meta-model design sub-module sets the name, description, and type of the graph meta-model according to the mission, system requirements, domain knowledge, modeling specifications of the satellite communication system, and the decomposition result of the satellite communication system layer by layer according to the mission-system-system, configures the attribute meta-model, object meta-model, and relationship meta-model related to the graph meta-model, and outputs the graph meta-model to the multi-architecture model construction module.

[0026] Preferably, the mission task model construction submodule, the system level model construction submodule, and the system level construction submodule of the multi-architecture model construction module respectively select a number of matching metamodels according to the decomposition result of the satellite communication system and the graph metamodel, object metamodel, attribute metamodel, point metamodel, relationship metamodel, and role metamodel constructed by the metamodel design module, to construct the mission task metamodel, the system metamodel, and the system metamodel, and store the mission task metamodel, the system metamodel, and the system metamodel in the mission-system-system metamodel library; the matching metamodel is one or more of the graph metamodel, the object metamodel, the attribute metamodel, the point metamodel, the relationship metamodel, and the role metamodel;

[0027] Based on the mission-system-system metamodel library, as well as the system requirements, domain knowledge, and modeling specifications of the satellite communication system, the mission and task model, system-level model, and system-level model of the satellite communication system are constructed, and the mission and task model, system-level model, and system-level model are respectively instantiations of the mission and task metamodel, system-level model, and system-level model; based on the mission and task model, system-level model, and system-level model of the satellite communication system, a satellite communication system mission and task-system-system unified model is constructed; the association traceability model construction submodule constructs an association matrix model based on the association relationship between the mission and task model, system-level model, and system-level model in the satellite communication system mission and task-system-system unified model and the design structure matrix DSM data, and the association matrix model expresses the association relationship between the mission and task model, system-level model, and system-level model in the satellite communication system mission and task-system-system unified model; the association matrix model is output to the model consistency check submodule;

[0028] The model consistency check submodule performs consistency check on the model elements in the association matrix model and the model elements of each level corresponding to the model elements according to the mission and task model, the system level model and the system level model of the satellite communication system, wherein the model elements of each level corresponding to the model elements refer to the mission and task model, the system level model and the system level model of the satellite communication system. Through the consistency check of the model consistency check submodule, it is ensured that the model elements in the association matrix model are consistent with the model elements of each level.

[0029] Preferably, the simulation verification module of the functional layer includes a state machine model building submodule, a hybrid state machine discrete event simulation submodule, a hybrid state machine continuous system simulation submodule, and a simulation result output submodule;

[0030] The state machine model construction submodule is used to construct a hybrid state machine continuous system simulation model and a hybrid state machine discrete event simulation model, and the construction method is: based on the mission-system-system metamodel library, select the graph metamodel related to the state machine model, instantiate the objects and relationships in the state machine model, define each state in the state machine model, define the event that triggers the state transition, define the transition rules between states, and for each state and state transition, define the behavior or action related thereto; the hybrid state machine continuous system simulation model is a modeling expression of the continuous changes and dynamic processes of the satellite communication system in the working scene, and the hybrid state machine discrete event simulation model is a modeling expression of the discrete events and state transitions of the satellite communication system in the working scene; the hybrid state machine continuous system simulation model is output to the hybrid state machine continuous system simulation submodule, and the hybrid state machine discrete event simulation model is output to the hybrid state machine discrete event simulation submodule;

[0031] The hybrid state machine continuous system simulation submodule receives the hybrid state machine continuous system simulation model, calls the simulation model compiler built into the hybrid state machine continuous system simulation submodule to compile the hybrid state machine continuous system simulation model, calls the hybrid state machine solver built into the hybrid state machine continuous system simulation submodule to implement simulation solution, and outputs the simulation solution result to the simulation result output submodule;

[0032] The hybrid state machine discrete event simulation submodule receives the hybrid state machine discrete event simulation model, calls the simulation model compiler built into the hybrid state machine discrete event simulation submodule to compile the hybrid state machine discrete event simulation model, calls the hybrid state machine solver built into the hybrid state machine discrete event simulation submodule to implement simulation solution, and outputs the simulation solution result to the simulation result output submodule;

[0033] The simulation result output submodule is used to output the simulation solution results in the form of files and visualization.

[0034] The present invention provides a device for supporting multi-level modeling and simulation verification of a system, the device comprising:

[0035] Metamodel library construction module: configured to decompose the satellite communication system hierarchically according to the mission-system-system based on the mission, system requirements, domain knowledge, and modeling specifications of the satellite communication system; construct the mission-task level metamodel, system-level metamodel, and system-level metamodel of the satellite communication system based on the multi-level modeling and simulation verification system to form a satellite communication system mission-task-system-system metamodel library;

[0036] Model construction and simulation verification module: configured to construct the satellite communication system mission model, system level model, and system level model according to the metamodels of each level in the satellite communication system mission-system-system metamodel library, and construct a satellite communication system mission-system-system unified model; construct an association matrix model for the association relationship between the mission model, system level model, and system level model in the satellite communication system mission-system-system unified model, and the multi-level modeling and simulation verification system performs a consistency check on the unified model; the multi-level modeling and simulation verification system constructs a hybrid state machine continuous system simulation model and a discrete event simulation model, and simulates and verifies the unified model.

[0037] The present invention provides a computer-readable storage medium, wherein a plurality of instructions are stored in the storage medium; the plurality of instructions are used for a processor to load and execute the method as described above.

[0038] An electronic device provided by the present invention is characterized in that the electronic device comprises:

[0039] A processor, which is used to execute multiple instructions;

[0040] A memory for storing a plurality of instructions;

[0041] The plurality of instructions are used to be stored by the memory and loaded and executed by the processor to implement the method as described above.

[0042] Beneficial effects:

[0043] (1) The present invention uses KARMA language as the underlying modeling language, adopts the MOF (M0 / M3) modeling framework of the object-oriented management organization, and studies the unified construction method of multi-level / multi-domain metamodels based on the meta-level abstract concept GOPPRR-E method (graph, object, relationship, attribute, role, point and extension), constructs a multi-level / multi-domain model library for complex systems, supports the unified description of multi-level / multi-domain modeling languages ​​and customized construction of domain modeling.

[0044] (2) The present invention is developed based on the multi-architecture modeling language KARMA, and combines the GOPPRR-E metamodeling technology to construct a multi-level / multi-domain metamodel library that can support the unified description and interoperability of multi-level / multi-domain architecture models.

[0045] (3) In the present invention, KARMA language is used as the underlying language to support the description and customization of other modeling languages, thereby ensuring the consistency of the underlying language. There is no need to learn multiple languages, thus reducing the learning cost. BRIEF DESCRIPTION OF THE DRAWINGS

[0046] Figure 1A schematic diagram of the method flow for supporting system multi-level modeling and simulation verification provided by the present invention;

[0047] Figure 2 A schematic diagram of the structure of the domain modeling system provided by the present invention;

[0048] Figure 3 A working principle diagram of the attribute metamodel design of the metamodel design module provided by the present invention;

[0049] Figure 4 A point metamodel design working principle diagram of the metamodel design module provided by the present invention;

[0050] Figure 5 The object metamodel design working principle diagram of the metamodel design module provided by the present invention;

[0051] Figure 6 A working principle diagram of role metamodel design of the metamodel design module provided by the present invention;

[0052] Figure 7 A working principle diagram of the relational metamodel design of the metamodel design module provided by the present invention;

[0053] Figure 8 A diagram of the working principle of the metamodel design module provided by the present invention;

[0054] Fig. 9 Mission-system-system metamodel library construction working principle diagram for the multi-architecture model construction module provided by the present invention;

[0055] Fig.10 A working principle diagram of mission task model construction of the multi-architecture model construction module provided by the present invention;

[0056] Fig.11 A diagram showing the working principle of the system-level model construction of the multi-architecture model construction module provided by the present invention;

[0057] Fig.12 A system-level model building working principle diagram of the multi-architecture model building module provided by the present invention;

[0058] Fig.13 A diagram showing the working principle of building a correlation matrix model for a multi-framework model building module provided by the present invention;

[0059] Fig.14 A working principle diagram of model consistency checking of a multi-architecture model building module provided by the present invention;

[0060] Fig.15 A working principle diagram for constructing a state machine model of the simulation verification module provided by the present invention;

[0061] Fig.16 A hybrid state machine discrete event simulation working principle diagram of the simulation verification module provided by the present invention;

[0062] Fig.17 A schematic diagram of the hybrid state machine continuous system simulation work principle of the simulation verification module provided by the present invention;

[0063] Fig.18 This is a working principle diagram of the simulation result output of the simulation verification module provided by the present invention. DETAILED DESCRIPTION

[0064] The present invention is described in detail below in conjunction with the accompanying drawings and embodiments.

[0065] like Figure 1-Figure 2 As shown, the present invention proposes a method for supporting multi-level modeling and simulation verification of a system, comprising:

[0066] Step S1: Based on the mission, system requirements, domain knowledge, and modeling specifications of the satellite communication system, the satellite communication system is decomposed hierarchically according to the mission-system-system; based on the multi-level modeling and simulation verification system, a mission-task level metamodel, a system-level metamodel, and a system-level metamodel of the satellite communication system are constructed to form a satellite communication system mission-task-system-system metamodel library;

[0067] Step S2: According to the metamodels of each level in the satellite communication system mission-system-system metamodel library, respectively construct the satellite communication system mission-system-system model, the system level model, and the system level model, and construct the satellite communication system mission-system-system unified model; according to the association relationship between the mission-system-system model, the system level model, and the system level model in the satellite communication system mission-system-system unified model, construct an association matrix model, and the multi-level modeling and simulation verification system performs a consistency check on the unified model; the multi-level modeling and simulation verification system constructs a hybrid state machine continuous system simulation model and a discrete event simulation model, and simulates and verifies the unified model.

[0068] The multi-level modeling and simulation verification system includes a data layer, a functional layer and an application layer. The data layer is used to provide data support to the functional layer, the functional layer obtains data from the data layer, constructs a satellite communication system mission and task level metamodel, a system level metamodel, and a system level metamodel, and performs consistency check, simulation and verification on the satellite communication system mission and task-system-system unified model constructed based on the satellite communication system mission and task level metamodel, the system level metamodel, and the system level metamodel; the application layer is used to directly interact with the user, and on the basis of the functional layer, through the user interface, supports the user to perform mission-system-system multi-architecture modeling and simulate and verify the constructed mission-system-system multi-architecture model.

[0069] The data layer is used to encapsulate the modeling language KARMA data, the demand ReqIF data, the design structure matrix DSM data and the simulation data. The modeling language KARMA data provides data support for the metamodel design module of the functional layer, the mission task model construction submodule in the multi-architecture model construction module, the system level model construction submodule, the system level model construction submodule, the mission task-system-system metamodel library, and the model consistency check submodule; the demand ReqIF data provides data support for the mission task model construction submodule, the system level model construction submodule, the system level model construction submodule, the mission task-system-system metamodel library, and the model consistency check submodule in the multi-architecture model construction module when processing models related to the demand; the design structure matrix DSM data provides data support for the association traceability model submodule of the functional layer to construct the association matrix model and perform consistency check on the satellite communication system mission task-system-system unified model; the simulation data provides data support for the functional layer to perform mixed state machine continuous simulation and mixed state machine discrete event simulation on the satellite communication system mission task-system-system unified model.

[0070] The functional layer includes a metamodel design module, a multi-architecture model construction module and a simulation verification module. The metamodel design module includes a graph metamodel design submodule, an object metamodel design submodule, an attribute metamodel design submodule, a point metamodel design submodule, a relationship metamodel design submodule, and a role metamodel design submodule. The multi-architecture model construction module includes a mission task model construction submodule, a system level model construction submodule, a system level model construction submodule, an association traceability model construction submodule, a model consistency check submodule, and a mission task-system-system metamodel library; the simulation verification module includes a state machine model construction submodule, a hybrid state machine discrete event simulation submodule, a hybrid state machine continuous system simulation submodule, and a simulation result output submodule. The complex equipment mission-system-system multi-architecture modeling of the application layer is realized through the metamodel design module and the multi-architecture model construction module of the functional layer. On this basis, the simulation verification of the complex equipment mission-system-system multi-architecture model of the application layer is realized through the simulation verification module of the functional layer.

[0071] The application layer includes a complex equipment mission-system-system multi-architecture modeling module and a complex equipment-system-system multi-architecture model simulation verification module. The complex equipment mission-system-system multi-architecture modeling module is used to receive users' creation, editing and construction of mission task level, system level model, system level meta-model and model through a user interface; the complex equipment-system-system multi-architecture model simulation verification module is used to support users to create continuous system simulation models and discrete event simulation models through a user interface, configure simulation parameters, perform simulation visualization, monitor and analyze simulation results in real time, and output simulation result reports.

[0072] The graphic metamodel design submodule, object metamodel design submodule, attribute metamodel design submodule, point metamodel design submodule, relationship metamodel design submodule, and role metamodel design submodule are used to construct a graphic metamodel, an object metamodel, an attribute metamodel, a point metamodel, a relationship metamodel, and a role metamodel according to the mission, system requirements, domain knowledge, and modeling specifications of the satellite communication system, as well as the decomposition result of the satellite communication system according to the mission-system-system layer by layer; wherein the graphic metamodel represents the graphic elements required for the satellite communication system, the object metamodel represents the physical components of the satellite communication system, the relationship metamodel represents the information transfer relationship between the actual components of the satellite communication system, the point metamodel represents the interface type and interaction objects of the interaction between the actual components of the satellite communication system, the attribute metamodel is an abstract description of the characteristic characteristics of the object metamodel and the relationship metamodel, and the role metamodel is used to describe the information transfer relationship between different components of the satellite communication system through what type and method is input and output.

[0073] The attribute metamodel design submodule sets the name and description of the attribute metamodel according to the mission, system requirements, domain knowledge, modeling specifications of the satellite communication system, and the decomposition result of the satellite communication system according to the mission-system-system, selects the data type (including string, integer, Boolean, etc.) corresponding to the data of the attribute metamodel and the unit of measurement corresponding to the data, generates the attribute metamodel, and outputs the attribute metamodel to the point metamodel design submodule, the object metamodel design submodule, the role metamodel design submodule, the relationship metamodel design submodule, and the graph metamodel design submodule.

[0074] The point metamodel design submodule sets the name and description of the point metamodel, configures the shape of the point metamodel, configures the attribute metamodel related to the point metamodel, generates the point metamodel, and outputs the point metamodel to the object metamodel design submodule according to the mission, system requirements, domain knowledge, modeling specifications of the satellite communication system, and the decomposition result of the satellite communication system layer by layer according to the mission-system-system.

[0075] The object metamodel design submodule sets the name and description of the object metamodel according to the mission, system requirements, domain knowledge, modeling specifications of the satellite communication system, and the decomposition result of the satellite communication system according to the mission-system-system hierarchical decomposition, configures the display mode (including container mode, display attributes, non-display attributes), direction (including vertical and horizontal), shape, pictures and icons representing the object metamodel, configures the attribute metamodel and object metamodel related to the object metamodel, generates a point metamodel, and outputs the point metamodel to the graphic metamodel design submodule.

[0076] The role metamodel design submodule sets the name and description of the role metamodel according to the mission, system requirements, domain knowledge, modeling specifications of the satellite communication system, and the decomposition result of the satellite communication system according to the mission-system-system, configures the shape, direction (input or output), and attributes of the role metamodel, configures the attribute metamodel related to the object metamodel, and outputs the role metamodel to the relational metamodel design submodule.

[0077] The relational metamodel design submodule sets the name and description of the relational metamodel, configures the shape of the relational metamodel, the icon representing the object metamodel, configures the attribute metamodel and the role metamodel related to the relational metamodel, and outputs the relational metamodel to the graph metamodel design submodule according to the mission, system requirements, domain knowledge, modeling specifications of the satellite communication system, and the decomposition result of the satellite communication system layer by layer according to the mission-system-system.

[0078] The graph meta-model design sub-module sets the name, description, and type of the graph meta-model according to the mission, system requirements, domain knowledge, modeling specifications of the satellite communication system, and the decomposition result of the satellite communication system layer by layer according to the mission-system-system, configures the attribute meta-model, object meta-model, and relationship meta-model related to the graph meta-model, and outputs the graph meta-model to the multi-architecture model construction module.

[0079] In the present invention, the attribute metamodel design submodule is a basic module, which supports the calling of the graph metamodel design submodule, the object metamodel design submodule, the point metamodel design submodule, the relationship metamodel design submodule, and the role metamodel design submodule. The relationship metamodel design submodule calls the role metamodel design submodule to configure the roles at both ends of the relationship. The object metamodel design submodule can call the point metamodel design submodule to configure the ports of the object. The graph metamodel design submodule calls the object metamodel design and the relationship metamodel design submodules to set the objects, relationships, and connection methods in the graph, and configure the decomposed view of the object. The interactive relationship between each metamodel design submodule supports the construction of a mission-task-system-system metamodel library. The present invention generates one or more graph metamodels, object metamodels, attribute metamodels, point metamodels, relationship metamodels, and role metamodels.

[0080] The mission task model construction submodule, the system level model construction submodule, and the system level construction submodule of the multi-architecture model construction module respectively select a number of matching metamodels according to the decomposition result of the satellite communication system and the graph metamodel, object metamodel, attribute metamodel, point metamodel, relationship metamodel, and role metamodel constructed by the metamodel design module, to construct the mission task metamodel, the system metamodel, and the system metamodel, and store the mission task metamodel, the system metamodel, and the system metamodel in the mission-system-system metamodel library; the matching metamodel is one or more of the graph metamodel, the object metamodel, the attribute metamodel, the point metamodel, the relationship metamodel, and the role metamodel.

[0081] Based on the mission-system-system metamodel library, as well as the system requirements, domain knowledge, and modeling specifications of the satellite communication system, the mission-task model, system-level model, and system-level model of the satellite communication system are constructed, and the mission-task model, system-level model, and system-level model are respectively instantiations of the mission-task metamodel, system-level model, and system-level model; based on the mission-task model, system-level model, and system-level model of the satellite communication system, a satellite communication system mission-task-system-system unified model is constructed; an association traceability model construction submodule constructs an association matrix model based on the association relationship between the mission-task model, system-level model, and system-level model in the satellite communication system mission-task-system-system unified model and the design structure matrix DSM data, and the association matrix model expresses the association relationship between the mission-task model, system-level model, and system-level model in the satellite communication system mission-task-system-system unified model; and the association matrix model is output to the model consistency check submodule.

[0082] The model consistency check submodule performs consistency check on the model elements in the association matrix model and the model elements of each level corresponding to the model elements according to the mission and task model, the system level model and the system level model of the satellite communication system, wherein the model elements of each level corresponding to the model elements refer to the mission and task model, the system level model and the system level model of the satellite communication system. Through the consistency check of the model consistency check submodule, it is ensured that the model elements in the association matrix model are consistent with the model elements of each level.

[0083] The simulation verification module of the functional layer includes a state machine model building submodule, a hybrid state machine discrete event simulation submodule, a hybrid state machine continuous system simulation submodule, and a simulation result output submodule.

[0084] The state machine model construction submodule is used to construct a hybrid state machine continuous system simulation model and a hybrid state machine discrete event simulation model. The construction method is: based on the mission-system-system metamodel library, select the graphic metamodel related to the state machine model, instantiate the objects and relationships in the state machine model, define each state in the state machine model, define the events that trigger state transitions, define the transition rules between states, and for each state and state transition, define the related behaviors or actions; the hybrid state machine continuous system simulation model models the continuous changes and dynamic processes of the satellite communication system in the working scenario, and the hybrid state machine discrete event simulation model models the discrete events and state transitions of the satellite communication system in the working scenario; the hybrid state machine continuous system simulation model is output to the hybrid state machine continuous system simulation submodule, and the hybrid state machine discrete event simulation model is output to the hybrid state machine discrete event simulation submodule.

[0085] The hybrid state machine continuous system simulation submodule receives the hybrid state machine continuous system simulation model, calls the built-in simulation model compiler of the hybrid state machine continuous system simulation submodule to compile the hybrid state machine continuous system simulation model, calls the built-in hybrid state machine solver of the hybrid state machine continuous system simulation submodule to implement simulation solution, and outputs the simulation solution result to the simulation result output submodule.

[0086] The hybrid state machine discrete event simulation submodule receives the hybrid state machine discrete event simulation model, calls the simulation model compiler built into the hybrid state machine discrete event simulation submodule to compile the hybrid state machine discrete event simulation model, calls the hybrid state machine solver built into the hybrid state machine discrete event simulation submodule to implement simulation solution, and outputs the simulation solution result to the simulation result output submodule.

[0087] The simulation result output submodule is used to output the simulation solution results in the form of files and visualization.

[0088] The present invention provides a specific embodiment of a method for supporting multi-level modeling and simulation verification of a system.

[0089] Step S1: Figure 1-Figure 2As shown in the figure, the modeling object is clearly defined as the satellite communication system, and the mission, system requirements, domain knowledge, and modeling specifications of the satellite communication system are input, and the satellite communication system is decomposed layer by layer according to the mission-system-system. At the mission level, the mission of the satellite communication system mainly includes global communication coverage and support for multiple communication services; at the system level, the satellite system architecture includes the satellite part, the ground station part, and the user terminal part; at the system level, the internal structure and interface relationship of the satellite system, ground station, and user terminal system are further analyzed. Based on the mission-system-system level analysis results, the satellite communication system mission-task level metamodel, system-level metamodel, and system-level metamodel are constructed; a satellite communication system mission-task-system-system metamodel library is formed; according to the metamodels of the corresponding levels in the metamodel library, the satellite communication system mission-task model, system-level model, and system-level model are constructed respectively; a satellite communication system mission-task-system-system multi-architecture unified model is formed; according to the association relationship between the mission, system, and system model elements in the multi-architecture unified model, an association matrix model is constructed; and based on the association matrix model, a model consistency check is performed, and a consistency check report is output to discover inconsistent elements in the early stage of design; at the same time, for the multi-architecture unified model, a hybrid state machine continuous system simulation model and a discrete event simulation model are constructed, and a hybrid state machine simulation is performed, and simulation visualization results and simulation reports are output to verify the effect of the system design, including the dynamic behavior of the system under different conditions, so as to identify and solve potential design problems in advance.

[0090] The multi-level modeling and simulation verification device includes a data layer, a functional layer and an application layer. The data layer is used to encapsulate the modeling language KARMA data, the demand ReqIF data, the design structure matrix DSM data and the simulation data. The modeling language KARMA data provides data support for the metamodel design module of the functional layer, the mission task model construction in the multi-architecture model construction module, the system level model construction, the system level model construction, the mission task-system-system metamodel library, and the model consistency check; the demand ReqIF data provides data support for the construction of the demand item model involved in the mission task model construction, the system level model construction, the system level model construction, the mission task-system-system metamodel library, and the model consistency check in the multi-architecture model construction module of the functional layer; the design structure matrix DSM data provides data support for the association matrix model construction and model consistency check of the functional layer; the simulation data provides data support for the hybrid state machine continuous system simulation and the hybrid state machine discrete event simulation of the functional layer. The metamodel design module and multi-architecture model building module of the functional layer are used to realize the multi-architecture modeling of complex equipment mission-system-system at the application layer. On this basis, the simulation verification module of the functional layer is used to realize the simulation verification of the multi-architecture model of complex equipment mission-system-system at the application layer.

[0091] The specific steps are as follows:

[0092] Step S2: In the present invention, the metamodel design module includes an attribute metamodel design submodule, a point metamodel design submodule, an object metamodel design submodule, a role metamodel design submodule, a relationship metamodel design submodule, and a graph metamodel design submodule. Referring to the mission, system requirements, domain knowledge, and modeling specifications of the satellite communication system, as well as the results of a hierarchical analysis of the satellite communication system according to the mission-system-system, a mission-task level metamodel, a system level metamodel, and a system level metamodel of the satellite communication system are constructed. Taking the construction of the system level metamodel of the satellite communication system as an example, the detailed process is as follows:

[0093] Step S2.1: Figure 3 As shown in the figure, input the satellite communication system requirements, domain knowledge, and modeling specifications. By analyzing the system-level content of the satellite communication system, the system-level attributes include "communication delay" and so on. Taking the "communication delay" attribute as an example, the attribute metamodel "communication delay" of the satellite communication system system level is constructed. Configure the name of the attribute metamodel "communication delay"; configure the description of the attribute metamodel "communication delay refers to the time from the start of data transmission by the sender to the completion of data reception by the receiver"; configure the data type of the attribute metamodel (including string, integer, Boolean, etc.) as "string"; you can choose to configure the unit of the attribute metamodel (kg, km, etc.); complete the design of the attribute metamodel. Output the designed attribute metamodel "communication delay" to the subsequent point metamodel, object metamodel, role metamodel, relationship metamodel, and graph metamodel design submodules to support their "communication delay" attribute configuration.

[0094] Step S2.2: Figure 4 As shown in the figure, input the satellite communication system requirements, domain knowledge, modeling specifications, and the attribute metamodel constructed in the previous step; by analyzing the system-level content of the satellite communication system, the system-level element ports include "user terminal port", "ground station port", "satellite payload port", etc. Taking "user terminal port" as an example, the "user terminal port" can receive the corresponding data received from the satellite communication system and output the user operation data, and construct the "user terminal port" point metamodel at the system level of the satellite communication system. Configure the name of the point metamodel "user terminal port"; configure the description of the point metamodel "user terminal port is the interface for communication between the satellite communication system and the user terminal device"; refer to the modeling specification to configure the fixed syntax of the point metamodel (i.e., shape, including rectangle, circle, triangle arrow) as a rectangle, configure the attribute metamodel "communication delay" of the "user terminal port" point metamodel, and complete the design of the point metamodel; output the designed point metamodel "user terminal port" to the object metamodel design submodule.

[0095] Step S2.3: Figure 5 As shown in the figure, the satellite communication system requirements, domain knowledge, modeling specifications, attribute metamodel and point metamodel constructed above are input; by analyzing the system-level content of the satellite communication system, the system-level elements include "user terminal", "ground station", "satellite", etc. Taking "user terminal" as an example, the object metamodel "user terminal" of the satellite communication system system level is constructed. Configure the name of the object metamodel "user terminal"; configure the description of the object metamodel "user terminal refers to the device used by the user, through which the user interacts and communicates with the satellite communication system"; configure the display mode of the object metamodel (including container mode: supporting the display of the content included in the object, display attributes: supporting the display of object attributes, and non-display attributes: not supporting the display of object attributes) as display attributes; the direction of the object metamodel can be selected (including vertical and horizontal); configure the fixed syntax of the object metamodel (i.e., shape, including rounded rectangle, rectangle, circle, etc.) as rectangle, and the image and icon of the object metamodel can be selected; configure the attribute metamodel "communication delay" of the object metamodel "user terminal"; configure the point metamodel "user terminal port" referenced by the object metamodel "user terminal". According to the analysis in the previous step, the direction of the point metamodel is "undirected", which means that it can be both input and output, and the design of the object metamodel is completed. Output the object metamodel "user terminal" to the graphic metamodel design submodule.

[0096] Step S2.4: Figure 6 As shown in the figure, input the satellite communication system requirements, domain knowledge, modeling specifications, and the attribute metamodel constructed above; by analyzing the system-level content of the satellite communication system, the system-level element relationship includes "include", "compose", etc., taking the "include" relationship as an example, refer to the input modeling specifications, and construct the role metamodels at both ends of the "include" relationship metamodel of the satellite communication system system level. Construct the names of the role metamodels "include the start end" and "include the end"; construct the descriptions of the role metamodels "include the input end of the relationship" and "include the output end of the relationship"; refer to the modeling specifications to configure the role metamodel fixed syntax (i.e., shape, including solid arrows, hollow arrows, arrow styles, etc.), "include the start end" fixed syntax is "none", "include the end" fixed syntax is "arrow style"; configure the "include the start end" direction as input, and "include the end" direction as output; configure the attribute metamodel of the role metamodel (not configured here), and complete the design of the role metamodel; output the "include the start end" and "include the end" role metamodels to the relationship metamodel design submodule.

[0097] Step S2.5: Figure 7As shown in the figure, input the satellite communication system requirements, domain knowledge, modeling specifications, the attribute metamodel and role metamodel constructed above; by analyzing the system-level content of the satellite communication system, the system-level element relationship includes "include", "compose", etc., taking the "include" relationship as an example, refer to the input modeling specifications to construct the "include" relationship metamodel of the satellite communication system system level. Construct the name of the relationship metamodel "include"; construct the description of the relationship metamodel "include relationship means that one element contains another element"; refer to the modeling specifications to configure the fixed syntax (i.e. shape, including solid line, bold solid line, dashed line, etc.) of the "include" relationship metamodel as dashed line and icon, select the attribute metamodel of the configuration relationship metamodel, configure the role metamodels "include start end" and "include end end" role metamodels at both ends of the "include" relationship metamodel, and complete the design of the relationship metamodel; output the relationship metamodel "include" to the graph metamodel design submodule.

[0098] Step S2.6: Figure 8 As shown, input the satellite communication system requirements, domain knowledge, modeling specifications, the attribute metamodel and role metamodel constructed above; attribute metamodel, object metamodel, relationship metamodel; by analyzing the system-level content of the satellite communication system, the system-level model includes the "architecture model", etc. Taking the "architecture model" as an example, a "architecture model" graph metamodel is constructed. Configure the name of the graph metamodel "Architecture Model"; configure the description of the graph metamodel "Describe the architecture of the satellite communication system", configure the type of the graph metamodel (normal graph or timing diagram) as "normal graph", configure the attribute metamodel "communication delay", object metamodel "user terminal", relationship metamodel "inclusion", etc. of the graph metamodel, configure the binding links between the role metamodel "inclusion start" and "inclusion terminal" referenced by the relationship metamodel "user terminal" and the object metamodel "user terminal" and the point metamodel "user terminal port" referenced by the object metamodel; configure the graph metamodel type for further decomposition or dissection of the object metamodel in the graph metamodel, such as the "user terminal" object metamodel can further dissect the "architecture model" of a "user terminal", which is used to describe the internal architecture of the "user terminal" and complete the design of the graph metamodel; output the graph metamodel to the multi-architecture model construction module.

[0099] Step S3: Complete the construction of the satellite communication system mission and task level metamodel, system level metamodel, and system metamodel according to the above process, and output them to the multi-architecture model construction module in the device. In the present invention, the multi-architecture model construction module includes a mission and task model construction submodule, a system level model construction submodule, a system level model construction submodule, an association matrix model construction submodule, a model consistency check submodule, and a mission and task-system-system metamodel library. With reference to the mission, system requirements, domain knowledge, and modeling specifications of the satellite communication system, a satellite communication system mission and task-system-system metamodel library is formed; based on the metamodel library, a satellite communication system mission and task model, a system level model, and a system level model are constructed; on this basis, the mission and task model, the system level model, the system level model, and the relationship between the models at each level are constructed; and the model consistency check is performed to check whether the model elements are consistent; the detailed process is as follows:

[0100] Step S3.1: Fig. 9 As shown, the construction of the satellite communication system mission-task level metamodel, system-level metamodel, and system metamodel is completed according to the above process, output to the multi-architecture model construction module in the device, and a blank requirement exchange format ReqIF model is constructed to form a satellite communication system mission-task-system-system metamodel library.

[0101] Step S3.2: Figure 10-12As shown, based on the satellite communication system mission-system-system metamodel library constructed above, as well as system requirements, domain knowledge, and modeling specifications, a satellite communication system mission model, a system level model, and a system level model are constructed based on the multi-architecture model construction module in the device. Taking the construction of the system-level model of the satellite communication system as an example, the system-level requirement item model of the satellite communication system is constructed based on the requirement exchange format ReqIF model, and the name of the requirement item model is configured, such as "system-level requirements of the satellite communication system"; the requirements model attributes such as "requirement ID", "requirement name", "requirement description", etc. are configured; according to the requirements model attributes "requirement ID", "requirement name", "requirement description", the requirements items are constructed, such as "REQ-1 Communication coverage capability Satellite communication system should have global communication coverage capability to ensure that users can communicate reliably at any location on the earth", "REQ-2 Collaboration capability Satellite communication system should support collaborative work between multiple satellites to improve coverage, accommodate more users and increase system flexibility"; configure the relationship types of the requirements items such as "dependency", "traceability", etc.; establish the link relationship "dependency" between the requirement items "REQ-1" and "REQ-2", and complete the construction of the system-level requirement model of the satellite communication system. Based on the system-level metamodels in the satellite communication system mission-system-system metamodel library, build a system-level architecture model, etc.; select the system-level metamodel "architecture model" in the mission-system-system metamodel library; configure the label of the system-level model such as "satellite communication system architecture" and the model unique id; generate a blank model of the system-level model; open the model canvas, and instantiate objects in the model such as "satellite communication system", "user terminal", "ground station", and "satellite" by dragging and dropping, and establish relationships between model objects such as "satellite communication system" contains "user terminal", "ground station", and "satellite", and complete the construction of the "satellite communication system architecture" model at the system level of the satellite communication system; similarly, complete the construction of the satellite communication system mission and system-level models; output the satellite communication system mission-system-system model to the association matrix model construction module and the model consistency check module.

[0102] Step S3.3: Fig.13As shown, the satellite communication system mission model, system level model, system level model and the relationship between models at each level are input, and the association matrix model is constructed based on the design structure matrix DSM to express the relationship between models at each level; the name of the association matrix model is configured, such as "satellite communication system association relationship" and a unique id; model elements with association relationships are imported; the association relationships between model elements are configured, such as "traceability" and "satisfaction", so as to realize the expression of association relationships between models at different levels and different model elements at the same level, and complete the construction of the satellite communication system association matrix model; the association matrix model is output to the model consistency check module.

[0103] Step S3.4: The model consistency check submodule performs consistency check on the model elements in the association matrix model and the model elements of each level corresponding to the model elements according to the mission and task model of the satellite communication system, the system level model, and the system level model, wherein the model elements of each level corresponding to the model elements refer to the elements in the mission and task model of the satellite communication system, the system level model, and the system level model. This ensures that the model elements in the association matrix model are consistent with the model elements in the level. Fig.14 As shown, the mission task model instance, the system level model instance, the system level model instance and the association matrix model are obtained, the consistency check engine is called, and the model consistency check is performed; the model consistency check result is output to the console, and the inconsistent model instances are identified in the association matrix model.

[0104] In this embodiment, in the multi-architecture model construction module, by calling the mission-system-system metamodel library, the construction of the mission-task model, the system-level model, and the system-level model are supported. The association matrix model construction submodule realizes the association matrix of model elements at different levels by calling the data of the mission-task model construction, system-level model construction, and system-level model construction submodules. The model consistency check submodule realizes the consistency check of the model by calling the data of the mission-task model construction, system-level model construction, system-level model construction submodule and the association matrix model construction submodule.

[0105] Step S4: In order to verify whether the designed mission model, system model and system model of the satellite communication system meet the requirements, such as according to the continuous system simulation model such as "communication link simulation", whether the system data transmission rate, communication delay and the like meet the requirements; according to the discrete event simulation model such as "communication request" event simulation model, whether the satellite communication system meets the requirements of the communication request. Call the simulation verification module for simulation verification. In the present invention, the simulation verification module includes a state machine model construction submodule, a hybrid state machine discrete event simulation submodule, a hybrid state machine continuous system simulation submodule, and a simulation result output submodule. First, a hybrid state machine model of the satellite communication system is constructed. The state machine model construction submodule is based on the mission-system-system metamodel library to establish a state machine model for modeling discrete events and state transitions, as well as continuous changes and dynamic processes of the satellite communication system in the working scene. The state machine model construction submodule supports the construction of a hybrid state machine simulation model, describes discrete events and state transitions in the system, as well as continuous changes and dynamic processes in the system. The hybrid state machine discrete event simulation submodule and the hybrid state machine continuous system simulation submodule respectively support the simulation of corresponding simulation models. Finally, the simulation result output submodule outputs the visual simulation results and simulation result report. The detailed process is as follows:

[0106] Step S4.1: Fig.15 As shown, obtain the mission-system-system metamodel library; select the state machine related metamodel type; configure the state machine model's labels such as "communication link simulation" and "communication request", and configure the state machine model's unique id; generate a blank model of the state machine model; open the model canvas, and instantiate the objects and relationships in the state machine model by dragging and dropping; define each state in the state machine; define the events that trigger state transitions; define the transition rules between states; for each state and state transition, define the related behaviors or actions; complete the construction of the hybrid state machine continuous system simulation model and the discrete event simulation model; output the hybrid state machine continuous system simulation model to the hybrid state machine continuous system simulation submodule, and output the hybrid state machine discrete event simulation model to the hybrid state machine discrete event simulation submodule.

[0107] Step S4.2: Fig.16 As shown, the hybrid state machine continuous system simulation model constructed above, such as "communication link simulation", is input into the hybrid state machine continuous system simulation sub-module, the simulation model compiler built into the sub-module is called to compile the model, the hybrid state machine solver built into the sub-module is called to implement the continuous "communication link simulation" system simulation solution, and the simulation solution result is output to the simulation result output sub-module.

[0108] Step S4.3: Fig.17As shown, the hybrid state machine discrete event simulation model constructed above, such as "communication request", is input into the hybrid state machine discrete event simulation submodule, the simulation model compiler built into the submodule is called to compile the model, the hybrid state machine solver built into the submodule is called to implement the discrete event simulation solution of "communication request", and the simulation solution result is output to the simulation result output submodule.

[0109] Step S4.4: The simulation result output submodule is used to visualize the results of the hybrid state machine discrete event simulation and the continuous system simulation and output them in the form of files. Fig.18 As shown, input simulation results, visualize the simulation results, generate simulation reports, and output simulation result files.

[0110] In this embodiment, in the simulation verification module, the state machine model construction submodule supports the construction of the mission-system-system state machine model by calling the mission-system-system metamodel library. The hybrid state machine discrete event simulation submodule and the hybrid state machine continuous system simulation submodule implement discrete event simulation and continuous system simulation respectively by calling the state machine model generated by the state machine model construction submodule, and output the simulation results to the simulation result output submodule for visual display, and output the simulation report.

[0111] Through the interactive relationship between modules, the construction, traceability, and simulation verification of different levels of models of complex equipment mission-system-system are integrated. It supports equipment mission-system-system multi-architecture modeling and equipment mission-system-system multi-architecture model simulation verification at the application layer.

[0112] The present invention combines KARMA language and GOPPRR-E meta-meta modeling method to propose a unified construction method of multi-level / multi-domain metamodels. It builds a multi-level / multi-domain metamodel library for complex systems, supports the unified description of multi-level / multi-domain modeling languages, and customizes the construction of domain modeling languages.

[0113] The present invention also provides a device for supporting multi-level modeling and simulation verification of the system, the device comprising:

[0114] Metamodel library construction module: configured to decompose the satellite communication system hierarchically according to the mission-system-system based on the mission, system requirements, domain knowledge, and modeling specifications of the satellite communication system; construct the mission-task level metamodel, system-level metamodel, and system-level metamodel of the satellite communication system based on the multi-level modeling and simulation verification system to form a satellite communication system mission-task-system-system metamodel library;

[0115] Model construction and simulation verification module: configured to construct the satellite communication system mission model, system level model, and system level model according to the metamodels of each level in the satellite communication system mission-system-system metamodel library, and construct a satellite communication system mission-system-system unified model; construct an association matrix model for the association relationship between the mission model, system level model, and system level model in the satellite communication system mission-system-system unified model, and the multi-level modeling and simulation verification system performs a consistency check on the unified model; the multi-level modeling and simulation verification system constructs a hybrid state machine continuous system simulation model and a discrete event simulation model, and simulates and verifies the unified model.

[0116] The above specific embodiments only describe the design principle of the present invention. The shapes and names of the components in the description may be different and are not limited. Therefore, those skilled in the art in the field of the present invention may modify or replace the technical solutions recorded in the above embodiments; and these modifications and replacements do not deviate from the creative purpose and technical solutions of the present invention and should all fall within the protection scope of the present invention.

Claims

1. A method for supporting multi-level modeling and simulation verification of a system, characterized in that: include: Step S1: Based on the mission, system requirements, domain knowledge, and modeling specifications of the satellite communication system, the satellite communication system is decomposed hierarchically according to the mission-system-system; based on the multi-level modeling and simulation verification system, the mission-task level metamodel, system-level metamodel, and system-level metamodel of the satellite communication system are constructed to form a satellite communication system mission-task-system-system metamodel library; Step S2: According to the metamodels of each level in the satellite communication system mission-system-system metamodel library, respectively construct the satellite communication system mission-system-system model, the system level model, and the system level model, and construct the satellite communication system mission-system-system unified model; according to the association relationship between the mission-system-system model, the system level model, and the system level model in the satellite communication system mission-system-system unified model, construct an association matrix model, and the multi-level modeling and simulation verification system performs a consistency check on the unified model; the multi-level modeling and simulation verification system constructs a hybrid state machine continuous system simulation model and a discrete event simulation model, and simulates and verifies the unified model; The multi-level modeling and simulation verification system includes a data layer, a functional layer and an application layer; the data layer is used to provide data support to the functional layer, the functional layer obtains data from the data layer, constructs a satellite communication system mission and task level metamodel, a system level metamodel, and a system level metamodel, and performs consistency check, simulation and verification on a satellite communication system mission and task-system-system unified model constructed based on the satellite communication system mission and task level metamodel, the system level metamodel, and the system level metamodel; the application layer is used to directly interact with users, and on the basis of the functional layer, through a user interface, supports users to perform mission-system-system multi-architecture modeling and simulate and verify the constructed mission-system-system multi-architecture model; The functional layer includes a metamodel design module, a multi-architecture model construction module and a simulation verification module. The metamodel design module includes a graph metamodel design submodule, an object metamodel design submodule, an attribute metamodel design submodule, a point metamodel design submodule, a relationship metamodel design submodule, and a role metamodel design submodule. The multi-architecture model construction module includes a mission model construction submodule, a system level model construction submodule, a system level model construction submodule, an association traceability model construction submodule, a model consistency check submodule and a mission-system-system metamodel library; the simulation verification module includes a state machine model construction submodule, a hybrid state machine discrete event simulation submodule, a hybrid state machine coherent system simulation submodule, and a simulation result output submodule.

2. The method according to claim 1, characterized in that The attribute metamodel design submodule sets the name and description of the attribute metamodel according to the mission, system requirements, domain knowledge, modeling specifications of the satellite communication system and the decomposition result of the satellite communication system according to the mission-system-system, selects the data type corresponding to the data of the attribute metamodel and the measurement unit corresponding to the data, generates the attribute metamodel, and outputs the attribute metamodel to the point metamodel design submodule, the object metamodel design submodule, the role metamodel design submodule, the relationship metamodel design submodule, and the graph metamodel design submodule; The point metamodel design submodule sets the name and description of the point metamodel, configures the shape of the point metamodel, configures the attribute metamodel related to the point metamodel, generates the point metamodel, and outputs the point metamodel to the object metamodel design submodule according to the mission, system requirements, domain knowledge, modeling specifications of the satellite communication system, and the decomposition result of the satellite communication system according to the mission-system-system. The object metamodel design submodule sets the name and description of the object metamodel according to the mission, system requirements, domain knowledge, modeling specifications of the satellite communication system, and the decomposition result of the satellite communication system according to the mission-system-system, configures the display mode, direction, shape, picture and icon representing the object metamodel, configures the attribute metamodel and object metamodel related to the object metamodel, generates a point metamodel, and outputs the point metamodel to the graphic metamodel design submodule; The role metamodel design submodule sets the name and description of the role metamodel according to the mission, system requirements, domain knowledge, modeling specifications of the satellite communication system and the decomposition result of the satellite communication system according to the mission-system-system, configures the shape, direction and attributes of the role metamodel, configures the attribute metamodel related to the object metamodel, and outputs the role metamodel to the relational metamodel design submodule; The relational metamodel design submodule sets the name and description of the relational metamodel, configures the shape of the relational metamodel, the icon representing the object metamodel, configures the attribute metamodel and the role metamodel related to the relational metamodel, and outputs the relational metamodel to the graph metamodel design submodule according to the mission, system requirements, domain knowledge, modeling specifications of the satellite communication system and the decomposition result of the satellite communication system according to the mission-system-system level by level. The graph meta-model design sub-module sets the name, description, and type of the graph meta-model according to the mission, system requirements, domain knowledge, modeling specifications of the satellite communication system, and the decomposition result of the satellite communication system layer by layer according to the mission-system-system, configures the attribute meta-model, object meta-model, and relationship meta-model related to the graph meta-model, and outputs the graph meta-model to the multi-architecture model construction module.

3. The method according to claim 2, characterized in that The mission task model construction submodule, the system level model construction submodule, and the system level construction submodule of the multi-architecture model construction module respectively select a number of matching metamodels according to the decomposition result of the satellite communication system and the graph metamodel, object metamodel, attribute metamodel, point metamodel, relationship metamodel, and role metamodel constructed by the metamodel design module, to construct a mission task metamodel, a system metamodel, and a system metamodel, and store the mission task metamodel, the system metamodel, and the system metamodel in a mission-system-system metamodel library; the matching metamodel is one or more of the graph metamodel, the object metamodel, the attribute metamodel, the point metamodel, the relationship metamodel, and the role metamodel; Based on the mission-system-system metamodel library, as well as the system requirements, domain knowledge, and modeling specifications of the satellite communication system, the mission-task model, system-level model, and system-level model of the satellite communication system are constructed, and the mission-task model, system-level model, and system-level model are respectively instantiations of the mission-task metamodel, system-level model, and system-level model; based on the mission-task model, system-level model, and system-level model of the satellite communication system, a satellite communication system mission-task-system-system unified model is constructed; the association traceability model construction submodule constructs an association matrix model based on the association relationship between the mission-task model, system-level model, and system-level model in the satellite communication system mission-task-system-system unified model and the design structure matrix DSM data, and the association matrix model expresses the association relationship between the mission-task model, system-level model, and system-level model in the satellite communication system mission-task-system-system unified model; the association matrix model is output to the model consistency check submodule; The model consistency check submodule performs consistency check on the model elements in the association matrix model and the model elements of each level corresponding to the model elements according to the mission and task model, system level model and system level model of the satellite communication system, wherein the model elements of each level corresponding to the model elements refer to the elements in the mission and task model, system level model and system level model of the satellite communication system. The consistency check of the model consistency check submodule ensures that the model elements in the association matrix model are consistent with the model elements of each level.

4. The method according to any one of claims 1 to 3, characterized in that: The simulation verification module of the functional layer includes a state machine model building submodule, a hybrid state machine discrete event simulation submodule, a hybrid state machine coherent system simulation submodule, and a simulation result output submodule; The state machine model construction submodule is used to construct a hybrid state machine continuous system simulation model and a hybrid state machine discrete event simulation model, and the construction method is: based on the mission-system-system metamodel library, select the graph metamodel related to the state machine model, instantiate the objects and relationships in the state machine model, define each state in the state machine model, define the event that triggers the state transition, define the transition rules between states, and for each state and state transition, define the behavior or action related thereto; the hybrid state machine continuous system simulation model is to model the continuous changes and dynamic processes of the satellite communication system in the working scene, and the hybrid state machine discrete event simulation model is to model the discrete events and state transitions of the satellite communication system in the working scene; Outputting the hybrid state machine continuous system simulation model to the hybrid state machine continuous system simulation submodule, and outputting the hybrid state machine discrete event simulation model to the hybrid state machine discrete event simulation submodule; The hybrid state machine continuous system simulation submodule receives the hybrid state machine continuous system simulation model, calls the simulation model compiler built into the hybrid state machine continuous system simulation submodule to compile the hybrid state machine continuous system simulation model, calls the hybrid state machine solver built into the hybrid state machine continuous system simulation submodule to implement simulation solution, and outputs the simulation solution result to the simulation result output submodule; The hybrid state machine discrete event simulation submodule receives the hybrid state machine discrete event simulation model, calls the simulation model compiler built into the hybrid state machine discrete event simulation submodule to compile the hybrid state machine discrete event simulation model, calls the hybrid state machine solver built into the hybrid state machine discrete event simulation submodule to implement simulation solution, and outputs the simulation solution result to the simulation result output submodule; The simulation result output submodule is used to output the simulation solution results in the form of files and visualization.

5. A device supporting system multi-level modeling and simulation verification, used to implement the method according to any one of claims 1 to 4, characterized in that: include: Metamodel library construction module: configured to decompose the satellite communication system hierarchically according to the mission-system-system based on the mission, system requirements, domain knowledge, and modeling specifications of the satellite communication system; construct the mission-task level metamodel, system-level metamodel, and system-level metamodel of the satellite communication system based on the multi-level modeling and simulation verification system to form a satellite communication system mission-task-system-system metamodel library; Model construction and simulation verification module: configured to construct the satellite communication system mission model, system level model, and system level model according to the metamodels of each level in the satellite communication system mission-system-system metamodel library, and construct a satellite communication system mission-system-system unified model; construct an association matrix model for the association relationship between the mission model, system level model, and system level model in the satellite communication system mission-system-system unified model, and the multi-level modeling and simulation verification system performs a consistency check on the unified model; the multi-level modeling and simulation verification system constructs a hybrid state machine continuous system simulation model and a discrete event simulation model, and simulates and verifies the unified model.

6. A computer-readable storage medium, wherein a plurality of instructions are stored in the storage medium; the plurality of instructions are used for a processor to load and execute the method as claimed in any one of claims 1 to 4.

7. An electronic device, characterized in that: The electronic device comprises: A processor, which is used to execute multiple instructions; A memory for storing a plurality of instructions; The plurality of instructions are used to be stored in the memory and loaded and executed by the processor according to any one of claims 1 to 4.

Images