Automatic code generation method from AADL to C language

An automatic generation, C language technology, applied in the direction of program control devices, etc., can solve the problem of automatic C language code generation method and other problems, and achieve the effect of improving code conversion efficiency

Inactive Publication Date: 2015-09-23
北京神舟航天软件技术股份有限公司
View PDF4 Cites 26 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Embedded real-time operating systems such as SZOS are widely used in my country's aerospace field, but there is no automatic code generation method for C language in specific runtime environments such as AADL to SZOS

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 code generation method from AADL to C language
  • Automatic code generation method from AADL to C language
  • Automatic code generation method from AADL to C language

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0024] Specific embodiments of the present invention will be described in detail below.

[0025] like figure 1 Shown, a kind of AADL to the code automatic generation method of C language, comprises the following steps:

[0026] 1) According to the semantics of the AADL metamodel, the semantics of the target operating environment and the syntax and semantics of the C language, define the conversion rules from the AADL metamodel to the C language;

[0027] 2) According to the used meta-model and its semantics that can be obtained by the AADL model, the conversion rules from the AADL meta-model obtained in step 1) to the C language are formulated to automatically generate a template for code;

[0028] 3) According to the code that step 2) obtains, automatically generate a template and write a template conversion engine;

[0029] 4) After the AADL model is input, automatically analyze the input AADL model, extract the AADL meta-model information, automatically generate a templat...

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 relates to an automatic code generation method from AADL to C language. The method comprises the following steps that 1, a transformational rule from an AADL meta model to the C language is defined according to the semantic meaning of the AADL meta model, the semantic meaning of an object run environment and the grammar semantic meaning of the C language; 2, an automatic code generation template is made according to the adopted meta model capable of being obtained by an AADL model, the semantic meaning of the meta model and the transformational rule from the AADL meta model to the C language; 3, a template transformation engine is compiled according to the automatic code generation template; 4, after the AADL model is input, the input AADL model is automatically analyzed, and information of the AADL meta model is extracted, and is generated into C language codes through the template transformation template according to the automatic code generation template. The method has the following advantages that the transformational rule from the AADL meta model to the C language is defined, and semantic mapping of the AADL and the C language is effectively achieved; the code transformation efficiency is improved through the template engine.

Description

technical field [0001] The invention relates to a software development tool, in particular to a code automatic generation method from AADL to C language. Background technique [0002] Model-based software development is another leap in software design concepts and methods after object-oriented technology. The idea of ​​model-based software development is: take "model" as the core element of software design and development, clearly describe the key features of the software system such as function, performance and security through the model, and accurately describe the solution of the system; through the formal method Verify the system model to ensure the correctness of software design; generate code through model-driven methods to ensure the consistency of software design and implementation. [0003] In 2004, based on 15 years of research and industrial practice, SAE (society of automotive engineers) proposed the embedded real-time system architecture analysis and design lan...

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 Applications(China)
IPC IPC(8): G06F9/44
Inventor 刘姝王晓晗
Owner 北京神舟航天软件技术股份有限公司
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap