北京航空航天大学学报 ›› 2015, Vol. 41 ›› Issue (5): 817-824.doi: 10.13700/j.bh.1001-5965.2015.0108

• 论文 • 上一篇    下一篇

基于Esterel的代码自动生成方法

何炎祥1,2, 喻涛1, 刘健博1, 徐超1   

  1. 1. 武汉大学 计算机学院, 武汉 43007;
    2. 武汉大学 软件工程国家重点实验室, 武汉 430072
  • 收稿日期:2015-03-05 修回日期:2015-03-24 出版日期:2015-05-20 发布日期:2015-06-02
  • 通讯作者: 何炎祥(1952—),男,湖北应城人,教授,yxhe@whu.edu.cn,主要研究方向为可信软件、编译技术. E-mail:yxhe@whu.edu.cn
  • 基金资助:

    国家自然科学基金(61170022,61373039,61373160)

Automatic code generation method based on Esterel

HE Yanxiang1,2, YU Tao1, LIU Jianbo1, XU Chao1   

  1. 1. School of Computer, Wuhan University, Wuhan 43007;
    2. State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072, China
  • Received:2015-03-05 Revised:2015-03-24 Online:2015-05-20 Published:2015-06-02

摘要:

嵌入式系统开发与传统软件开发有着很大不同.嵌入式系统具有内核小、专用性强、高时效性、高可靠性、目标平台复杂等特点,这就对系统设计者提出更高的要求.面对目前嵌入式系统开发过程中的这些问题,尤其针对开发过程复杂,程序自动化程度不高等问题,提出一种基于Esterel代码自动生成的方法.该方法主要利用Esterel语言来对目标系统进行建模,实现将同一个Esterel模型编译为多个目标平台的代码.通过操作系统(OS)抽象层的设计,使系统开发人员不用关心目标平台相关的实现细节,更加容易进行多目标平台程序设计,从而实现嵌入式系统的程序设计自动化.通过实验表明,Esterel模型可以正确、高效地编译为多目标平台的代码,实现目标平台代码的自动生成.

关键词: Esterel, 代码自动生成, 嵌入式系统, 多目标平台, 抽象层

Abstract:

Embedded systems development is much different from the traditional software development. Embedded system has the characteristics of small kernel, strong specificity, high reliability, high timeliness and complex target platforms, such that it requires higher designing criteria. Considering these problems existed in development process of embedded system, an automatic code generation method based on Esterel was proposed especially aiming at problems of complex development process, low-level automation of system, etc. The method employed the Esterel language to construct the target system that can be compiled to codes for multiple target platforms. Based on the design of operating system (OS) abstract layer, developers did not need to care about the implementation details for target platforms, which made it easier for the design of multiple target platforms, and achieved the automatic program design of embedded system. The experiments illustrate that the Esterel model can be compiled to codes correctly and efficiently for multiple target platforms, which implement the automatic code generation for target platforms.

Key words: Esterel, automatic code generation, embedded system, multiple platform, abstract layer

中图分类号: 


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发