Description
Date depot: 2 avril 2018
Titre: Analyse quantitative de la concurrence. Application à la vérification statistique de modèle dans les systèmes de grandes tailles.
Encadrant :
Frédéric PESCHANSKI (LIP6)
Directeur de thèse:
Antoine GENITRINI (LIP6)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé:
La thèse envisagée consiste à étudier la concurrence d'un point de vue quantitatif à l'aide d'outils de combinatoire. Une telle étude apportera une parade au phénomène d'explosion combinatoire qui apparaît en model-checking des programmes concurrents.Deux grands axes sont envisagés :- d'une part un relâchement du cadre simplifié des structures séries-parallèles, étudiées dans les travaux précédents des encadrants, pour aller vers une classe plus expressive de programmes, impliquant l'introduction de nouveaux opérateurs sur les classes combinatoires.- d'autre part le rapprochement entre les modèles pour la concurrence non-entrelacée et les modèles entrelacés, les deux notions semblant se compléter de façon naturelle avec l'introduction du phénomène de synchronisation.
Doctorant.e: Pepin Martin