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
CN104932905AInactive Publication Date: 2015-09-23北京神舟航天软件技术股份有限公司

Patent Information

Authority / Receiving Office
CN · China
Patent Type
Applications(China)
Current Assignee / Owner
北京神舟航天软件技术股份有限公司
Publication Date
2015-09-23
Estimated Expiration
Not applicable · inactive patent

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

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.
Need to check novelty before this filing date? Find Prior Art

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