FORUM METHODES FORMELLES "Véhicules Autonomes et Méthodes Formelles "

Toulouse - LAAS
10 Octobre 2017 - du 08:45 au 17:00

Les animateurs du DAS Systèmes Embarqués, avec le soutien du thème IFSE du RTRA AE/SE, ont le plaisir de vous annoncer la poursuite du cycle de conférences techniques sur les méthodes formelles de développement. Non, ne partez pas tout de suite : les méthodes formelles sont faites pour vous !

Ces méthodes ne sont pas assez connues mais ont un potentiel énorme pour faire progresser la productivité ET la qualité intrinsèque des développements de logiciels embarqués et de leurs outils de développement et de vérification. Et elles ne sont pas si difficiles à mettre en œuvre : certains l’ont déjà fait, avec succès, pourquoi pas vous ?

Nous vous proposons donc ce cycle de conférence/forum unique en France pour vous présenter bien sûr les fondements théoriques de ces méthodes, mais surtout faire un état de l’art et de la pratique, démystifier, échanger, et pourquoi pas monter ensemble des projets pour « passer à l’acte » ? Les intervenants sont à la fois des scientifiques et universitaires les plus compétents dans ces domaines et des utilisateurs « de terrain » qui ont déjà pratiqué ces méthodes et vous livreront leurs retours d’expérience.

La huitième conférence de ce cycle aura lieu le 10 octobre prochain, dans la salle de conférence du LAAS-CNRS et sera retransmise en direct à Grenoble,  Saclay et Rennes.

Son thème sera : «Véhicules Autonomes et Méthodes Formelles». Au programme :


La voiture autonome : développements en cours, problématiques                                               Serge Boverie (Continental Automotive, Toulouse, France)

Formal methods will not prevent self-driving cars from having accidents                                    Thierry Fraichard (INRIA, Grenoble, France)

Analyse fonctionnelle des systèmes cyber-physiques avec incertitudes                                       Goran Frehse (Verimag, Grenoble, France)

Apport d'Altarica pour la sécurité du binage autonome                                                               Jean-Loup Farges (ONERA, Toulouse, France)

FORCES3 : Formal engineering for certified control-command embedded systems                      Claire Pagetti (ONERA, Toulouse, France)

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

Validation and verification of time properties of the functional level of autonomous vehicles      Félix Ingrand (LAAS-CNRS, Toulouse, France)

Development and Formal Verification of a Micro-Glider Flight Stack with SPARK                          Emanuel Regnath (Technical University of Munich, Munich, Germany)

Méthodes formelles au service de la voiture autonome                                                                  Vassil Todorov (PSA, Paris, France)

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


Voir le programme détaillé ici

Pour vous inscrire, vous devez:

  • Cliquez sur ce lien
  • Remplir ce formulaire en ligne  en indiquant François VERNADAT comme référent au LAAS (Afin de faciliter votre entrée au LAAS)
  • Date limite d'inscription: 3 octobre 2017