Application des méthodes formelles à la maîtrise du développement des systèmes embarqués sur le véhicule autonome

par Yann Duplouy

Projet de thèse en Informatique

Sous la direction de Serge Haddad.

Thèses en préparation à Paris Saclay , dans le cadre de Sciences et Technologies de l'Information et de la Communication , en partenariat avec Laboratoire Spécification et Vérification (laboratoire) et de École normale supérieure Paris-Saclay (Cachan, Val-de-Marne) (établissement de préparation de la thèse) depuis le 01-10-2015 .


  • Résumé

    En bref, cette thèse a pour vocation d'enrichir un model-checker existant pour lui permettre de modéliser et simuler des situations complexes de roulage. Les contrôleurs étant fournis du côté industriel en Simulink, il faut réaliser une formalisation des processus de simulation de Simulink pour pouvoir simuler de nous-mêmes dans un cadre parfaitement formé les contrôleurs fournis sous cette formalisation. L'objectif est donc de construire un environnement permettant d'estimer différentes propriétés de safety du véhicule autonome.

  • Titre traduit

    Application of formal methods to embedded systems development in autonomous vehicles


  • Résumé

    In this PhD, we are working on improving an existing model-checker, so it can realises different road situations and simulate the movement of vehicles on the road - including, more specifically, the autonomous vehicle we want to check. Autonomous vehicle controllers being realised within the Simulink formalism, it is also necessary to formalise the simulation process that is done within Simulink so our model-checker can more perfectly simulate the situation. The end goal of the work is to get a working environment that estimates various safety properties of the autonomous vehicle.