CN111552636B

CN111552636B - Method for supporting AADL integration simulation by applying FMI protocol

Info

Publication number: CN111552636B
Application number: CN202010305671.4A
Authority: CN
Inventors: 沈届时; 刘畅; 陈聪; 王科翔
Original assignee: China Aeronautical Radio Electronics Research Institute
Current assignee: China Aeronautical Radio Electronics Research Institute
Priority date: 2020-04-17
Filing date: 2020-04-17
Publication date: 2022-11-15
Anticipated expiration: 2040-04-17
Also published as: CN111552636A

Abstract

The application provides a method for supporting AADL integration simulation by applying FMI protocol, which comprises the following steps: establishing an AADL project by using AADL, wherein the AADL project comprises an object system Sys1 to be analyzed and a related system module SysN _ origin which has a direct interactive relation with the object system Sys1, and component and interface constraints are established; carrying out specialized design on the SysN _ origin of the related system by using a second modeling language to obtain a related system model; exporting the relational system model into an FMU model, and keeping the interface characteristic, the mathematical characteristic and the logic characteristic of the model in the packaging process; introducing the FMU model into AADL engineering, replacing relevant system modules in the AADL engineering by the corresponding FMU model, connecting with an object system Sys1, and judging the consistency of interfaces; running an AADL project; an AADL model in the AADL engineering carries out component state migration under the drive of interface events and data, and a common method is applied to evaluate the architecture performance of an object system Sys 1.

Description

Method for supporting AADL integration simulation by applying FMI protocol

Technical Field

The application relates to the field of computers, in particular to a method for supporting AADL integration simulation by applying an FMI protocol.

Background

AADL is a system architecture description language primarily used for modeling embedded real-time systems. As a system architecture description language, AADL builds the system architecture of the system through components and connections. An AADL description is made of a description of a series of components, and the structure of the system is modeled by instantiating such a description. The AADL model may also use attributes to define non-functional characteristics of the belonging components, such as the clock frequency of the processor, the execution time of a thread, bus bandwidth limitations, etc.

In order to solve the problem of cross-discipline multi-tool set product comprehensive analysis, the european development information technology plan (ITEA 2) proposes a model-auto integration to Support feature Functional module project, which aims to define a Functional packaging interface standard of a computational model for supporting collaborative design, simulation, testing and embedded software development of a system. This model package Interface standard is known as the FMI (Functional Mock-up Interface) standard. The support to the FMI protocol is added through a modeling tool, different modeling and simulation software exports the model into an FMU (Functional Module-up Unit) format through a format conforming to an FMI interface standard, and the model is effectively integrated in other simulation environments to realize collaborative simulation analysis, virtual test and the like, so that the interactivity and reusability of the model are greatly improved, and the integration difficulty is reduced.

In the design process of an embedded system, an AADL (architecture analysis and design language) model can show the architectural design in the system, but because the AADL model lacks the capability of direct heterogeneous simulation and multisource heterogeneous simulation, on one hand, the AADL model is isolated from modeling works of other links in design, the model achievements cannot be integrated, and the design consistency needs to be judged by people; on the other hand, the internal design of the embedded system is difficult to simulate by combining with the input outside the boundary, and the AADL system architecture model cannot be effectively and reasonably evaluated according to the use scene outside the system boundary. The FMI protocol allows a plurality of discipline model achievements to be mutually accessed and reused, but the problem of topological composition of simulation itself cannot be solved as a universal black box model, and development of simulation work is relatively abstract.

Therefore, a software interface development mode is mostly adopted in AADL simulation at present, and in the mode, interface development and adaptation are carried out on all tools needed to be used by multidisciplinary models in a system, so that the development cost is high, and the workload is large; at present, the FMI protocol is used without considering the composition of the self architecture of the system, and when the number of subsystems is large, the integration of FMU models cannot be well organized.

Disclosure of Invention

The invention aims to solve the problems that AADL and other modeling languages are isolated, the integrated simulation verification capability is lacked, and the architecture of a system cannot be evaluated according to effective system input.

The application provides a method for supporting AADL integration simulation by applying FMI protocol, which comprises the following steps:

establishing an AADL project by using AADL, wherein the AADL project comprises an object system Sys1 to be analyzed and a related system module SysN _ origin which has a direct interactive relation with the object system Sys1, and component and interface constraints are established;

carrying out specialized design on the SysN _ origin of the related system by using a second modeling language to obtain a related system model;

exporting the relational system model into an FMU model, and keeping the interface characteristic, the mathematical characteristic and the logic characteristic of the model in the packaging process;

introducing the FMU model into AADL engineering, replacing a related system module in the AADL engineering by the corresponding FMU model, connecting the related system module with the object system Sys1, and judging the consistency of interfaces;

running an AADL project;

an AADL model in the AADL engineering carries out component state migration under the drive of interface events and data, and a common method is applied to evaluate the architecture performance of an object system Sys 1.

Optionally, the second modeling language includes SysML, simulink, and Modelica.

Optionally, the specialization design of the relevant system SysN _ origin using the second modeling language specifically includes:

the professional design of the relevant system SysN _ origin using the second modeling language requires the inheritance of the boundary interface determined from the AADL model in the AADL project.

Optionally, running the AADL project specifically includes:

and exciting events and data to the FMU model, and driving the simulation operation of the AADL model.

Optionally, the determining the interface consistency specifically includes:

and judging whether the front and rear interfaces are consistent or not and whether the types of the interface transmission parameters are consistent or not.

Optionally, the AADL model in the AADL engineering performs component state migration under interface event and data driving, and the architecture performance of the object system Sys1 is evaluated by applying a rationalization method, which specifically includes:

the FMU model inputs resources to the AADL model;

the process and the thread in the AADL model carry out state migration through the acquisition of input resources, and the running process is realized;

and performing rationalization evaluation on the architecture design of the object system Sys1 by combining preset factors, and performing iterative optimization.

Optionally, the preset factors include:

temporal characteristics and hardware characteristics.

Optionally, the deriving the relational system model into an FMU model specifically includes:

and exporting the relative system model to an FMU model, and keeping the interface characteristic, the mathematical characteristic and the logic characteristic of the FMU model in the packaging process.

In summary, the invention designs a method flow for carrying out integrated simulation on the AADL model based on the form of generating a universal file by an FMI protocol, so that achievements of various subject models participate in the AADL simulation process, and the evaluation and optimization work of the AADL system architecture model is realized. The invention combines the architecture description characteristic of AADL and the general characteristic of FMI protocol, and provides an effective method for the integrated simulation evaluation of the AADL model.

Drawings

Fig. 1 is a schematic flow chart of a method for supporting AADL integration simulation by applying an FMI protocol according to the present invention.

Detailed Description

The present invention will be described in further detail with reference to the accompanying drawings.

A method for supporting AADL integration simulation using FMI protocol, comprising the steps of:

step 1: establishing a system architecture, establishing the composition of a system (related system SysN _ origin with which an object system Sys1 to be analyzed has a direct interaction relation) by using AADL, and establishing component and interface constraints;

and 2, step: and (4) carrying out specialized design on the relevant system model by using other subject modeling languages. The SysML, simulink, modelica and the like are generally used, and the model needs to inherit a boundary interface determined from the AADL model when being designed;

and 3, step 3: exporting the related system model after the specialized design into an FMU model (SysN _ specific.fmu), and keeping the interface characteristic, the mathematical characteristic and the logic characteristic of the model in the packaging process;

and 4, step 4: importing an FMU (SysN _ special. FMU) model of a relevant system into the AADL project established in the step 1, replacing the relevant system module in the project through the corresponding FMU model, connecting the relevant system module with the Sys1 of the object system, and judging the consistency of the interface;

and 5: running engineering, wherein an FMU model is used as a test case of a Sys1 of an object system to be analyzed to excite events and data, and an AADL model is driven to run in a simulation mode;

step 6: the AADL model carries out component state migration under the drive of interface events and data, and the architecture performance of the object system Sys1 is evaluated by applying a rationalization method.

The following describes in detail a method for supporting AADL integration simulation by applying FMI protocol, which is proposed in the present application:

step 1: establishing a system architecture, establishing component and interface constraints by using the constitution of an AADL establishing system (a related system SysN _ origin with which an object system Sys1 to be analyzed has a direct interaction relation);

step 2: and (4) carrying out specialized design on the participation system model by using a specialized subject modeling language.

Step 2.1: performing internal logic and subject characteristic design on a participation system SysN by using multidisciplinary professional languages such as SysML, simulink and Modelica, and keeping interface constraint established in AADL engineering by using a design model;

step 2.2: designing internal components of a Sys1 system to be analyzed;

and step 3: exporting a relevant model of specialized modeling as an FMU model, and keeping the interface characteristic, the mathematical characteristic and the logic characteristic of the model in the packaging process;

and 4, step 4: importing an FMU (SysN _ specific. FMU) model into the AADL project established in the step 1, replacing a relevant system module in the project by a corresponding FMU model, connecting with an object system Sys1 to be analyzed, and judging the interface consistency;

step 4.1: importing an FMU into engineering requires the platform to support the FMI protocol. Replacing the imported FMU model with a corresponding related system module in the engineering;

and 4.2: and connecting an interface between the related system SysN _ special and the object Sys1 to be analyzed, and judging the consistency of the interface. The consistency judgment mainly judges whether the interfaces before and after the design are consistent and checks whether the types of the interface transmission parameters are consistent. The mapping relationship between FMU and AADL interfaces is mainly shown in table 1:

TABLE 1

step 5.1: determining simulation step length, synchronizing clocks among multiple models, and finishing initialization work of each model;

and step 5.2: the FMU model outputs data and events and provides excitation for the AADL model;

and 6: and the AADL model carries out component state migration under the drive of interface events and data, and an axiom method is applied to evaluate the architecture performance of the object system Sys 1.

Step 6.1: inputting resources to the AADL model by the FMU model;

step 6.2: the process and the thread in the AADL model carry out state migration through the acquisition of input resources, and the running process is realized;

step 6.3: and performing rationalization evaluation on the architecture design of the Sys1 to be analyzed by combining factors such as time characteristics and hardware characteristics, and performing iterative optimization.

The method and process for performing integrated simulation on the AADL model are the protection scope of the appended claims.

The invention relates to a method for supporting AADL (architecture analysis and design language) collaborative simulation by applying an FMI (functional framework interface) protocol, belonging to the research fields of embedded system design, test simulation and the like. The problem that an AADL model lacks an effective simulation means in virtual verification and is difficult to share knowledge results with other model results generated in the system design process is solved, the FMI protocol is applied to package key model information to serve as test case excitation of the AADL model, collaborative simulation between system functions and a framework is achieved, and evaluation work on key performance of the AADL model is completed.

Claims

1. A method for supporting AADL integration emulation using FMI protocol, the method comprising:

exporting the relevant system model into an FMU model, and keeping the interface characteristic, the mathematical characteristic and the logic characteristic of the model in the packaging process;

importing the FMU model into the AADL engineering, replacing a related system module in the AADL engineering by the corresponding FMU model, connecting the related system module with an object system Sys1, and judging the consistency of interfaces;

running the AADL project;

the AADL model in the AADL engineering carries out component state migration under the drive of interface events and data, and the architecture performance of the object system Sys1 is evaluated by applying a rationalization method.

2. The method of claim 1, wherein the second modeling language comprises SysML, simulink, and Modelica.

3. The method according to claim 1, wherein the professionally designing the relevant system SysN _ origin using the second modeling language includes:

and (3) carrying out specialized design on the SysN _ origin of the related system by using a second modeling language, wherein a boundary interface determined from an AADL model in the AADL project needs to be inherited.

4. The method according to claim 1, wherein the running the AADL project specifically comprises:

5. The method according to claim 1, wherein the determining the interface consistency specifically comprises:

6. The method according to claim 1, wherein the AADL model in the AADL engineering performs component state migration under interface event and data driving, and the architecture performance of the object system Sys1 is evaluated by applying a rationalization method, which specifically includes:

inputting resources to the AADL model by the FMU model;

7. The method of claim 6, wherein the predetermined factors comprise:

temporal characteristics and hardware characteristics.

8. The method according to claim 1, wherein deriving the correlation system model as an FMU model comprises:

and exporting the related system model to be an FMU model, and keeping the interface characteristic, the mathematical characteristic and the logic characteristic of the FMU model in the packaging process.