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.
