Forum Methodes Formelles "Vehicules autonomes et methodes formelles"

10 Octobre 2017
Ajouter au calendrier
  • LAAS CNRS - Toulouse

Forum Méthodes Formelles "Véhicules autonomes et méthodes formelles"

Mardi 10 octobre de 8h45 à 17h

LAAS CNRS - Toulouse

Retransmis en direct à Grenoble, Saclay et à l'INRIA de Rennes.

Programme


08h45 -08H55 : Accueil des participants
08h55-09h00 : « Courte introduction à la journée »

Agusti Canals (CS Communication & Systèmes, Toulouse, France)

09h00-10h00 : Exposé Introductif «La voiture autonome : développements en cours, problématiques»
Serge Boverie (Continental Automotive, Toulouse, France)

Session : Analyse formelle des concepts opérationnels
10h00-10h30 «  Formal methods will not prevent self-driving cars from having accidents »
Thierry Fraichard (INRIA, Grenoble, France)

10h30-11h00 « Analyse fonctionnelle des systèmes cyber-physiques avec incertitudes »
Goran Frehse (Verimag, Grenoble, France)

11h00-11h30 : Pause Café

SEssion : Sûreté et sécurité formelle des systèmes

11h30-12h00 « Apport d'Altarica pour la sécurité du binage autonome  » (projet en collaboration avec Naio)
Jean-Loup Farges (ONERA, Toulouse, France)

12h00-12h30 « FORCES3 : Formal engineering for certified contr ol-command embedded systems »
Claire Pagetti (ONERA, Toulouse, France)

12h30-14h00 : Pause Repas

Session : Modélisation pour la vérification formelle

14h00-14h30 «  Deadlock free dispatching for fleets of vehicles  »
Franco Mazzanti, Alessio Ferrari and Giorgio O. Spagnolo (ISTI-CNR, Pisa, Italy)

14h30-15h00 « Validation and verification of time properties of the functional level of autonomous vehicles »
Félix Ingrand (LAAS-CNRS, Toulouse, France)

Session : Vérification formelle du code embarqué
15h00-15h30 « Development and Formal Verification of a Micro-Glider Flight Stack with SPARK  »
Emanuel Regnath (Technical University of Munich, Munich, Germany)

15h30-16h00 « Méthodes formelles au service de la voiture autonome  »
Vassil Todorov (PSA, Paris, France)

16h00-16h30 «  Sur la pratique des méthodes formelles par de non praticiens :  Autopsie d'un robot »
Eric Jenn (IRT Saint Exupéry, Toulouse, France)