Automatic conversion method from AADL model to Simulink model based on meta-object mechanism

An automatic conversion and meta-model technology, applied in the direction of program code conversion, source-to-source, design optimization/simulation, etc., can solve problems such as poor flexibility, and achieve the effect of ensuring reuse, good flexibility, and reducing coupling

Active Publication Date: 2020-05-19
NORTHWESTERN POLYTECHNICAL UNIV
View PDF4 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] In order to overcome the deficiencies of poor flexibility of existing AADL to Simulink model conversion methods, the present invention provides an automatic conversion method from AADL to Simulink model based on the meta-object mechanism

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Automatic conversion method from AADL model to Simulink model based on meta-object mechanism
  • Automatic conversion method from AADL model to Simulink model based on meta-object mechanism
  • Automatic conversion method from AADL model to Simulink model based on meta-object mechanism

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0028] refer to Figure 1-15 . The present invention is based on the AADL of the meta-object mechanism to the Simulink model automatic conversion method The specific steps are as follows:

[0029] Step 1: Analyze the AADL model and establish the AADL Ecore meta-model.

[0030] When analyzing the AADL model, it is found that the hardware component semantics of AADL is to describe the hardware environment in which the system actually runs. The Simulink model is to simulate the established model before the system is actually running. If there is an error, it will be modified until all functions are correct. Therefore, the software components and system components of the AADL model are converted, because the semantics of the AADL hardware components cannot be described in the Simulink model. That is to say, the system, thread, threadgroup, process, data, subprogram, and subprogram group components of the AADL model are converted.

[0031] When using the Ecore specification to ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses an automatic conversion method from an AADL model to a Simulink model based on a meta-object mechanism. The method is used for solving the technical problem that an existing conversion method from the AADL model to the Simulink model is poor in flexibility. According to the technical scheme, a meta-object mechanism is used for achieving model conversion, a hierarchical structure is adopted for describing a model, and therefore conversion creation is completed for a meta-model by a modeler, wherein the meta-model is an abstract representation of the model, and is used for specifying objects, data and relationships among the objects contained in the model, and describing and storing the same by adopting an Ecore standard. Different from the prior art, the conversion model is described by an ATL model conversion language and is stored as a conversion model. Due to the fact that the design of the conversion model is independent of the development process of the model, coupling between conversion and the model is reduced as much as possible, developers can pay more attention to design of the conversion model rather than a model description form, reuse of the conversion model is guaranteed to the maximum extent, and flexibility is good.

Description

technical field [0001] The invention relates to a conversion method from AADL to a Simulink model, in particular to an automatic conversion method from AADL to a Simulink model based on a meta-object mechanism. Background technique [0002] The document "Chinese Invention Patent Application Publication No. CN110442338A" discloses a simulation method based on the structural analysis and design language AADL model. This method mainly converts the ports, components and behavior modules of the AADL model, generates a Simulink model that can simulate the AADL model for the behavior module, and verifies the generated Simulink model. This method can be used to guide relevant workers in the field to create the corresponding Simulink model according to the AADL model, which effectively solves the problem that the AADL model cannot better meet the needs of designers in terms of real-time analysis and simulation, and ensures that the embedded real-time system The reliability and real-...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
IPC IPC(8): G06F8/51G06F30/20
CPCG06F8/51
Inventor董云卫张宁陆寅苟倩文
OwnerNORTHWESTERN POLYTECHNICAL UNIV