Précédent : Mobilité et vérification Remonter : Actions de recherche Suivant : Etude de la causalité
Précédent : Mobilité et vérification Remonter :
Actions
de recherche Suivant : Etude de la causalité
Mots-clés : langage synchrone, réactivité, causalité, sémantique, temps réel, compilation,optimisation de code, circuit numérique
Esterel est un langage parallèle synchrone dedié aux systèmes réactifs qu'on trouve dans les applications de contrôle de processus, de protocoles de communication, ou de conception de circuits électroniques. Esterel est développé dans notre groupe depuis 1983. Il se caractérise par une sémantique formelle rigoureuse, un outillage de compilation ou de synthèse de circuits de qualité pré-industrielle, et des interfaces vers des systèmes de vérification de programmes. Esterel est utilisé par plusieurs industriels.