Recherche de la configuration optimisée d'une architecture cible pour une application en temps réel

par Marianne de Michiel

Thèse de doctorat en Informatique

Sous la direction de Daniel Dours.

Soutenue en 1994

à Toulouse 3 .


  • Résumé

    Cette these s'insere dans un projet dont l'objectif est de definir un outil qui permet d'obtenir automatiquement la machine la mieux adaptee pour traiter une application temps-reel strict donnee. Definir un tel outil est dans l'absolu, tres delicat en raison de la diversite des applications et des moyens pour les decrire. Mais si l'on parvient a modeliser l'application, et si l'on dispose d'un langage permettant de la decrire selon le modele, il est alors possible de definir une architecture generique conforme au modele, sur laquelle on peut projeter l'application. Une premiere etape de notre travail a donc ete de definir un modele et le langage de description associes. La description d'un systeme est ensuite compilee. La compilation permet d'une part de verifier la coherence de l'application et d'autre part de controler si la description satisfait les contraintes temporelles definies lors de la specification. Lorsque les contraintes ne sont pas verifiees, l'outil decompose automatiquement l'application de facon a obtenir un parallelisme juste suffisant pour une execution en temps-reel. La description obtenue a l'issue de cette etape n'est generalement pas optimale. L'outil optimise cette configuration de facon a reduire le temps de reponse du systeme et le cout de realisation. Il reste alors a determiner la projection de la description sur l'architecture cible. Au cours de cette phase, l'outil prend en compte les contraintes materielles inherentes a l'architecture. La machine dediee, permettant de traiter l'application en temps reel, est alors obtenue par l'interconnexion d'elements materiels de l'architecture generique selon la configuration deduite de la representation optimale


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : V-213 p

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1994TOU30008

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1994-MIC
  • Bibliothèque : Bibliothèque Diderot Sciences (Lyon).
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.