CN111552636A

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

Info

Publication number: CN111552636A
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: 2020-08-18
Anticipated expiration: 2040-04-17
Also published as: CN111552636B

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 object system Sys1 to be analyzed and related system module SysN _ origin having direct interactive relation with 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 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 an object system Sys1 architecture performance is evaluated by applying a rationalization method.

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, which is mainly used for modeling embedded real-time systems. As a system architecture description language, AADL establishes the system architecture of a 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 project (ITEA2) proposes a model-auto integration to Support feature Vehicle functional package mockup (model-auto integration to Support system collaborative design, simulation, test, and embedded software development). 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 the architecture of the system cannot be evaluated according to effective system input because the AADL is isolated from other modeling languages and lacks the integrated simulation verification capability.

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 object system Sys1 to be analyzed and related system module SysN _ origin having direct interactive relation with 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 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 an object system Sys1 architecture performance is evaluated by applying a rationalization method.

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 AADL model to run in a simulation mode.

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 common method, which specifically includes:

inputting resources to the AADL model by the FMU 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, deriving the relational system model as an FMU model specifically includes:

and exporting the relative system model as an FMU model, and keeping the interface characteristics, the mathematical characteristics and the logic characteristics 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 component and interface constraints by using the AADL to establish the structure of a system (a related system SysN _ origin with which an object system Sys1 to be analyzed has a direct interaction relationship);

step 2: and (4) performing 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 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: introducing an FMU model (SysN _ specific. FMU) of a related system into the AADL engineering established in the step 1, replacing the related system module in the engineering through the corresponding FMU model, connecting the related system module with a subject system Sys1, and judging the interface consistency;

and 5: running engineering, wherein an FMU model is used as a test case of a Sys1 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 an object system Sys1 architecture performance 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 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 to-be-analyzed object system;

and step 3: exporting the relevant models of specialized modeling into FMU models, and keeping the interface characteristics, mathematical characteristics and logic characteristics of the models in the packaging process;

and 4, step 4: introducing an FMU model (SysN _ specific. FMU) into the AADL engineering established in the step 1, replacing a relevant system module in the engineering 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 support of the FMI protocol by the platform. Replacing the imported FMU model with a corresponding related system module in the engineering;

step 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;

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

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 (frequency modulation 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:

establishing an AADL project using AADL, the AADL project including object system Sys1 to be analyzed and associated system module SysN _ origin in direct interactive relation with object system Sys1, establishing component and interface constraints;

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;

introducing 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 an object system Sys1 architecture performance 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 associated system SysN _ origin using the second modeling language specifically comprises:

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 applying a fairness method to evaluate the architectural performance of the object system Sys1 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.