Offre de thèse : Vérification formelle de systèmes interactifs par approche déductive
L’objectif de cette thèse est de contribuer à la vérification formelle des propriétés graphiques sur les langages réactifs en développant une approche déductive reposant sur le calcul des plus faibles préconditions. Cet objectif est original car d’une part l’approche vise à adapter aux
langages réactifs une approche de vérification formelle qui est classique dans le domaine des langages impératifs ; et d’autre part elle cherche à vérifier formellement des propriétés
relatives à l’interface homme-machine, particulièrement les propriétés graphiques.
Mots clefs : Logiciels réactifs, Vérification formelle déductive, Plus faible précondition
Lieu : Ecole Nationale de l’Aviation Civile, Toulouse – France
Dates : Candidatures attendues jusqu’au 30/04/2022
Démarrage de la thèse prévu : octobre 2022
Durée : 3 ans
Stage M1 / 2A : Development of a drone piloting interface which adapts to feedback from physiological measures
The goal of this internship is to develop an “adaptive user interface” for piloting drones that can adapt to information from neuroergonomics (e.g. measures about fatigue). This will be done by using and amending the existing Paparazzi UAV Project. The Paparazzi Ground Control Station is an open source drone project that encompasses software and hardware autopilot capabilities for both rotary as well as fixed-wing UAVs. It is programmed in C++ with Qt 5.12+. As a first step towards an adaptative user interface for Paparazzi, the intern will be asked to propose sketches and/or animated prototypes of an adaptive interface using Figma or a similar tool. Based on these prototypes, the intern will then be asked to integrate them into the existing code of Paparazzi GCS. Changes in the code also require updating the documentation.
Encadrants : Marcel Hinss, Anke Brock, Raphaelle Roy
Contact : marcel.hinss@isae-supaero.fr, anke.brock@enac.fr, raphaelle.roy@isae-supaero.fr
Lieu du stage : Toulouse–Ecole Nationale de l’Aviation Civile (ENAC).
Durée du stage : de 3 mois selon les possibilités du stagiaire et les contraintes de la formation.
We are looking for prospective Master and Ph.D students to do research with us. Please get in touch with us so that we can explore possible fundings or apply to the opened positions if any.
