Titre original :

Modélisation à haut niveau du contrôle dans des applications de traitement systématique à parallélisme massif

Mots-clés en français :
  • Ingénierie dirigée par les modèles
  • Systèmes dynamiques hybrides -- Modèles mathématiques -- Thèses et écrits académiques
  • Parallélisme (informatique) -- Thèses et écrits académiques
  • Temps réel (informatique) -- Thèses et écrits académiques
  • Traitement du signal
  • Automates mathématiques, Théorie des
  • UML (informatique)
  • Logiciels -- Développement
  • Systèmes enfouis (informatique) -- Modèles mathématiques -- Thèses et écrits académiques

  • Langue : Français
  • Discipline : Informatique
  • Identifiant : 2006LIL10074
  • Type de thèse : Doctorat
  • Date de soutenance : 01/01/2006

Résumé en langue originale

Les travaux présentés dans cette thèse s'inscrivent dans le cadre des recherches menées sur la modélisation et la conception des systèmes sur puce à hautes performances. Ces systèmes sont basés sur des applications de traitement systématique à parallélisme massif opérant sur des données à plusieurs dimensions. Il est donc important de disposer de modèles capables de prendre en considération cet aspect multidimensionnel. Nous présentons les différents modèles de calcul existants pour la spécification de ces applications multidimensionnelles. Puis, nous nous intéressons au modèle Array-OL basé sur la seule expression des dépendances de données. Cependant, ce modèle ne prend pas en compte la modélisation des comportements de contrôle qui sont généralement indispensables dans la description de certaines applications de traitement du signal. L'objectif de notre travail est donc de proposer un modèle de spécification introduisant la notion de contrôle dans le modèle Array-OL. Nous étudions pour cela les travaux réalisés autour des systèmes réactifs synchrones, et en particulier ceux permettant la description des systèmes hybrides. Cette étude nous a permis de définir une méthodologie de conception séparant clairement le contrôle et les calculs. Nous discutons les avantages de cette méthodologie, notamment en terme de vérification formelle, et nous illustrons son application dans la conception d'un système automobile. Par la suite, nous proposons une approche basée sur un concept de degré de granularité pour associer la description du contrôle aux modèles Array-OL. Nous étudions également la possibilité d'étendre ce concept à celui de multi-degrés de granularité pour permettre la modélisation d'applications plus complexes contenant différentes parties de contrôle. Enfin, notre démarche est basée sur une approche lDM et contribue à la définition d'un profil UML pour l'environnement de développement Gaspard2. Dans ce cadre, nous détaillons la description du profil et nous illustrons son utilisation pour concevoir une application de traitement de vidéo.

  • Directeur(s) de thèse : Dekeyser, Jean-Luc - Boulet, Pierre

AUTEUR

  • Labbani, Ouassila
Droits d'auteur : Ce document est protégé en vertu du Code de la Propriété Intellectuelle.
Accès libre