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 条
  • [1] [Anonymous], 2008, AS5506A SAE
  • [2] [Anonymous], 2005, AS5506 SAE
  • [3] Towards formalising AADL in Proof Assistants
    Bodeveix, Jean-Paul
    Chemouil, David
    Filali, Mamoun
    Strecker, Martin
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 141 (03) : 153 - 169
  • [4] Borger E., 2012, Abstract State Machines: A Method for High-level System Design and Analysis
  • [5] Code generation from AADL to a real-time operating system: an experimentation feedback on the use of model transformation
    Brun, Matthias
    Delatour, Jerome
    Trinquet, Yvon
    [J]. ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2008, : 257 - +
  • [6] Dissaux P., 2008, P EUR REAL TIM SYST, P32
  • [7] Filali-Amine M, 2010, LECT NOTES COMPUT SC, V5977, P245, DOI 10.1007/978-3-642-11811-1_19
  • [8] The AADL behaviour annex -: experiments and roadmap
    Franca, Ricardo Bedin
    Bodeveix, Jean-Paul
    Filali, Mamoun
    Rolland, Jean-Francois
    Chemouil, David
    Thomas, Dave
    [J]. 12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2007, : 377 - +
  • [9] Multi-tenant Verification-as-a-Service (VaaS) in a cloud
    Hu, Kai
    Lei, Lei
    Tsai, Wei-Tek
    [J]. SIMULATION MODELLING PRACTICE AND THEORY, 2016, 60 : 122 - 143
  • [10] Exploring AADL verification tool through model transformation
    Hu, Kai
    Zhang, Teng
    Yang, Zhibin
    Tsai, Wei-Tek
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2015, 61 (3-4) : 141 - 156