Unlock instant, AI-driven research and patent intelligence for your innovation.

The refinement of aadl model for aerospace application and the method of automatic generation of c code supported by it

An automatic generation and model technology, applied in the direction of creating/generating source code, etc., can solve the problems of less semantics of the initial model, failure of early design stage, analysis, etc., to reduce system development time, ensure system quality attributes, and enrich tool sets Effect

Active Publication Date: 2021-09-17
NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

But until now, little work has evaluated early integration of model-based performance evaluation, mainly because the initial model has too little semantics for early design-stage analysis.
Moreover, with the help of early models with incomplete semantics, it is impossible to convert runnable code whose functions maintain the required semantics

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
  • The refinement of aadl model for aerospace application and the method of automatic generation of c code supported by it
  • The refinement of aadl model for aerospace application and the method of automatic generation of c code supported by it
  • The refinement of aadl model for aerospace application and the method of automatic generation of c code supported by it

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0038] The inventive method is further described below in conjunction with the accompanying drawings.

[0039] The present invention relates to a kind of AADL model refinement oriented to aerospace applications and its supported C code automatic generation method and corresponding tool implementation. The tool is realized based on the AADL open source tool environment OSATE using Eclipse plug-in development technology, and provides a preliminary platform The model is irrelevant and guides the user to refine the model according to the model refinement rules, and executes the code generation process for the instantiated system model. The background will realize the automatic conversion of the AADL platform-related model PSM to the executable and platform-related C code. In order to meet the habits of engineers as much as possible in the process of model refinement, the manually added attributes should be as precise as possible. This limitation also avoids to a certain extent ...

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 aerospace application-oriented AADL model refinement and its supported C code automatic generation method, through refinement of the components (system / function / process / data) in the platform-independent model, and through attribute set template restriction The attribute set element describes the functionality and platform-dependent semantics necessary to generate runnable C code. Further, the AADL file parsing module provided by OSATE parses and packs the saved AADL file into a class, and uses the template function provided by Xtend to express the mapping of AADL to C code conversion rules, so as to realize a AADL-based open source tool environment OSATE Eclipse platform plug-in.

Description

technical field [0001] The invention relates to the technical field of automatic generation of C codes based on an AADL design model, in particular to an aerospace application-oriented AADL model refinement and a supported C code automatic generation method. Background technique [0002] With the widespread application of embedded software in safety-critical fields such as avionics, automobile industry, communication, and nuclear industry, such embedded systems must ensure the reliability, safety and other related properties of the system. Such systems are called safety-critical. System (Safety Critical System). Guaranteeing the safety and reliability of such systems has become a very important topic in the current software engineering research field. [0003] Model-driven engineering can be used in the development of embedded systems with performance and reliability requirements. Model-driven engineering involves modeling and model transformation throughout the lifecycle ...

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
Patent Type & Authority Patents(China)
IPC IPC(8): G06F8/30
CPCG06F8/30
Inventor 杨志斌李文心
Owner NANJING UNIV OF AERONAUTICS & ASTRONAUTICS