Template-based AADL automatic code generation

被引:10
|
作者
Hu, Kai [1 ]
Duan, Zhangbo [1 ]
Wang, Jiye [2 ]
Ga, Lingchao [3 ]
Shang, Lihong [1 ]
机构
[1] Beihang Univ, State Key Lab Software Dev Environm, Beijing 100083, Peoples R China
[2] State Grid Corp China, Beijing 100031, Peoples R China
[3] Beijing China Power Informat Technol Co Ltd, State Grid Informat & Telecommun Grp, Beijing 100192, Peoples R China
基金
中国国家自然科学基金;
关键词
real-time system; template; formal methods; AADL; automatic code generation;
D O I
10.1007/s11704-017-6477-y
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
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.
引用
收藏
页码:698 / 714
页数:17
相关论文
共 50 条
  • [1] Template-based AADL automatic code generation
    Kai Hu
    Zhangbo Duan
    Jiye Wang
    Lingchao Gao
    Lihong Shang
    Frontiers of Computer Science, 2019, 13 : 698 - 714
  • [2] Template-based automatic data flow code generation for mediaprocessors
    Grow, MS
    Kim, D
    Kim, Y
    MICROPROCESSORS AND MICROSYSTEMS, 2004, 28 (02) : 77 - 84
  • [3] Fast Template-Based Code Generation for MLIR
    Drescher, Florian
    Engelke, Alexis
    PROCEEDINGS OF THE 33RD ACM SIGPLAN INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION, CC 2024, 2024, : 1 - 12
  • [4] A Method of Automatic Code Generation Based on AADL Model
    Zhang, Chen
    Niu, Xinyi
    Yu, Bin
    PROCEEDINGS OF 2018 THE 2ND INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ARTIFICIAL INTELLIGENCE (CSAI 2018) / 2018 THE 10TH INTERNATIONAL CONFERENCE ON INFORMATION AND MULTIMEDIA TECHNOLOGY (ICIMT 2018), 2018, : 180 - 184
  • [5] Systematic mapping study of template-based code generation
    Syriani, Eugene
    Luhunu, Lechanceux
    Sahraoui, Houari
    COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2018, 52 : 43 - 62
  • [6] Compiling for template-based run-time code generation
    Smith, F
    Grossman, D
    Morrisett, G
    Hornof, L
    Jim, T
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2003, 13 : 677 - 708
  • [7] Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
    Luhunu, Lechanceux
    Syriani, Eugene
    SLE'17: PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, 2017, : 206 - 216
  • [8] PetriCode: A Tool for Template-Based Code Generation from CPN Models
    Simonsen, Kent Inge Fagerland
    SOFTWARE ENGINEERING AND FORMAL METHODS, 2014, 8368 : 151 - 163
  • [9] Template-based model generation
    Xiao He
    Tian Zhang
    Minxue Pan
    Zhiyi Ma
    Chang-Jun Hu
    Software & Systems Modeling, 2019, 18 : 2051 - 2092
  • [10] Template-based model generation
    He, Xiao
    Zhang, Tian
    Pan, Minxue
    Ma, Zhiyi
    Hu, Chang-Jun
    SOFTWARE AND SYSTEMS MODELING, 2019, 18 (03): : 2051 - 2092