Exécution «efficace» logicielle de programmes Esterel



Participants : Dumitru Potop, Robert de Simone.

Mots clés : Esterel, code efficace .

La traduction d'Esterel en circuits mène à un schéma simple d'exécution des programmes, qui consiste à évaluer séquentiellement dans un ordre donné toutes les équations définissant les portes logiques et les regitres booléens du circuit, et ce lors de chaque réaction du programme. Néanmoins, dans un programme hiérarchique de larges parties peuvent se révèler structurellement inactives, ce qui est difficile à détecter après traduction en circuit. Le sujet de thèse de Dumitru Potop consiste dans l'utilisation de la structure du programme Esterel pour définir un mode de compilation produisant un code plus efficace car n'exécutant que certaines parties actives du système d'équations. Des travaux similaires ont été conduits dans la société Synopsys et au CNET Grenoble.

Le modèle intermédiaire de représentation de programmes défini actuellement devra également permettre d'effectuer des optimisations importantes. Il s'agit principalement d'identifier des équivalences synchrones entre points de contrôle parallèles, par des méthodes d'analyse statique appropriées.