STAE TOULOUSE

L'actualité de la formation

L'utilisation des méthodes formelles dans les systèmes critiques

Le 10 octobre 2012, Conférence.

Le 13 novembre 2012

Le chantier d'animation scientifique IFSE soutenu par la FCS STAE, et les animateurs du DAS Systèmes Embarqués Aérospace Valley, organisent une conférence dans le cadre d'un cycle de conférences techniques sur les méthodes formelles de développement,

le 13 novembre 2012
à l'IAS, 23 avenue Edouard Belin, 31400 TOULOUSE

La participation est gratuite mais l'inscription est obligatoire.

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

Renseignements et inscriptions

Retour