Précédent : Méthode d'Adéquation Algorithme Architecture pour Remonter : Méthode d'Adéquation Algorithme Architecture pour Suivant : Activités en 1996

Contexte

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, s'exécutant sur des architectures embarquées multi-composants.

Nous proposons une méthodologie appelée ``Adéquation Algorithme Architecture'' (A3) 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). L'adéquation est un problème d'optimisation qui consiste à choisir parmi les implantations possibles une qui respecte les contraintes temps réel et minimise les ressources matérielles utilisées. Le résultat de l'implantation est un exécutif distribué, supportant l'exécution temps réel de l'algorithme sur l'architecture, construit à partir d'une bibliothèque de primitives portables qui constituent le noyau d'exécutif SynDEx, soit pour des processeurs, soit pour des circuits intégrés reconfigurables (FPGA).

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 d'Adéquation Algorithme Architecture.

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. En particulier, pour des applications embarquées dans le domaine de l'automobile, nous étudions en collaboration avec le projet Praxitèle, les problèmes de contrôle commande de véhicules urbains électriques, en vue de minimiser l'électronique et l'informatique embarquées, ainsi que leur temps de développement.