formation par la recherche / formation doctorale / enseignement, stages / sujets de thèses

Sûreté de fonctionnement et contraintes temporelles

Localisation :Irisa, Rennes

Equipe ADP

Responsables :

M. Hurfin	(tél. direct : 02 99 84 75 12, email : hurfin@irisa.fr)
A. Mostéfaoui	(tél. direct : 02 99 84 71 96, email : mostefao@irisa.fr)

Mot-clés : Système réparti asynchrone, tolérance aux défaillances, communication de groupe, panne franche, contraintes temporelles, terminaison, approche probabiliste.

Financement : A définir.

Sujet : Pour de nombreuses applications critiques, la sûreté de fonctionnement est un critère de qualité de service essentiel. Depuis deux ans, un des axes de recherche du projet ADP est consacré à la conception et au développement de services permettant de garantir cette contrainte non-fonctionnelle dans un environnement répartie asynchrone. La tolérance aux défaillances peut être obtenue en dupliquant des composants du système. Le maintien de la cohérence entre les copies d'un même composant nécessite alors des prises de décision unanimes au sein du groupe de copies. L'absence d'horloges synchronisées et l'absence de bornes sur les temps de transfert des messages rend ces prises de décision complexes.

Dans l'approche que nous avons adoptée, tous les services destinés à gérer un groupe de copies (diffusion ordonnée, gestion de la composition du groupe) sont conçus comme des instances d'un service d'accord générique qui ne requiert pas de détecteurs de défaillances fiables. Dans le cadre de cette thèse, nous souhaitons enrichir la solution proposée afin de pouvoir prendre en compte des contraintes temporelles. Or, sans hypothèses supplémentaires, l'approche adoptée pour résoudre les problèmes d'accord ne permet pas de borner le délai nécessaire à une prise de décision (en période de fort asynchronisme). L'objectif de cette thèse est donc de maîtriser la terminaison des protocoles exécutés en permettant de gérer au mieux une durée maximale d'exécution via une approche probabiliste.