Calcul des etats atteignables de programmes Esterel partitionne ...

6.2.REPRÉSENTATION DES PROGRAMMES ESTEREL 77iclc. Le format généré est identique au format intermédiaire à la différence que le programmeEsterel est constitué d’un module unique avec une unique table de registres. A partir de cetteétape, le programme peut être traduit en format circuit [11] par l’outil lcsc. La transformationdu format intermédiaire vers le format circuit présente l’avantage (pour nous) de conserver lestables de variables et en particulier la table des registres c’est à dire la correspondance entre lespauses et les registres.Le format circuit peut se traduire en divers formats exécutables (sous forme d’automate ou biende programme C compilable). Il peut également être traduit en circuit BLIF [78], optimisé parblifopt [34, 72, 71] et vérifié à l’aide de l’outil Xeve [14].Un autre outil de vérification appelé evcl a été développé par Yannis Bres [17]. Cet outilreconnaît aussi bien le format BLIF que le format circuit sc propre à Esterel. Ces deux outilsutilisent la librairie TiGeR pour la manipulation des BDDs.6.2 Représentation des programmes EsterelLa construction du graphe de flot de contrôle a été réalisée selon deux approches différentes.La première consiste à construire l’arbre syntaxique des programmes lors de la transformationdu code source vers le format intermédiaire ic. La seconde approche consiste à construiredirectement le graphe de contrôle à partir du format intermédiaire après l’édition de liens.Chacune de ces approches présente ses avantages et ses inconvénients, comme nous allons levoir dans la suite de cette section.6.2.1 Construction de l’arbre syntaxique dans strlicConstruire l’arbre syntaxique lors de la transformation du programme Esterel vers leformat intermédiaire nous permet d’obtenir un arbre strictement fidèle au code source. Cettetraduction génère une variable de registre pour chaque instruction pause et nous permet deconstruire un arbre dans lequel chaque instruction pause est associée au nom de son registre decontrôle.L’inconvénient de cette approche réside dans le fait que les programmes Esterel sont très souventconstitués de plusieurs modules. Cette approche ne produit donc pas un arbre syntaxiquemais une forêt d’arbres syntaxiques que nous devons lier entre eux. La phase d’édition de lienconsiste à combiner l’ensemble des modules d’un programme Esterel au sein d’un moduleunique. Cette phase s’accompagne également du renommage des variables en général et desregistres en particulier. Pour être viable, l’édition de lien dans les arbres syntaxiques doit êtreréalisée de la même manière que dans les modules Esterel, avec les mêmes renommages afinde conserver l’information nécessaire à l’identification des registres de contrôle.Si le programme Esterel source ne contient qu’un seul module, alors la phase d’édition de liensréalisée par l’outil iclc ne modifie pas la table des registres. Nous avons choisi de n’accepterque les programmes Esterel ne contenant qu’un unique module.Pour construire l’arbre syntaxique de programmes réels, nous avons donc besoin d’un outilcapable d’effectuer l’édition de lien des programmes Esterel au niveau du code source. Un teloutil a été développé par Olivier Tardieu au cours de ses travaux sur le compilateur Esterel[76]. Cet outil prototype n’accepte pas aujourd’hui l’intégralité de la syntaxe du langage. Parconséquent, notre approche visant à construire notre graphe de flot de contrôle à partir dulangage source est encore aujourd’hui incomplète par manque pratique de réalisation logicielle.