Esterel (langage)

Un signal S peut être activé ou désactivé. On l'active via l'instruction emit S. On change sa valeur (par exemple une valeur du type entier) via l'instruction emit S(valeur).

Pour illustrer l'instantanéité de l'activation des signaux, les instructions emit O; emit O1; emit O2; aboutissent à l'activation instantanée et simultanée en une seule itération des trois signaux O, O1, et O2. Une autre illustration : le symbole || signifie la parallélité des instructions qu'il sépare.

Un exemple de module :

  module ABRO:
  input A, B, R;
  output O;
  loop
     [ await A || await B ];
     emit O
  each R
  end module

Un exemple d'utilisation du module précédent dans un autre module :

  module ABCRO:
  input A, B, C, R;
  output O;
  signal AB in
     run ABRO [ signal AB / O ]
  ||
     run ABRO [ signal AB / A, C / B ]
  end module

AB / O signifie que le O de la sous-fonction ABRO est nommé AB dans la fonction ABCRO.

Le langage est encore en développement, sans véritable standard établi. Il existe plusieurs compilateurs Esterel qui permettent de générer du code C, VHDL ou Verilog. La société Esterel Technologies a engagé un processus de normalisation de la version 7 du langage à l'IEEE en 2005. Le manuel de référence[1] présenté pour la normalisation est disponible.

Il en existe une version orientée objet : Esterel ++, conçue par Dassault Aviation. Différents formalismes graphiques (Syncharts, UML) sont proposés.