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

Antoniotti, M., Ferrari, A., Lavagno, L., Sangiovanni Vincentelli, A., Sentovich, E. (2001). Embedded system design specification: merging reactive control and data computation. In Proceedings of the 40th IEEE Conference on Decision and Control (pp.3302-3307). IEEE [10.1109/CDC.2001.980331].

Embedded system design specification: merging reactive control and data computation

Antoniotti, M;
2001

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
paper
Embedded system, Control systems, Embedded computing, Java, Concurrent computing, Mathematical programming
English
40th IEEE Conference on Decision and Control 4-7 December
2001
Proceedings of the 40th IEEE Conference on Decision and Control
0-7803-7061-9
2001
4
3302
3307
none
Antoniotti, M., Ferrari, A., Lavagno, L., Sangiovanni Vincentelli, A., Sentovich, E. (2001). Embedded system design specification: merging reactive control and data computation. In Proceedings of the 40th IEEE Conference on Decision and Control (pp.3302-3307). IEEE [10.1109/CDC.2001.980331].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/151887
Citazioni
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
Social impact