Embedded system design specification: merging reactive control and data computation

Author

Antoniott, Marco ; Ferrari, Alberto ; Lavagno, Luciano ; Sangiovanni-Vincentelli, Alberto ; Sentovich, Ellen

Author_Institution

PARADES EEIG, Rome, Italy

Volume

4

fYear

2001

fDate

2001

Firstpage

3302

Abstract

We have presented two language extensions for C and Java for embedded system specification, simulation and implementation. The two languages JESTER and ECL build upon the ESTEREL synchronous semantic foundation that provides support for waiting, concurrency and preemption. They nicely support specification of mixed control/data modules. The compilation is performed by splitting the source code into reactive ESTEREL code (as large as possible, in the current implementation) and data-dominated C or Java code. The large reactive portion can be robustly optimized and synthesized to either hardware or software, while the C residual code must be either implemented in software as is or the user must provide a a hardware implementation

Keywords

C language; Java; control system CAD; embedded systems; formal specification; C language; ESTEREL; data computation; embedded system design specification; reactive control; specification mechanism; synchronous language; system level design language; well-known programming constructs; Concurrent computing; Control systems; Embedded computing; Embedded system; Floors; Java; Mathematical programming; Mechanical factors; Merging; Yarn;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 2001. Proceedings of the 40th IEEE Conference on

Conference_Location

Orlando, FL

Print_ISBN

0-7803-7061-9

Type

conf

DOI

10.1109/.2001.980331

Filename

980331