Forum Méthodes Formelles Cycle de conférences

Groupe de Travail

" Méthodes formelles et sûreté de fonctionnement "

Mardi 26 Janvier 2016 Toulouse

• Inscription par mail Pôle AESE

Retransmis en direct :

• Grenoble Informations & Inscription
• Saclay Informations & Inscription

Programme

08h45 -08H55 Accueil des participants

08h55-09h00 « Courte introduction à la journée » Slides /Vidéo
Agusti Canals (CS Communication & Systèmes, Toulouse, France)

• 09h00-10h00 «  Formal methods for safety analysis  » Slides/Vidéo
  Holger Hermanns (Saarland University, Germany)
  
  
• 10h00-10h30 « Principes du langage AltaRica et des outils associés d'analyse de sûreté de fonctionnement »
  Pierre Bieber (ONERA, Toulouse, France) Slides /Vidéo
  
  
• 10h30-11h00 « La modélisation dysfonctionnelle à la DGA »
  Christophe Frazza (DGA/TA, Toulouse, France) Slides

11h00-11h15 : Pause Café

• 11h15-12h00 « Modélisation et analyses d’architecture IMA à l’aide d’AADL : analyses de sûreté de fonctionnement et génération de code »
  Julien Delange (Software Engineering Institute, Carnegie Mellon University, USA), Jérôme Hugues (ISAE SUPAERO, Toulouse, France)
  
  
• 12h00-12h30 « Fiabilité de mission d’un avion — Evaluation stochastique en opération »
  Karama Kanoun (LAAS-CNRS, Toulouse, France) Slides /Vidéo
  
  

12h30-14h00 : Pause Repas

• 14h00-15h00 « Safety Architect© : un outil MBSA (Model-Based Safety Analysis) et son application aux études de sûreté des systèmes de combat »
  Frédérique Vallée (All4Tec, Massy, France), Romain Palud (DCNS, Toulon, France) Slides /Vidéo
  
  
• 15h00-15h45 « DFTCalc: a Tool for Advanced Reliability, Availability, Maintenance and Safety Analysis »
  Enno Ruijters et Marielle Stoelinga (Twente University, The Netherlands) Slides /Vidéo
  
  

15H45-16h00 : Pause Café

• 16h00-16h45 « Safety, Dependability and Performance Analysis of Aerospace Systems using the COMPASS Toolset »
  Thomas Noll (RWTH Aachen University, Germany) Slides /Vidéo
  
  

16H45-17h30 : Table Ronde animée par Gérard Ladier (Pôle Aerospace Valley & IRT Saint-Exupéry, Toulouse, France) Vidéo
« Méthodes formelles et sûreté de fonctionnement, quels débouchés industriels ? »

home