• Edit

Alice Martin

doctorante à l'ENAC

Thursday November 24th, 2022, 14h, amphi Boucher, ENAC.

Soutenance de thèse: Concepts et outils pour l’informatique de l’interaction

Jury:
M. Stéphane HUOT, Rapporteur, Université Paris Saclay
M. Michel BEAUDOUIN-LAFON, Rapporteur, INRIA Lille
M. Simone MARTINI, Examinateur, Université de Bologne\\ Mme Virginie WIELS, Examinatrice, ONERA
M. Stéphane CONVERSY, Directeur de thèse, ENAC
M. Mathieu MAGNAUDET, Co-directeur de thèse, ENAC

Mots-Clés: interaction, programmation, calculabilité, épistémologie de l’informatique, causalité, compréhension de code

Abstract: Les systèmes informatiques actuels au coeur des systèmes critiques, notamment le transport aérien, sont caractérisés par de multiples interactions, ou couplages forts, entre les opérateurs humains, les dispositifs physiques et les logiciels. La conception de ces systèmes nécessite de prêter attention aux relations causales entre les différents processus impliqués. Par conséquent, il ne s’agit plus de concevoir des systèmes d’entrée/sortie pour lesquels l’algorithme doit être créé, mais de spécifier des réseaux dynamiques de processus hétérogènes en interaction. En conséquence, ces systèmes informatiques ne peuvent plus être facilement appréhendés dans le cadre théorique classique : la théorie de la calculabilité, héritée des travaux de Turing et Church. Les événements asynchrones, les flux d’exécution indépendants, la création dynamique d’objets, ou encore les processus d’attente passive posent des difficultés spécifiques dans la modélisation et la pratique. L’objectif principal de cette thèse est d’examiner la possibilité d’un nouveau cadre théorique pour l’informatique interactive afin de mieux la caractériser, en suivant un programme de recherche qui vise à définir l’interaction. Sonder la question de l’interaction se situe à l’intersection entre l’interaction homme-machine et les pratiques de programmation impliquées, l’épistémologie de l’informatique et l’informatique théorique. Nous cherchons à expliquer ce qui rend possible l’interaction dans un système informatique, autrement dit nous nous interrogeons sur les mécanismes sous-jacents. Nous proposons le concept de modèle d’exécution pour construire une telle explication. Parmi les exigences, nous définissons la nécessité d’un composant que nous appelons un “orchestrateur causal”. La conséquence de cette réflexion épistémologique est de motiver, guidée par une étude auprès de programmeurs, une approche visant à outiller un langage dédié à l’interaction. A travers un ensemble de techniques d’interaction au sein d’un éditeur de code, Causette, nous proposons d’aider le programmeur à comprendre les relations causales d’un programme.