Use of formal methods in critical systems conference

by Admin in Certification, Events – October 16, 2012

This conference will take place in Toulouse on November the 12th. It is in French as is the announcement providing more details below:

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 programmation d’un 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 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 conférence de ce cycle aura lieu le mardi 13 Novembre 2012 à l’IAS, 23 Avenue Edouard Belin, Toulouse, sur le thème de “l’Utilisation des méthodes formelles dans les systèmes critiques”.

Ordre du jour:

08h45-09h00 : Accueil (Objectifs …) Agusti Canals (C-S), Sylvain Prudhomme (Airbus)
09h00-09h30 : Les méthodes formelles dans le cycle de vie Virginie Wiels (ONERA)
09h30-10h30 : Trois décennies de réussite en méthodes formelles Hubert Garavel (Inria)
10h30-11h00 : Table ronde “quels freins à l’utilisation des méthodes formelles ” avec Hubert Garavel, Virginie Wiels, François Bustany (Systerel), Marc Antoni (SNCF), Jean Souyris (Airbus) animé par Gérard Ladier (Aerospace Valley)
11h00-11h30 : Pause
11h30-12h15 : Retour d’expérience dans l’Aéronautique Jean Souyris
12h15-12h30 : Débat avec la salle animé par Michael Dierkes (Rockwell)
12h30-14h00 : Repas (à la charge des participants)
14h00-14h45 : Retour d’expérience dans le ferroviaire François Bustany
14h45-15h00 : Débat avec la salle animé par Agusti Canals
15h00-15h45 : Validation formelle des données Christophe Métayer (Systerel)
15h45-16h00 : Débat avec la salle animé par Patrick Farail (Airbus)
16h00-16h30 : Pause
16h30-17h30 : Conclusion/Perspectives et débat animé par Virginie Wiels et Agusti Canals

La participation est gratuite mais l’inscription obligatoire auprès de Francine Decavele (decavele@aerospace-valley.com)

Reposted from open-DO (http://www.open-do.org/2012/10/16/use-of-formal-methods-in-critical-systems-conference/)

comments powered by Disqus