Esterel

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.


References in zbMATH (referenced in 159 articles , 1 standard article )

Showing results 1 to 20 of 159.
Sorted by year (citations)

1 2 3 ... 6 7 8 next

  1. Fares, Elie; Bodeveix, Jean-Paul; Filali, Mamoun: Event algebra for transition systems composition application to timed automata (2018)
  2. Kurshan, Robert P.: Transfer of model checking to industrial practice (2018)
  3. Lanotte, Ruggero; Merro, Massimo: A semantic theory of the internet of things (2018)
  4. Müller, Peter (ed.); Schaefer, Ina (ed.): Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018 (2018)
  5. Seshia, Sanjit A.; Sharygina, Natasha; Tripakis, Stavros: Modeling for verification (2018)
  6. Benveniste, Albert; Bourke, Timothy; Caillaud, Benoit; Pagano, Bruno; Pouzet, Marc: A type-based analysis of causality loops in hybrid systems modelers (2017)
  7. Doucet, Frederic; Kurshan, Robert: A methodology to take credit for high-level verification during RTL verification (2017)
  8. Fischer, Jeffrey M.; Majumdar, Rupak: Programming by composing filters (2017)
  9. Nigam, Vivek; Olarte, Carlos; Pimentel, Elaine: On subexponentials, focusing and modalities in concurrent systems (2017)
  10. Olarte, Carlos; Pimentel, Elaine: On concurrent behaviors and focusing in linear logic (2017)
  11. Bozzelli, Laura; Sánchez, César: Foundations of Boolean stream runtime verification (2016)
  12. Hayes, Ian J.; Colvin, Robert J.; Meinicke, Larissa A.; Winter, Kirsten; Velykis, Andrius: An algebra of synchronous atomic steps (2016)
  13. Jebali, Fatma; Lang, Frédéric; Mateescu, Radu: Formal modelling and verification of GALS systems using GRL and CADP (2016)
  14. Valiron, Benoît: Generating reversible circuits from higher-order functional programs (2016)
  15. Aguado, Joaquín; Mendler, Michael; von Hanxleden, Reinhard; Fuhrmann, Insa: Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (2015)
  16. Bistarelli, Stefano; Gabbrielli, Maurizio; Meo, Maria Chiara; Santini, Francesco: Timed soft concurrent constraint programs: an interleaved and a parallel approach (2015)
  17. Cerone, Andrea; Hennessy, Matthew; Merro, Massimo: Modelling MAC-layer communications in wireless systems (2015)
  18. Chen, Yanwen; Chen, Yixiang; Madelaine, Eric: Timed-pNets: a communication behavioural semantic model for distributed systems (2015)
  19. Chiarugi, Davide; Falaschi, Moreno; Olarte, Carlos; Palamidessi, Catuscia: A declarative view of signaling pathways (2015)
  20. Falaschi, Moreno; Olarte, Carlos; Palamidessi, Catuscia: Abstract interpretation of temporal concurrent constraint programs (2015)

1 2 3 ... 6 7 8 next