Esterel (langage)
From Wikipedia, the free encyclopedia
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Date de première versionAnnées 1980
| Esterel | |
| Date de première version | Années 1980 |
|---|---|
| Site web | http://www-sop.inria.fr/meije/esterel/esterel-eng.html |
modifier  |
|
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.
