Automatic code generation method from AADL to C language
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 2 Figure 3
Abstract
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...