×

Esterel

swMATH ID: 20012
Software Authors: Gérard Berry
Description: Esterel is both a programming language, dedicated to programming reactive systems, and a compiler which translates Esterel programs into finite-state machines. It is one of a family of synchronous languages, like SyncCharts, Lustre, Argos or Signal, which are particularly well-suited to programming reactive systems, including real-time systems and control automata. The Esterel v5 compiler can be used to generate a software or hardware implementation of a reactive program. It can generate C-code to be embedded as a reactive kernel in a larger program that handles the interface and data manipulations. It can also generate hardware in the form of netlists of gates, which can then be embedded in a larger system. Extensive optimization is available. We provide a graphical symbolic debugger for Esterel. We also provide support for explicit or BDD-based verification tools that perform either bisimulation reduction or safety property checking. Esterel is now experimentally used by several companies and taught in several universities. It has been chosen by the Polis group as one of their input languages for their hardware/software co-design system.
Homepage: http://www-sop.inria.fr/meije/esterel/esterel-eng.html
Related Software: SIGNAL; LUSTRE; Uppaal; ULM; Simulink; SPIN; Quartz; SugarCubes; StateFlow; CESAR; Ptolemy; Polychrony; PVS; Z; Haskell; Coq; Modelica; Reo; SCADE; Modechart
Cited in: 135 Publications
all top 5

Cited by 248 Authors

7 Berry, Gerard
5 Amadio, Roberto M.
5 Benveniste, Albert
5 Merro, Massimo
5 Olarte, Carlos
4 Boudol, Gérard
4 Caillaud, Benoît
4 Castellani, Ilaria
4 Mendler, Michael
4 Schneider, Klaus
4 Talpin, Jean-Pierre
4 Tini, Simone
3 Le Guernic, Paul
3 Lee, Edward Ashford
3 Prisacariu, Cristian
2 Aguado, Joaquin
2 Bourke, Timothy
2 Brandt, Jens
2 de Roever, Willem-Paul
2 Falaschi, Moreno
2 Gabbrielli, Maurizio
2 Gautier, Thierry
2 Goldin, Dina Q.
2 Gonthier, Georges
2 Huou, Marc
2 Jagadeesan, Radha
2 Krob, Daniel
2 Kurshan, Robert P.
2 Lüttgen, Gerald
2 Maggiolo-Schettini, Andrea
2 Meo, Maria Chiara
2 Palamidessi, Catuscia
2 Pimentel, Elaine
2 Pouzet, Marc
2 Schneider, Gerardo
2 Smolka, Scott A.
2 Tripakis, Stavros
2 Valencia, Frank D.
2 von Hanxleden, Reinhard
2 Zhao, Yongxin
2 Zhu, Huibiao
1 Abramsky, Samson
1 Aiguier, Marc
1 Alagic, Suad
1 Almeida Matos, Ana
1 Alur, Rajeev
1 Amor, Nader Ben
1 Arditi, Laurent
1 Arunkumar, S.
1 Attar, Pejman
1 Attie, Paul C.
1 Ballardin, Francesco
1 Baruah, Sanjoy K.
1 Bauer, Kerstin
1 Baxter, James
1 Besnard, Loïc
1 Bistarelli, Stefano
1 Blanc, Jérémie
1 Bodei, Chiara
1 Bodeveix, Jean-Paul
1 Boussinot, Frédéric
1 Bozzelli, Laura
1 Brunette, Christian
1 Campos, Sérgio V. A.
1 Carchiolo, Vincenza
1 Carloni, Luca P.
1 Carmona, Josep
1 Cavalcanti, Ana
1 Cerone, Andrea
1 Chandrashekharapuram, Arun
1 Chang, Chia-Hsiang
1 Chen, Yanwen
1 Chen, Yixiang
1 Chiarugi, Davide
1 Chin, Wei-Ngan
1 Choi, Yunja
1 Claessen, Koen
1 Clarke, Dave
1 Clarke, Edmund Melson jun.
1 Colvin, Robert J.
1 Corporaal, Henk
1 Corradini, Andrea
1 Cosserat, Laurent
1 Couronné, P.
1 Craye, Etienne
1 Dal Zilio, Silvano
1 Dangoumau, Nathalie
1 Dasgupta, Pallab
1 de Boer, Frank S.
1 De Maria, Elisabetta
1 Degano, Pierpaolo
1 Demangeon, Romain
1 Diguet, Jean-Philippe
1 Dissaux, Pierre
1 Doucet, Frederic
1 Dowek, Gilles
1 Duan, Zhenhua
1 Echahed, Rachid
1 Elloy, Jean-Pierre
1 Eshuis, Rik
...and 148 more Authors

Citations by Year