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

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

Automatic code generation method based on Esterel

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.