Séminaire Mathématique de Béjaia
Volume 6, Numéro 1, Pages 47-49
2008-12-31

Implémentation Asynchrone Améliorée D’un Détecteur De Défaillances

Auteurs : Rebouh Nadjette .

Résumé

Les détecteurs de défaillances non fiables sont des mécanismes abstraits, qui incorporent des hypothèses temporelles, dans un système distribué asynchrone. Ils peuvent être implémentés en se basant sur des hypothèses temporelles faites sur le modèle de système ou sur la satisfaction d’une propriété comportementale sur le modèle d’échange de messages. L’objectif de ce travail est de proposer un nouveau protocole d’implémentation basé sur la propriété comportementale et évaluer ses performances.

Mots clés

Système distribué, Détecteurs de Défaillances non Fiable, Implémentation Asynchrone, Propriété Comportementale