001029500
100  $a20120307                 y50      
101  $afre
2001 $aEvaluation par simulation d'un mécanisme de détection de défaillances dans un système distribué asynchrone$bressource électronique
210  $aUniversité de Béjaia - Abderrahmane Mira  : Département d'Informatique$cUniversité de Béjaia - Abderrahmane Mira $d2006
215  $a96 f.$d30 cm
328 1$bMagister$cInformatique$eDépartement d'Informatique , Université de Béjaia - Abderrahmane Mira $d2006
330  $aLa 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é
337  $aBibliogr. f.87-96
610  $aTolérance aux fautes
610  $a Détecteurs de défaillances
610  $a Évaluation des performances
610  $a Système distribue asynchrone
610  $a Système distribue synchrone
610  $a Étude probabiliste
610  $a Simulation
700  $a Nadjette, Rebouh
701  $aArray
801 0$aDZ$bCERIST PNST
901$ac
990  $a004M/37