Spécificationvérification, optimisation Previous: GENERATION D'EXECUTIFS

LOGICIELS D'AIDE A L'IMPLANTATION

Mise en uvre de la méthodologie A

• préserve la cohérence de la spécification synchrone
• optimise l'implantation (temps de réponse et nombre processeurs)
• génère sur mesure pour l'application un exécutif distribué temps réel

Fonctionnalités de SynDEx

SynDEx est un logiciel d'aide à l'implantation graphique interactif pour d'applications de contrôle commande et de traitement du signal et des images s'exécutant en temps réel sur des machines multicomposant. Il offre les fonctionnalités suivantes :

1. interface avec les langages Synchornes (SIGNAL) (spécification et preuve de l'algorithme d'application, compilation) :
   programmes fiables
2. spécification et dimensionnement de la machine multi-composant :
   matériel optimisé
3. distribution-ordonnancement optimisé de l'application sur la machine :
   logiciels optimisés
4. visualisation des performances prédites par l'heuristique de distribution-ordonnancement
5. génération de l'exécutif distribué pour exécution en temps réel :
   programmation de bas niveau réduite
6. processeurs supportés : SHARC-ADSP2160, Texas TMS320C40, Transputer T80x, Intel ix86, i8051, Motorola MC68332, i80C196
7. mesures de performances : évaluation quantitative des choix, entraînant la modification des contraintes de distribution.

Optimisations avec SynDEx

L'heuristique d'optimisation calcule les dates d'exécution et les performances à partir des durées d'exécution des éléments du graphe algorithme (opération de calcul ou de communication). Les calculs des durées élémentaires de communication sont basés sur des modèles mathématiques simples, par exemple :

- dt : durée de communication
- : débit de la liaison physique de communication
- v : volume de la communication (dépendant du type des données)
- : temps d'établissement de la communication

Mesures des durées et dimensionnement