Le moteur de recherche
des thèses françaises
'%3e%3cpath%20style='fill:%2300a0dc;fill-opacity:1;stroke:none;stroke-width:.144606;stroke-opacity:1;stop-color:%23000'%20d='M41.8%20100.088H52.28c.46%200%20.831.421.831.945v10.25c0%20.524-.37.946-.831.946H41.8c-.46%200-.831-.422-.831-.945v-10.251c0-.524.37-.945.831-.945z'/%3e%3cpath%20d='m47.072%20102.02-4.87%202.656%204.87%202.657%203.985-2.174v3.06h.885v-3.543m-7.969%201.851v1.771l3.1%201.691%203.098-1.691v-1.77l-3.099%201.69z'%20style='fill:%23fff;fill-opacity:1;stroke-width:.442726'/%3e%3ccircle%20style='fill:%23009f1d;fill-opacity:1;stroke:%23fff;stroke-width:.379704;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:%23000'%20cx='54.151'%20cy='101.224'%20r='3.451'/%3e%3cpath%20d='m55.669%2099.387.659.664-3.075%203.104-1.634-1.649.66-.663.974.979%202.416-2.435'%20style='fill:%23fff;fill-opacity:1;stroke:none;stroke-width:.30061;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1'/%3e%3c/g%3e%3c/svg%3e)
Samson : un simulateur pour systèmes repartis et temps-réel
| Auteur / Autrice : | Laurent Toutain |
| Direction : | Alain Faure |
| Type : | Thèse de doctorat |
| Discipline(s) : | Sciences appliquées |
| Date : | Soutenance en 1991 |
| Etablissement(s) : | Le Havre |
Résumé
L'étude a été effectuée à l'institut national de la recherche en informatique et en automatique (INRIA) dans le projet Reflets. Dans cette thèse nous introduisons une nouvelle méthodologie pour la simulation des systèmes repartis et temps réel. Dans ce type de système pour que la simulation fournisse des résultats intéressants il faut que le modelé soit décrit algorithmiquement. Nous montrons que les formalises habituels (réseaux de file d'attente et réseaux de Petri) ne peuvent pas modéliser précisément de tels systèmes. Le formalisme processus/ressource, développe dans cette thèse, permet une approche objet dans la conception des modelés. Il permet surtout de représenter les contraintes et les conflits qui surviennent sur des ressources partagées dans la vie du système. Le simulateur Samson (« Simulation, Analyses and Monitoring of System and Open Networks ») est une bibliothèque de procédures 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 systèmes répartis et la simulation d'ordonnanceurs. Nous terminons la thèse par la modélisation de différents algorithmes d’ordonnancement.