Model-checking du délai dans les éléments réseaux

Ben Nasr, Sami (2011). « Model-checking du délai dans les éléments réseaux » Mémoire. Montréal (Québec, Canada), Université du Québec à Montréal, Maîtrise en informatique.

Fichier(s) associé(s) à ce document :

Prévisualisation	PDF Télécharger (1MB)

Résumé

La responsabilité des routeurs s'engage lorsque les machines hôtes envoient leurs paquets dans le réseau. Les routeurs auront donc la fonction de transmettre ces paquets sur les liens pour les acheminer vers la destination déterminée. Cependant, comme le routeur traite les paquets séparément, la performance du routeur dépend donc du temps de traitement pour chaque paquet. Avec une charge de trafic, il est possible d'optimiser efficacement le traitement des paquets dans le routeur. Notre attention sera portée sur l'évaluation du délai de bout-en-bout dans le réseau End-to-End. Ce mémoire propose donc un modèle qui consiste à évaluer et vérifier les délais des paquets dans les routeurs par la méthode de vérification de modèles (Model-Checking). ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : vérification de modèles, Model-Checking, réseaux, routeur, délai.

Type:	Mémoire accepté
Informations complémentaires:	Le mémoire a été numérisé tel que transmis par l'auteur
Directeur de thèse:	Villemaire, Roger
Mots-clés ou Sujets:	Délai d'exécution, Model-checking (Informatique), Réseau d'ordinateurs, Routeur (Réseaux d'ordinateurs)
Unité d'appartenance:	Faculté des sciences > Département d'informatique
Déposé par:	Service des bibliothèques
Date de dépôt:	06 sept. 2011 13:28
Dernière modification:	01 nov. 2014 02:19
Adresse URL :	http://archipel.uqam.ca/id/eprint/4013

Modifier les métadonnées (propriétaire du document)

Statistiques