Spécification, vérification et optimisation des systèmes temps réel ...
Spécification, vérification et optimisation des systèmes temps réel ...
Spécification, vérification et optimisation des systèmes temps réel ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Optimisation<br />
– Caractérisation opérations/opérateurs<br />
✜ mesures : durée, capacité mémoire,<br />
interférences calculs communications<br />
– Choix d’une transformation de graphe<br />
✜ qui respecte les contraintes <strong>temps</strong> réel<br />
✜ qui minimise les ressources<br />
– Heuristique gloutonne list-scheduling<br />
✜ prédiction comportement <strong>temps</strong> réel<br />
✜ calculs chemin/boucle critiques<br />
✜ contraintes de distribution