Mise en uvre d'un formalisme fonctionnel pour la programmation d'une architecture flot de donnees dediee au traitement d'image temps reel

par JOCELYN SEROT

Thèse de doctorat en Sciences appliquées

Sous la direction de Georges Quénot.

Soutenue en 1993

à Paris 11 .

    mots clés mots clés


  • Résumé

    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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 234 P.
  • Annexes : 220 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-011394
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.