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 Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year The Esterel synchronous programming language: Design, semantics, implementation. Zbl 0772.68013Berry, Gérard; Gonthier, Georges 1992 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 all top 5 Cited in 31 Serials 27 Theoretical Computer Science 14 Information and Computation 6 Formal Methods in System Design 6 The Journal of Logic and Algebraic Programming 4 Acta Informatica 4 Journal of Computer and System Sciences 4 Real-Time Systems 3 Science of Computer Programming 2 Information Processing Letters 2 International Journal of Parallel Programming 2 Formal Aspects of Computing 2 Theory and Practice of Logic Programming 2 Frontiers of Computer Science 1 Applied Mathematics and Computation 1 Computing 1 Mathematics and Computers in Simulation 1 Annals of Pure and Applied Logic 1 Journal of Automated Reasoning 1 Journal of Robotic Systems 1 Distributed Computing 1 RAIRO. Informatique Théorique et Applications 1 Nordic Journal of Computing 1 Journal of Functional Programming 1 Constraints 1 Journal of Combinatorial Optimization 1 Journal of VLSI Signal Processing Systems for Signal, Image, and Video Technology 1 Higher-Order and Symbolic Computation 1 Computer Languages, Systems & Structures 1 Logical Methods in Computer Science 1 Nonlinear Analysis. Hybrid Systems 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 12 Fields 127 Computer science (68-XX) 15 Mathematical logic and foundations (03-XX) 5 Systems theory; control (93-XX) 4 Information and communication theory, circuits (94-XX) 2 General and overarching topics; collections (00-XX) 2 Operations research, mathematical programming (90-XX) 2 Biology and other natural sciences (92-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Category theory; homological algebra (18-XX) 1 General topology (54-XX) 1 Mechanics of particles and systems (70-XX) 1 Quantum theory (81-XX) Citations by Year