Méthodologie et outil de conception d'une architecture parallèle temps réel

par Patrick Magnaud

Thèse de doctorat en Informatique

Sous la direction de Daniel Dours.

Soutenue en 1990

à Toulouse 3 .


  • Pas de résumé disponible.


  • Résumé

    L'objectif de cette etude est de permettre a un concepteur de definir l'architecture de la machine la mieux adaptee a traiter une application en temps reel et ce sans avoir a tenir compte explicitement des contraintes temporelles et materielles. Dans cette optique, un outil de conception a ete developpe. Il s'appuie sur une methodologie qui utilise un modele d'execution qui s'apparente a la fois aux modeles synchrone et data-flow. Ce modele permet d'exprimer le parallelisme intrinseque d'une application en terme de reseau de modules communiquant par messages. Il se caracterise par une structure recursive combinant le parallelisme vrai et le pipeling et peut etre mis en correspondance biunivoque avec une architecture modulaire reconfigurable. Pour decrire ces applications selon ce modele, nous avons defini un langage qui autorise des techniques de parallelisation automatique des modules composant l'application. Cette parallelisation a pour but d'obtenir une representation dans laquelle tout module d'execute en temps reel. Ces techniques de parallelisation reposent sur des transformations de programmes sequentiels qui en modifient la performance tout en conservant la competence. On obtient ainsi une parallelisation de l'application, qui tient compte des contraintes temps reel. Pour eviter au concepteur de tenir compte des contraintes temporelles et materielles qui dependent de l'architecture cible, l'outil que nous avons concu determine automatiquement la structure modulaire optimale traitant l'application en temps reel. Il suffit alors de configurer l'architecture cible selon cette structure

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : IV-135 p

Où se trouve cette thèse ?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1990TOU30210
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.