Fondements Logiques Des Systemes Distribues - Lyon, France - Université Grenoble Alpes

Université Grenoble Alpes

Entreprise vérifiée

Lyon, France

il y a 3 semaines

Posté par:

Sophie Dupont

beBee Recruiter

Description

**Fondements logiques des systemes distribues auto-adaptatifs // Logical Foundations of Self-Adapting Distributed Systems**:

- Réf
- **ABG-114800**

**ADUM-50234**
- Sujet de Thèse- 27/05/2023- Université Grenoble Alpes- Lieu de travail- Saint-Martin-d'Hères - France- Intitulé du sujet- Fondements logiques des systemes distribues auto-adaptatifs // Logical Foundations of Self-Adapting Distributed Systems- Mots clés- systemes distribues, logiques de graphes, raisonnement automatise, verification formelle
- distributed systems, graph logics, automated reasoning, formal verification**Description du sujet**:

- La reconfiguration est essentielle dans les systemes distribues modernes, tels les cloud ou les IoT. Par exemple, des processus peuvent etre crees ou effaces, ainsi que le reseau de communication peut changer au cours de l'execution. Les systemes auto-adaptatifs initient et effectuent les reconfigurations necessaires (par exemple, a l'optimisation du traffic sur un reseau interne) de maniere completement autonome.- En plus des travaux theoriques sur des logiques, une partie du travail de these sera alloue a l'implementation des outils de verification efficaces en pratique, bases sur le raisonnement automatise et le model checking.
Reconfiguration is an inherent aspect of modern distributed systems, such as clouds or IoT. Processes can be created or removed due to internal faults, redistribution of resources, workload or traffic changes. Moreover, the shape of the communication network may change. Self-adapting systems initiate and carry out reconfiguration sequences automatically, in order to avoid expensive or even mission-critical downtimes, required by manual reconfiguration.-
Début de la thèse : 01/10/2023**Nature du financement**:
**Précisions sur le financement**:

- Concours alllocations**Présentation établissement et labo d'accueil**:

- Université Grenoble Alpes**Etablissement délivrant le doctorat**:

- Université Grenoble Alpes**Ecole doctorale**:

- 217 MSTII - Mathématiques, Sciences et technologies de l'information, Informatique- Master (ou equivalent) en Informatique avec un bon niveau en informatique theorique: - theorie des automates, machines de Turing - logique propositionelle et de premier ordre - calculabilite et complexite Competences en programmation: - C, Java, C++ - developement et maintenance des projets (github)
- Master (or equivalent degree) in Computer Science with good theoretical level: - automata theory, Turing machines, - propositional and first-order logic - complexity theory Fluency in programming: - C, Java, C++ - development and maintenance of projects (github)-
- 11/06/2023