Action : TICK - tick

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00061000000000000000" id= "SECTION00061000000000000000">Compilation et optimisation modulaire d'Esterel</a></h2> <a name="TICK_resultats_modulaire" id= "TICK_resultats_modulaire"></a> <p><br /> <br /> <span class="textbf">Participants :</span> Gérard Berry, Amar Bouali, Loïc Henry-Gréard, Robert de Simone.<br /> <br /></p> <p><strong>Mots clés :</strong> <i>Esterel, modularité, optimisation, compositionnalité .</i></p> <p>Le compilateur Esterel v5 actuel compile d'un seul coup toute une application. Cette compilation monolithique trouve actuellement ses limites, en particulier pour les gros programmes écrits par Dassault Aviation. Nous avons étudié théoriquement de nouveaux algorithmes de compilation modulaire, qui découlent directement des propriétés mathématiques de la sémantique constructive du langage.</p> <p>La compilation modulaire permet notamment d'optimiser les composants compilés séparément, au niveau d'une représentation en <em>systèmes d'équations booléennes</em> et donc essentiellement comme des circuits synchrones. Certains calculs ultérieurs sur le système global recomposé peuvent s'en trouver spéctaculairement simplifiés. Néanmoins la compilation séparé réclame de conserver certaines informations importantes pour pouvoir pratiquer cette recomposition ultérieure, ce qui pose des problèmes tant théoriques que pratiques. La thèse de Loïc Henry-Gréard porte sur l'étude de solutions à ces problèmes. Un premier prototype de compilateur modulaire forme le noyau du nouveau compilateur Esterel v6. Ce prototype est en phase de validation dans notre groupe et chez certains utilisateurs proches.</p> </body>