Précédent : Etude de la causalité Remonter : Esterel et la programmation réactive Suivant : Formats communs de représentation

Le compilateur Esterel v5

Participants : Gérard Berry, Xavier Fornari, Horia Toma, Monica Robert

Le point de vue constructif a été complètement implanté dans le nouveau compilateur Esterel v5. Ce compilateur améliore de façon considérable le compilateur Esterel v4 précédent qui était très restrictif sur les problèmes de causalité. Il a été testé intensivement, à l'aide d'une procédure de tests systématique mise en place par M. Robert.

Les algorithmes formels de vérification de la constructivité ont été implantés en utilisant des techniques de calcul booléen par diagrammes de décision binaires (BDDs) disponibles dans la bibliothèque TiGeR acquise par l'INRIA (travail de thèse de H. Toma). Ils ont été utilisés dans des applications industrielles chez Dassault Aviation. Nous avons développé un nouveau système de débogage symbolique permettant en particulier de visualiser les messages d'erreur de causalité. Enfin, nous avons poursuivi le développement de systèmes d'optimisation et de vérification de programmes à l'aide de diagrammes de décision binaires [18] (H. Toma, E. Sentovich).

Pour la suite, le principal problème reste l'amélioration du calcul pratique de la causalité. Si l'interprétation des programmes est toujours réalisable en temps linéaire et ne pose donc aucun problème, leur compilation est intrinsèquement beaucoup plus coûteuse lorsque les circuits générés ont des cycles. Les algorithmes dont nous disposons actuellement nous ont permis de traiter des exemples industriels de grande taille. Ils sont cependant très gourmands en temps de calcul et en place mémoire. Il serait très intéressant de savoir si les circuits constructifs peuvent se caractériser de façon topologique et d'en dériver de nouveaux algorithmes.