Abstract FR:

Nous proposons une demarche de conception unifiant les phases de prototypage de programmes et de derivation d'automates integres dans le domaine du traitement d'images temps reel. Cette demarche s'appuie sur les concepts de decomposition fonctionnelle et d'emulation des algorithmes sur une architecture cible, utilisee comme plate-forme commune de specification, de prototypage et de derivation de solutions materielles integrees. Cette architecture, developpee au laboratoire systemes de perception de l'etca et baptisee calculateur fonctionnel, se presente sous la forme d'un reseau tridimensionnel de processeurs flot de donnees. L'implantation d'un algorithme specifie sous la forme d'un graphe fonctionnel d'operateurs se reduit alors a un probleme de placement topologique. Partant d'une representation duale des algorithmes sous la forme de graphes flot de donnees et d'expressions fonctionnelles, on definit un modele de programmation permettant la specification et la validation simultanee des aspects fonctionnel et structurel des solutions. L'approche adoptee s'est concretisee par le developpement d'un environnement de programmation integrant notamment une bibliotheque de primitives significatives en traitement d'images, un compilateur interactif de graphes fonctionnels, un placeur-routeur automatique de graphes ainsi que des outils de manipulation et de mise au point interactifs des programmes. Plusieurs applications significatives de vision temps reel ont ete implantees et sont presentees a titre de validation