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...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
82 CHAPITRE 7. EXPÉRIMENTATIONSProgramme registres # d’étatschorusBin 92 136 329 824mmid 111 10 308 357steam 128 41 774 141 026sequenceur 154 122 597sat 192 35 740 420 392 968cdtmica 208 23 384 736 769site 308 > 2 380 837 289trainsTrappes 538 > 1globalopt 598 > 705 085 932 547fuel 686 > 8 749cabine 919 > 719 031 955Fig. 7.2 – Tableau récapitulatif <strong><strong>de</strong>s</strong> gros <strong>programmes</strong> <strong>Esterel</strong>.et notre algorithme partitionné. Dans les résultats expérimentaux que nous présentons nousindiquons :– le nombre d’itérations réalisées avec succès,– le nombre d’états découverts,– le nombre d’états complètement analysés c’est à dire le nombre d’états dont l’image a étécalculée,– la mémoire nécessaire aux calculs,– le temps total utilisé pour les calculs d’image,– le temps <strong>de</strong> calcul total.7.1 Analyse <strong>de</strong> <strong>programmes</strong> coriacesLes résultats présentés dans cette section concernent les <strong>programmes</strong> pour lesquels aucun <strong><strong>de</strong>s</strong><strong>de</strong>ux algorithmes n’est parvenu à calculer complètement l’espace <strong><strong>de</strong>s</strong> états <strong>atteignables</strong>. Pour leprogramme fuel, chacun <strong><strong>de</strong>s</strong> <strong>de</strong>ux algorithmes échoue dès la secon<strong>de</strong> itération en ne produisantque 8 749 états. Pour le programme trainsTrappes, les 900Mo <strong>de</strong> mémoire sont consommésavant même d’achever la première itération. A part l’état initial, aucun <strong><strong>de</strong>s</strong> <strong>de</strong>ux algorithmesn’a été capable <strong>de</strong> produire le moindre état.Pour les <strong>programmes</strong> globalopt, site et cabine notre algorithme partitionné a pu produireun nombre plus important d’états que l’algorithme <strong>de</strong> base comme le montrent les tableaux 7.3,7.4 et 7.5. Toutefois, comme les <strong>de</strong>ux algorithmes ne produisent pas les états dans le même ordre,nous ne sommes pas en mesure <strong>de</strong> garantir que l’ensemble <strong><strong>de</strong>s</strong> états découverts par l’algorithme<strong>de</strong> base est inclus dans l’ensemble <strong><strong>de</strong>s</strong> états découverts par l’algorithme partitionné.7.1.1 globaloptL’analyse du programme globalopt produit les résultats donnés dans le tableau 7.3. Nouspouvons remarquer que l’algorithme partitionné permet <strong>de</strong> découvrir 2 fois plus d’états <strong>atteignables</strong>et permet <strong>de</strong> calculer l’image <strong>de</strong> 10 fois plus d’états que l’algorithme <strong>de</strong> base.