arrow
Return

Template-based AADL automatic code generation

delete2019-06-18
delete13
PRE
AI
胡凯 (Kai Hu)
Z
Zhangbo Duan
J
Jiye Wang
L
Lingchao Gao
L
Lihong Shang *
DOI:10.1007/s11704-017-6477-ydelete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
Embedded real-time systems employ a variety of operating system platforms. Consequently, for automatic code generation, considerable redevelopment is needed when the platform changes. This results in major challenges with respect to the automatic code generation process of the architecture analysis and design language (AADL). In this paper, we propose a method of template-based automatic code generation to address this issue. Templates are used as carriers of automatic code generation rules from AADL to the object platform. These templates can be easily modified for different platforms. Automatic code generation for different platforms can be accomplished by formulating the corresponding generation rules and transformation templates. We design a set of code generation templates from AADL to the object platform and develop an automatic code generation tool. Finally, we take a typical Data Processing Unit (DPU) system as a case study to test the tool. It is demonstrated that the auto-generated codes can be compiled and executed successfully on the object platform.
Keywords:
real-time system
template
formal methods
AADL
automatic code generation
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

Frontiers of Computer Science cover
Frontiers of Computer Science
IF:
4.6
Papers:
1.6K
Citations:
2.8K

Organization

B
Beihang University
Scholars:
5.1W
Papers: 4.1W
Citations: 37
S
State Grid Corporation of China
Scholars:
6.5K
Papers: 5.2K
Citations: 1.7K