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 条
  • [21] A Template-Based Method for the Generation of Attack Trees
    Bryans, Jeremy
    Liew, Lin Shen
    Hoang Nga Nguyen
    Sabaliauskaite, Giedre
    Shaikh, Siraj
    Zhou, Fengjun
    INFORMATION SECURITY THEORY AND PRACTICE, WISTP 2019, 2020, 12024 : 155 - 165
  • [22] Hierarchical template-based quadrilateral mesh generation
    Antonio Carlos de Oliveira Miranda
    Luiz Fernando Martha
    Engineering with Computers, 2017, 33 : 701 - 715
  • [23] A-TEAM: Automatic template-based assertion miner
    Danese, Alessandro
    Dalla Riva, Nicolo
    Pravadelli, Graziano
    PROCEEDINGS OF THE 2017 54TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2017,
  • [24] Data Pruning for Template-based Automatic Speech Recognition
    Seppi, Dino
    Van Compernolle, Dirk
    11TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION 2010 (INTERSPEECH 2010), VOLS 1-2, 2010, : 901 - 904
  • [25] Template-based Automatic Speech Recognition meets Prosody
    Seppi, Dino
    Demuynck, Kris
    Van Compernolle, Dirk
    12TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION 2011 (INTERSPEECH 2011), VOLS 1-5, 2011, : 552 - 555
  • [26] Template-based automatic segmentation of Drosophila mushroom bodies
    Chen, Guan-Yu
    Chen, Ying-Cheng
    Lin, Chu-Fang
    Hu, An-Chi
    Wu, Cheng-Chi
    Chen, Yung-Chang
    JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2008, 24 (01) : 99 - 113
  • [27] Template-Based Automatic Library Function Generation with Halide for Compute-Intensive Simulink Models
    Li, Qi
    Edahiro, Masato
    2024 IEEE SYMPOSIUM IN LOW-POWER AND HIGH-SPEED CHIPS, COOL CHIPS 27, 2024,
  • [28] TEMPLATE-BASED METHODS FOR SENTENCE GENERATION AND SPEECH SYNTHESIS
    Segi, Hiroyuki
    Takou, Reiko
    Seiyama, Nobumasa
    Takagi, Tohru
    Saito, Hideo
    Ozawa, Shinji
    2011 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, 2011, : 1757 - 1760
  • [29] Template-based generation of programming language specific code for smart grid modelling compliant with CIM and CGMES
    Dinkelbach, Jan
    Razik, Lukas
    Mirz, Markus
    Benigni, Andrea
    Monti, Antonello
    JOURNAL OF ENGINEERING-JOE, 2023, 2023 (01):
  • [30] Virtual sample generation for template-based shape matching
    Gavrila, DM
    Giebel, J
    2001 IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, VOL 1, PROCEEDINGS, 2001, : 676 - 681