Esterel

Esterel est un langage de programmation unique conçu pour le développement de systèmes critiques de sécurité. Il est basé sur le modèle de programmation synchrone, qui permet de développer facilement des systèmes hautement concurrents et en temps réel. Le langage a été développé dans les années 1980 par une équipe de l'Institut français de recherche en informatique et en automatique (INRIA), dirigée par le professeur Gérard Berry. Esterel a été utilisé dans un large éventail d'applications, notamment pour le développement des systèmes de contrôle de l'Airbus A380, du système de contrôle de la fusée française Ariane 5 et du réacteur de fusion japonais Superconducting Tokamak. Le modèle de programmation synchrone utilisé par Esterel est basé sur le concept de "signaux" qui sont des variables pouvant prendre un ensemble fini de valeurs. Ces valeurs sont typiquement booléennes (vrai/faux) ou entières (0, 1, 2, etc.). Un signal ne peut changer de valeur qu'à des moments précis, appelés "événements". Les événements peuvent être soit "externes" (déclenchés par une entrée externe, comme l'appui sur un bouton), soit "internes" (déclenchés par le programme lui-même). Les programmes Esterel sont construits à partir d'un ensemble de "modules" qui sont connectés entre eux pour former un graphe dirigé. Chaque module possède un ensemble de ports d'entrée et de sortie, et un ensemble de "signaux" qui sont connectés aux ports. Les modules peuvent être connectés entre eux dans n'importe quel ordre, et l'ordre dans lequel ils sont exécutés est déterminé par le "flux de signaux" à travers le graphe. Le compilateur Esterel génère automatiquement le code qui exécute les modules dans l'ordre correct, en fonction du flux de signaux. Cela permet de développer facilement des systèmes hautement concurrents, car le programmeur n'a pas à se soucier de l'ordre dans lequel les modules seront exécutés. L'utilisation du modèle de programmation synchrone permet également le développement de systèmes en temps réel, car le timing des événements peut être contrôlé avec précision. Les programmes Esterel peuvent être compilés pour s'exécuter sur une large gamme de plateformes, y compris les systèmes embarqués. Le langage Esterel a connu un grand succès dans le développement de systèmes critiques de sécurité, en raison de sa capacité à développer facilement des systèmes concurrents et en temps réel. Il a été utilisé dans une grande variété d'applications, y compris les systèmes de contrôle des avions, les systèmes de contrôle des fusées et les systèmes de contrôle des réacteurs à fusion.