Mémoires de Fin d’Etudes
Etablissement
Université de Béjaia - Abderrahmane Mira
Affiliation
Département d’Informatique
Auteur
Nadjette, Rebouh
Directeur de thèse
Achour, Mostefaoui (Professeur)
Filière
Informatique
Diplôme
Magister
Titre
Evaluation par simulation d’un mécanisme de détection de défaillances dans un système distribué asynchrone
Mots clés
Tolérance aux fautes; Détecteurs de défaillances; Évaluation des performances; Système distribue asynchrone; Système distribue synchrone; Étude probabiliste; Simulation
Résumé
La correction d’un protocole implémentant un détecteur de défaillances dépend étroitement de la famille d’implémentation utilisée.Pour une approche basée sur le temps physique, sa correction est assurée par les hypothèses temporelles faites sur le modèle de système.Cependant dans une approche purement asynchrone, la correction dépend de la satisfaction d’une propriété comportementale sur le modèle d’échange de messages.L’hybridation de ces deux approches donne naissance à une troisième famille qui combinent leurs caractéristiques et par conséquent sa correction sera garantie par les hypothèses temporelles ou la satisfaction de la propriété comportementale sur le modèle.L’objectif est de compléter les études analytiques faites sur l’évaluation des performances d’un mécanisme de détection de défaillances basé sur une propriété comportementale d’un système asynchrone.Les études effectuées sur les limites ont été étudiés avec une certaine amélioration.Un simulateur a été construit ou il est possible de paramétrer les délais de communication et l’a-synchronie entre les communication et l’a synchronie entre les comportement s des différents processus qui constituent le système simulé
Date de soutenance
2006
Cote
004M/37
Pagination
96 f.
Format
30 cm
Notes
Bibliogr. f.87-96
Statut
Soutenue