Calcul des etats atteignables de programmes Esterel partitionne ...
Calcul des etats atteignables de programmes Esterel partitionne ...
Calcul des etats atteignables de programmes Esterel partitionne ...
- No tags were found...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
8 CHAPITRE 1. INTRODUCTION1.5 Présentation du documentCette thèse présente un algorithme <strong>de</strong> <strong>partitionne</strong>ment permettant <strong>de</strong> calculer plus efficacementl’espace <strong><strong>de</strong>s</strong> états <strong>atteignables</strong> d’un programme <strong>Esterel</strong>. Cette efficacité se mesure enespace plus qu’en temps. Ce document est organisé <strong>de</strong> la manière suivante :Dans le chapitre 2, nous présentons le langage <strong>Esterel</strong> ainsi que les métho<strong><strong>de</strong>s</strong> symboliques àbase <strong>de</strong> BDDs que nous utilisons. Nous présentons également l’algorithme Breadth First Search<strong>de</strong> base que nous souhaitons améliorer.Le chapitre 3 motive et présente notre algorithme <strong>de</strong> manière intuitive. Nous décrivons lesdifficultés que peut représenter le parallélisme par rapport à notre approche et nous proposonsune solution à ces problèmes.Le chapitre 4 définit formellement les opérateurs utilisés dans notre algorithme <strong>de</strong> <strong>partitionne</strong>ment.La construction d’un graphe permettant <strong>de</strong> gui<strong>de</strong>r ce <strong>partitionne</strong>ment est donnée.Le chapitre 5 présente formellement notre algorithme. Une démonstration <strong>de</strong> la validité <strong>de</strong>cet algorithme est donnée.Le chapitre 6 décrit les points clés <strong>de</strong> l’implémentation <strong>de</strong> notre métho<strong>de</strong> par rapport àla chaîne <strong>de</strong> compilation <strong><strong>de</strong>s</strong> <strong>programmes</strong> <strong>Esterel</strong> et par rapport aux outils d’analyse déjàexistants.Le chapitre 7 présente <strong><strong>de</strong>s</strong> résultats expérimentaux montrant l’utilité <strong>de</strong> notre approche.Le chapitre 8 conclut cette thèse et donne quelques perspectives.