| 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 |