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

作     者：何炎祥 喻涛 刘健博 徐超 HE Yanxiang;YU Tao;LIU Jianbo;XU Chao

作者机构：武汉大学计算机学院武汉430072 武汉大学软件工程国家重点实验室武汉430072 

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

出 版 物：《北京航空航天大学学报》 (Journal of Beijing University of Aeronautics and Astronautics)

年 卷 期：2015年第41卷第5期

页      码：817-824页

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

主 题 词：Esterel 代码自动生成 嵌入式系统 多目标平台 抽象层 

学科分类：0839[0839] 08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.13700/j.bh.1001-5965.2015.0108

馆 藏 号：203201541...