Esterel / Scade : des mathématiques élégantes à l'industrie des programmes fiables

L’aventure a commencé par une course de voitures robots. Comment les programmer pour battre celles des concurrents ? Dix-huit ans plus tard, le nouveau langage inventé par deux chercheurs de l’École des Mines, non pas pour enrichir l’informatique mais simplement pour gagner la course, s’applique industriellement dans de nombreuses applications dont la plupart sont critiques en termes de sécurité, dans des domaines aussi variés que l’aérospatial, l’aéronautique, l’automobile, les centrales nucléaires, les composants électroniques. Le passage de la recherche à l’industrialisation s’est fait en suivant le rythme des progrès technologiques, mais aussi en accompagnant l’évolution des besoins des utilisateurs dont le souci croissant est de développer avec le minimum de contraintes et le maximum de souplesse des applications performantes et parfaitement fiables.