Pôle AESE Pôle Minalogic Pôle Systematic

Forum Méthodes Formelles

Cycle de conférences

RTRA AESE/IFSE
Groupe de Travail Embedded France

Avant-propos

Ce 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 AESE . De nouveaux partenaires ont rejoint l'organisation du forum depuis : pôle Minalogic en 2013, labex Digicosme en 2014, pôle Systematic en 2015. 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 Rhone Alpes ainsi que sur le campus de Saclay

Programmation

Prochaine Journée : FMF7 - 31 Janvier 2017 Méthodes formelles et Cyber-Sécurité (Programme à venir)

Précédentes Journées (Présentations et vidéos)

Comité de programme

2016 : A.Canals (CS), J.P Blanquart (Airbus Defense and Space), N. Breton(Systerel), F. Bustany (Systerel), S. Duprat (Atos), H. Garavel (INRIA), G. Ladier (Aerospace Valley & IRT Saint-Exupéry), Y. Moy (Adacore), M. Pantel (IRIT), C. Paulin (LRI), G. Saint-Marcoux (Minalogic), J. Souyris (Airbus), F. Vernadat (LAAS-CNRS), V. Wiels (Onera).

2015 : A.Canals (CS), F. Bustany (Systerel), N. Breton(Systerel), S. Duprat (Atos), H. Garavel (INRIA), G. Ladier (Aerospace Valley), Y. Moy (Adacore), M. Pantel (IRIT), C. Paulin (LRI), G. Saint-Marcoux (Minalogic), P. Schnoebelen (LSV), J. Souyris (Airbus), F. Vernadat (LAAS-CNRS), V. Wiels (Onera).

2014 : A. Canals (CS), F. Bustany (Systerel), C. Comar (Adacore), E. Danoy (Systerel), S. Duprat (Atos), H. Garavel (INRIA), G. Ladier (Aerospace Valley), M. Pantel (IRIT), G. Saint-Marcoux (Minalogic), J. Souyris (Airbus), F. Vernadat (LAAS-CNRS), V. Wiels (Onera)

2013 : A. Arnold (Eads Innovation), F. Bustany (Systerel), C. Comar (Adacore), E. Danoy (Systerel), M. Dierkes (Rockwell Collins), S. Duprat (Atos), J. Souyris (Airbus), H. Garavel (INRIA), M. Heitz (CS), G. Ladier (Aerospace Valley), les 3 animateurs du chantier IFSE du RTRA AESE : M. Pantel (IRIT), F. Vernadat (LAAS-CNRS), V. Wiels (Onera), et les 3 animateurs ISAURE : A. Canals (CS), A. Griffault (Labri) et R. Vingerhoeds (Continental)

Contact


Enquête de satisfaction
#ForumMF
Last modified: (2015/12)