首页 | 官方网站   微博 | 高级检索  
     


Template-based AADL automatic code generation
Authors:Kai HU  Zhangbo DUAN  Jiye WANG  Lingchao GAO  Lihong SHANG
Affiliation:1. State Key Laboratory of Software Development Environment, Beihang University, Beijing 100083, China2. State Grid Corporation of China, Beijing 100031, China3. Beijing China-Power Information Technology Co., Ltd, State Grid Information & Telecommunication Group, Beijing 100192, China
Abstract: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 autogenerated codes can be compiled and executed successfully on the object platform.
Keywords:real-time system  template  formal methods  AADL  automatic code generation  
点击此处可从《Frontiers of Computer Science》浏览原始摘要信息
点击此处可从《Frontiers of Computer Science》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号