CIVIT Pierre

Docteur
Équipe : NPA
Date de départ : 16/01/2023
https://lip6.fr/Pierre.Civit

Direction de recherche : Maria POTOP-BUTUCARU

Spécification des systèmes distribués dynamiques probabilistes sécurisés

Cette thèse propose un modèle hiérarchique naturel pour les systèmes distribués dynamiques probabilistes. Le modèle étend les systèmes de transition d'états étiquetés capturant l'intuition d'un objet se déplaçant d'un état à un autre. Le modèle comprend: (1) une opération de composition parallèle, notée ||, permettant de représenter un nouvel object A||B issu de l'interaction entre deux objets A et B, (2) une relation de préordre <=, où A<=B signifie que l'objet A implémente l'objet B au sens d'une sémantique observationnelle, (3) la propriété de composabilité pour <=, c'est-à-dire A <= B implique C||A <= C||B, (4) une structure hiérarchique, c'est-à-dire qu'un système X, composé d'objets interagissant les uns avec les autres et pouvant rejoindre et quitter le système dynamiquement, est lui aussi un objet du modèle.
De plus, la thèse discute des conditions pour obtenir (5) La monotonicité (avec <=) de la création/destruction dynamique d’objets, c'est-à-dire que si (i) A <= B et (ii) X_A et X_B ne diffèrent que par le fait que X_A crée et détruit dynamiquement l'objet A au lieu de créer et détruire dynamiquement l'objet B comme le fait X_B, alors (iii) X_A <= X_B. Le modèle est décliné en plusieurs variantes: asynchrone, temporelle, bornée et permet une méthodologie modulaire de conception basée uniquement sur la notion de comportement observable de l’extérieur.

Soutenance : 15/12/2022

Membres du jury :

Paul ATTIE, Professeur, Augusta University [Rapporteur]
Stephan MERZ, Chercheur senior, INRIA Nancy [Rapporteur]
Damien VERGNAUD, Professeur, Sorbonne Université
Hagit ATTIYA, Professeure, Technion University
Vincent GRAMOLI Professeur Associé, University of Sydney
Rachid GUERRAOUI Professeur, EPFL
Achour MOSTEFAOUI Professeur, Nantes Université
Maria POTOP-BUTUCARU, Professeure, Sorbonne Université

Date de départ : 16/01/2023

Publications 2022

Mentions légales
Carte du site