Forum Méthodes Formelles Cycle de conférences

Utilisation des méthodes formelles dans les systèmes critiques

2012/11/13 - IAS

• 08h45-09h00 : Accueil (Objectifs …) Agusti Canals (CS Communication & Systèmes), Sylvain Prudhomme (Airbus) slides
• 09h00-09h30 : Les méthodes formelles dans le cycle de vie - Virginie Wiels (ONERA) slides
• 09h30-10h30 : Trois décennies de réussite en méthodes formelles - Hubert Garavel (Inria) slides
• 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 (Airbus) slides
• 12h15-12h30 : Débat avec la salle animé par Michael Dierkes (Rockwell)
• 14h00-14h45 : Retour d’expérience dans le ferroviaire - François Bustany slides
• 14h45-15h00 : Débat avec la salle animé par Agusti Canal
• 15h00-15h45 : Validation formelle des données - Christophe Métayer (Systerel) slides
• 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 slides

home