Normal view MARC view ISBD view

SAMSON : un simulateur pour systèmes répartis et temps-réel / Laurent Toutain ; sous la direction de Gérard Le Lann

Auteur principal : Toutain, Laurent, AuteurAuteur secondaire : Le Lann, Gérard , 1943-, Directeur de thèseAuteur secondaire collectivité : Université du Havre, Etablissement de soutenanceType de document : ThèseLangue : français.Pays : France.Éditeur : [S.l.] : [s.n.], 1991Description : 1 vol. (115 p.) ; 30 cmISBN : 2726107095.Bibliographie : Bibliogr. p. 115.Sujet MSC : 68M10, Computer science -- Computer system organization, Network design and communication
68N15, Computer science -- Software, Programming languages
68U20, Computer science -- Computing methodologies and applications, Simulation
68M14, Computer science -- Computer system organization, Distributed systems
97A70, Mathematics education - General, mathematics and education, Theses and postdoctoral theses
Note de thèse: Thèse de doctorat, informatique (instrumentation et commande), 1991, université du Havre
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle S
Thèses TOU (Browse shelf) Available 10605-01

Bibliogr. p. 115

Thèse de doctorat informatique (instrumentation et commande) 1991 université du Havre

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

There are no comments for this item.

Log in to your account to post a comment.