Vous êtes ici

Forum Méthodes Formelles#8

Forum Méthodes Formelles#8

10
Oct
Innovation

Groupe de travail

 

Forum Méthodes Formelles

"Véhicules autonomes et méthodes formelles"

 

Le forum est consacré aux 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 un cycle de conférence/forum 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 seront à 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 première édition du Forum Méthodes Formelles (FMF) a eu lieu à Toulouse fin 2012 à l'initiative du DAS SE2L du pôle Aerospace Valley et du thème IFSE du RTRA STAE . De nouveaux partenaires ont rejoint l'organisation du forum depuis : pôle Minalogic en 2013, labex Digicosme en 2014, pôle Systematic en 2015, pôle Images & Réseaux en 2017. FMF est devenu un groupe de travail d' Embedded France en 2015.
 

Deux sessions du forum sont organisées annuellement. Les conférences ont lieu à Toulouse au LAAS-CNRS et sont retransmises en direct à Grenoble au centre INRIA Rhône Alpes, à Rennes au centre INRIA Bretagne Atlantique ainsi que sur le campus de Saclay.

 

 

 

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)

16h30-17h00 «  SynC Contest: an Automatic Driving Challenge using Model-based Design and Synchronous Programming »
Mihaela Sighireanu (LIAFA/Université Paris Diderot, Paris, France)

 

Programme détaillé

 

Inscription

Date

De 10/10/2017 - 08:45 au 10/10/2017 - 17:00

Lieu

INRIA Montbonnot - 655, Avenue de l’Europe - 38330 Montbonnot-Saint-Martin