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 条
  • [31] Template-based semi-automatic profiling of multimedia applications
    Poucet, Christophe
    Atienza, David
    Catthour, Francky
    2006 IEEE International Conference on Multimedia and Expo - ICME 2006, Vols 1-5, Proceedings, 2006, : 1061 - 1064
  • [32] Template-Based Automatic Search of Compact Semantic Segmentation Architectures
    Nekrasov, Vladimir
    Shen, Chunhua
    Reid, Ian
    2020 IEEE WINTER CONFERENCE ON APPLICATIONS OF COMPUTER VISION (WACV), 2020, : 1969 - 1978
  • [33] UCaG: An Automatic C Code Generator for AADL Based upon DeltaOS
    Gui, Shenglin
    Ma, Liang
    Luo, Lei
    Yin, Limeng
    Li, Yun
    2008 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER THEORY AND ENGINEERING, 2008, : 346 - +
  • [34] A robust automatic birdsong phrase classification: A template-based approach
    Kaewtip, Kantapon
    Alwan, Abeer
    O'Reilly, Colm
    Taylor, Charles E.
    JOURNAL OF THE ACOUSTICAL SOCIETY OF AMERICA, 2016, 140 (05): : 3691 - 3701
  • [35] Template-based automatic segmentation of masseter using prior knowledge
    Ng, H. P.
    Ong, S. H.
    Goh, P. S.
    Foong', K. W. C.
    Nowinski, W. L.
    7TH IEEE SOUTHWEST SYMPOSIUM ON IMAGE ANALYSIS AND INTERPRETATION, 2006, : 208 - +
  • [36] Template-Based Automatic High-Speed Relighting of Faces
    Jalan, Ankit
    Chaitanya, Mynepalli Siva
    Sabui, Arko
    Singh, Abhijeet
    Veera, Viswanath
    Venkatesan, Shankar M.
    PROCEEDINGS OF INTERNATIONAL CONFERENCE ON COMPUTER VISION AND IMAGE PROCESSING, CVIP 2016, VOL 1, 2017, 459 : 119 - 131
  • [37] Template-based methods for sentence generation and speech synthesis
    NHK Science and Technology Research Laboratory, Japan
    不详
    不详
    不详
    ICASSP IEEE Int Conf Acoust Speech Signal Process Proc, 2011, (1757-1760):
  • [38] OCARINA : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications
    Lasnier, Gilles
    Zalila, Bechir
    Pautet, Laurent
    Hugues, Jerome
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2009, 2009, 5570 : 237 - 250
  • [39] Template-Based and Coverage-Guided Verification Instruction Set Automatic Generation Method for DSP Chip
    Shang, Ying
    Chang, Kun
    Zhao, Ruilian
    Yin, Zhigang
    2023 IEEE 32ND ASIAN TEST SYMPOSIUM, ATS, 2023, : 153 - 158
  • [40] Retrofitting Type-safe Interfaces into Template-based Code Generators
    Adam, Kai
    Butting, Arvid
    Kautz, Oliver
    Pfeiffer, Jerome
    Rumpe, Bernhard
    Wortmann, Andreas
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 179 - 190