Accueil🇫🇷Chercher

Esterel (langage)

Esterel est le nom d'un langage de programmation conçu dans les années 1980 par un groupe dirigé par Gérard Berry, principalement en France et à l'université Columbia.

Ce langage est dit synchrone et réactif. Il est impératif et permet l'expression simple du parallélisme et de la préemption. Il est de ce fait bien adapté à la modélisation des systèmes à prépondérance contrôlée.

En tant que langage appartenant à la classe des systèmes informatiques réactifs :

  • le programme ne se termine pas, il est cyclique ;
  • il possède une grande vitesse de rĂ©action en mĂŞme temps qu'une connaissance de l'environnement exacte ;
  • le parallĂ©lisme lui permet de gĂ©rer plusieurs capteurs et/ou incidents simultanĂ©ment ;
  • ses processus peuvent ĂŞtre interrompus ou stoppĂ©s.

Ce langage peut modéliser de nombreux systèmes et milieux : logiciels, matériels, contrôle de flux, etc.

Syntaxe/comportement du 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.

Notes

Voir aussi

Autres langages synchrones

Liens externes

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.