Samson : un simulateur pour systemes repartis et temps-reel

par Laurent Toutain

Thèse de doctorat en Sciences appliquées

Sous la direction de ALAIN FAURE.

Soutenue en 1991

à Le Havre .

    mots clés mots clés


  • Résumé

    L'etude a ete effectuee a l'institut national de la recherche en informatique et en automatique (inria) dans le projet reflecs. Dans cette these nous introduisons une nouvelle methodologie pour la simulation des systemes repartis et temps reel. Dans ce type de systeme pour que la simulation fournisse des resultats interessants il faut que le modele soit decrit algorithmiquement. Nous montrons que les formalises habituels (reseaux de file d'attente et reseaux de petri) ne peuvent pas modeliser precisement de tels systemes. Le formalisme processus/ressource, developpe dans cette these, permet une approche objet dans la conception des modeles. Il permet surtout de representer les contraintes et les conflits qui surviennent sur des ressources partagees dans la vie du systeme. Le simulateur samson (pour simulation, analysis and monitoring of systems and open networks) est une bibliotheque de procedures et de classes qui permettent de transformer le langage c++ en langage de simulation. Nous donnons le fonctionnement d'outils qui permettent la simulation de systemes repartis et la simulation d'ordonnanceurs. Nous terminons la these par la modelisation de differents algorithmes d'ordonnancement


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 97 REF

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : C-TOU
  • Bibliothèque : Université du Havre. Service commun de la documentation. Bibliothèque centrale.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.