Participants : Caroline Aiglon, Rémy Kocik, Christophe Lavarenne, Gabor Paller, Yves Sorel, Annie Vicard, Christophe Vollet, Radoslaw Wojdowski
Nous étudions les problèmes posés par l'implantation sous contraintes temps-réel, d'algorithmes de contrôle commande et de traitement du signal et des images complexes s'exécutant sur des architectures multi-composants embarquées.
Nous proposons une méthodologie que nous appelons ``Adéquation
Algorithme Architecture'' (A
), basée sur des modèles de graphes autant pour
spécifier l'algorithme (mise en évidence du parallélisme
potentiel) et l'architecture matérielle (mise en évidence du
parallélisme disponible) que pour décrire l'implantation en
termes de transformations de graphes (réduction de parallélisme).
Le résultat de ces transformations est un schéma d'exécutif
distribué supportant l'exécution temps réel de l'algorithme sur
l'architecture. L'adéquation consiste à choisir l'implantation
qui respecte les contraintes temps réel et minimise les
ressources matérielles utilisées, ce qui se traduit par un
problème d'optimisation.
Deux axes de recherche sont explorés, le premier concerne les
modèles d'algorithme, d'architecture, d'implantation et
d'exécutif, le second concerne les problèmes d'optimisation liés
au concept A
.
Pour valider la méthodologie préconisée, le logiciel d'aide à l'implantation SynDEx est développé en même temps que la méthodologie, et les deux sont utilisés par des universitaires et des industriels.