Y. Sorel
INRIA Rocquencourt -- 78153 LE CHESNAY, CEDEX
tel: 01 39 63 52 60, email: yves.sorel@inria.fr
Le cours étudie 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, sur des architectures multi-composant.
On présente une méthodologie appelée AAA : ``Adéquation Algorithme Architecture'', basée sur des modèles de graphes autant pour spécifier l'algorithme et l'architecture matérielle que pour décrire une implantation optimisée en termes de transformations de graphes. Le résultat de ces transformations est un 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 au mieux les contraintes temps-réel tout en minimisant le nombre des composants matériel.
On présente le langage synchrone SIGNAL de spécification et de vérification des algorithmes et le logiciel SynDEx supportant la méthodologie AAA.
Plan du cours