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
相关论文
共 24 条
  • [21] Tao Y, 2009, MODEL VERIFICATION C
  • [22] Varona-Gómez R, 2009, 2009 14TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), P324
  • [23] From AADL to Timed Abstract State Machines: A verified model transformation
    Yang, Zhibin
    Hu, Kai
    Ma, Dianfu
    Bodeveix, Jean-Paul
    Pi, Lei
    Talpin, Jean-Pierre
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2014, 93 : 42 - 68
  • [24] Yang ZB, 2009, DES AUT TEST EUROPE, P1166