Ce projet de recherche doctorale est publié a été réalisé par Antoine GENITRINI

Description d'un projet de recherche doctoral

Analyse quantitative de la concurrence. Application à la vérification statistique de modèle dans les systèmes de grandes tailles.

Mots clés : Concurrence   Génération Aléatoire   Combinatoire  

Résumé du projet de recherche (Langue 1)

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.

Résumé du projet de recherche (Langue 2)

 

Informations complémentaires (Langue 1)

 

Informations complémentaires (Langue 2)