LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Новости » Аспиранты
https://pages.lip6.fr/Swan.Dubois

DUBOIS Swan

Кандидат наук
Подразделение : REGAL
Доцентhttps://pages.lip6.fr/Swan.Dubois
Научны(е)й руководител(и)ь : Sébastien TIXEUIL
Со-руководитель : POTOP-BUTUCARU Maria

Tolérer les fautes transitoires, permanentes et intermittentes

Un système réparti est un système constitué d'un ensemble d'unités de calcul autonomes dotées de capacités de communication afin de résoudre une tâche globale. Ce modèle est suffisament général pour décrire tout type de réseau physique (réseau local, réseau de capteurs, ...). Lorsque la taille d'un système réparti devient importante ou lorsque ce système est déployé dans un environnement non contrôlé, la probabilité que certains éléments du système subissent des fautes (panne, corruption de mémoire, piratage, ...) devient non négligeable. Ces fautes peuvent être classifiées en fonction de leur durée, de leur étendue et de leur nature. Dans cette thèse, nous nous intéressons aux systèmes répartis capables de tolérer simultanément plusieurs types de fautes à travers l'étude de trois problèmes fondamentaux. Nous présentons ainsi un protocole réparti simulant un registre atomique mono-écrivan multi-lecteurs en présence de fautes transitoires et de fautes permanentes de type crash. Ce protocole repose sur deux outils ré-utilisables : un protocole de communication et un système d'estampillage borné. Ensuite, nous proposons une étude de la synchronisation faible d'horloges logiques en présence de fautes transitoires et de fautes intermittentes Byzantines. Nous prouvons de nombreux résultats d'impossibilité et nous fournissons un protocole optimal dans les cas non couverts par ces résultats. Finalement, nous définissons trois nouveaux concepts de tolérance pour les systèmes répartis sujets à des fautes transitoires et des fautes intermittentes Byzantines. Nous donnons un protocole de construction d'une vaste classe d'arbres couvrants optimal selon ces trois concepts.
Защита диссертаций : 01.12.2011 - 14h30 - Site jussieu 25-26/105
Члены жюри :
Bertrand Ducourthial, Professeur des Universités, Université de Technologie de Compiègne [Rapporteur]
Ted Herman, Professeur, Université de l'Iowa [Rapporteur]
Carole Delporte-Gallet, Professeur des Universités, Université Paris Diderot
Rachid Guerraoui, Professeur, Ecole Polytechnique Fédérale de Lausanne
Nicolas Hanusse, Directeur de Recherche CNRS, Université de Bordeaux I
Pierre Sens, Professeur des Universités, UPMC Sorbonne Universités
Maria Potop-Butuccaru, Maître de Conférence (HDR), UPMC Sorbonne Universités
Sébastien Tixeuil, Professeur des Universités, UPMC Sorbonne Universités

1 Аспирант (Научны(е)й руководител(и)ь / Со-руководитель)

  • BOUCHARD Sébastien : Approches tolérantes aux fautes transitoires et byzantines dans les cohortes de robots

2 Кандидаты наук 2016 - 2019

Публикации 2009-2019

 Mentions légales
Карта сайта |