ETUDE et DEVELOPPEMENT
d'une MAQUETTE de GENERATEUR de CODE
en VISION ROBOTIQUE

Soraya ARIAS

Résumé

Afin d'assurer l'exploitation optimale et efficace des différentes méthodes d'analyse d'image et de vision par ordinateur rencontrées dans de nombreuses classes d'applications, ce mémoire de DEA propose un ensemble de solutions théoriques et pratiques pour permettre leur spécification et leur implémentation. Elles sont basées sur :

• une réflexion internationale à travers le système IUE, sur la standardisation des méthodes rencontrées dans le monde de la vision par ordinateur ;
• une méthodologie de spécification qui emprunte des concepts orientée-objet pour la structuration des données et des méthodes associées, et des méthodes formelles de spécification et de validation des systèmes réactifs basées sur la programmtion synchrone ;
• une proposition de génération automatique de code temps réel respectant la norme POSIX

Ces solutions sont illustrées et validées en élaborant un prototype caractéristique pour la conception d'environnement de développement d'applications de vision temps-réel. La confrontation des aspects théoriques avec les exigences d'une mise en oeuvre pratique ouvre de nombreuses perspectives à ce travail, énoncées en conclusion de ce rapport.

• Table des Matière
• Liste des Figures
• Introduction
• Contexte de cette Etude
  • Conclusion
• Stratification de spécifications objet
  • Définitions et Intérêt de l'approche Objet
  • MSO : Base de la Structuration Objet Stratifiée
    • Concepts et Définitions :
  • Du Statique vers le Dynamique
    • Les Attributs Dynamiques :
    • Héritage :
• Méthodes Réactives Synchrones
  • Les Systèmes Réactifs :
    • Caractéristiques :
      • Le déterminisme.
      • Les contraintes de temps.
      • La fiabilité.
      • Le parallélisme.
    • Méthodes de Programmation :
  • L'approche Synchrone et le Langage Esterel
    • L'approche Synchrone :
    • Le Langage Synchrone ESTEREL :
      • Caractéristiques
      • Propriétés
      • Méthodologie
• Mise en Oeuvre d'un Prototype
  • La Portabilité Temps-Réel
  • Le prototype ArGiMoGe
    • L'interface Utilisateur
      • Du point de vue Utilisateur
      • Du point de vue l'implémentation
    • Hardware Utilisé
    • Implémentation du Prototype
      • Fonctionnalités POSIX :
      • Le Contrôleur EST´EREL et l'Interfaçage C :
    • Analyse du Prototype et Perspectives :
  • ArGiMoGe en Images
• Conclusion
• Bibliographie
• Rappels sur les langages orientés-objet
• The - C or Restraint C Language
  • Using a Restrained C-language to define processor and memory
  • - C and the Memory Objects :
    • Syntax :
    • Example :
    • Properties and Restrictions :
  • - C and the Processor Instructions :
  • - C and the Straight-line Programs :
  • Conclusion on the - C Language :
• A discussion on real-time implementations
• About this document ...