LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Tin tức » Nghiên cứu sinh
https://pages.lip6.fr/Swan.Dubois

DUBOIS Swan

Tiến sĩ
Nhóm nghiên cứu : REGAL
Giảng viênhttps://pages.lip6.fr/Swan.Dubois
Ban lãnh đạo nghiên cứu : Sébastien TIXEUIL
Đồng hướng dẫn : 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.
Bảo vệ luận án : 01-12-2011 - 14h30 - Site jussieu 25-26/105
Hội đồng giám khảo :
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 Nghiên cứu sinh (Ban lãnh đạo nghiên cứu / Đồng hướng dẫn)

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

2 Tiến sĩ 2016 - 2019

Bài báo khoa học 2009-2019

 Mentions légales
Sơ đồ site |