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 ? »