Etude d'algorithmes de placement de taches temps reel complexes dans un systeme reparti

par JEAN-PIERRE BEAUVAIS

Thèse de doctorat en Sciences appliquées

Sous la direction de J.-P. ELLOY.

Soutenue en 1996

à Nantes .

    mots clés mots clés


  • Résumé

    En mettant en jeu des couts economiques ou humains importants, les systemes informatiques de controle temps reel a contraintes strictes exigent une garantie a priori a la fois de la correction de la valeur des commandes emises ainsi que de la date a laquelle celles-ci sont appliquees. L'utilisation croissante de systemes repartis pour implanter de telles applications, souleve le probleme complexe du placement des differentes entites de l'architecture logicielle sur les elements de l'architecture materiel. Cette these etudie differents algorithmes de placement statique dans le contexte de taches periodiques temps reel. Les taches de notre modele ont ceci de particulier d'etre chacune definie par un graphe de precedence et de communication (modele data flow). C'est ainsi l'ensemble des nuds de ces graphes, les sous-taches, que nous placons tout en verifiant que les contraintes d'execution (activation, precedence et echeance) sont respectees. Nous fournissons cette garantie en produisant une sequence d'execution des sous-taches sur les processeurs et des communications sur le bus qui relie l'ensemble des processeurs. Le probleme est np-difficile et les methodes que nous avons mises en uvre sont des methodes approchees stochastiques et non stochastiques appartenant aux differentes classes suivantes: algorithme de liste, algorithme de regroupement, algorithme de recuit simule et algorithme genetique. Les algorithmes sont compares a partir de resultats obtenus sur un meme echantillon de grande taille de configurations logicielles variees. Il s'avere que pour notre probleme, les algorithmes de regroupement, en particulier une version iterative de ceux-ci, produisent de tres bons resultats en terme de taux de reussite et de temps d'execution


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 182 P.
  • Annexes : 165 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : TH 1596 bis
  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : TH 1596
  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 96 NANT 2036
  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 96 NANT 2036
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.