Menu:

Sponsors

Workshop program

Tuesday, September 11, 2012

12h00 Welcome and Registration
 
12h30 Lunch
 
Integration of MBSA in design process - 1
14h00 Projet Build-IT-Safe.
Franck Sadmi and Frédérique Valley (ALL4TEC), Agnès Lanusse (CEA), Youssef Laarouchi (Renault), Adil Alif (FAAR Industry).
14h40 Model based system engineering for safety analysis of complex systems: the benefits of UML profile mechanisms implemented in Papyrus.
Hadi Jaber, Nataliya Yakymets and Agnes Lanusse (CEA)
 
15h20Coffee break
 
Integration of MBSA in design process - 2
15h40 Embedding Altarica into Alstom's MBSE process
Elie Soubiran, Fabien Belmonte Alstom Transport
16h20 Model-Based Approach for shared resources (IMA ...) safety analyses
Marion Morel (Thales)
17h00 Safety models generation to support Functional Hazard Assessment
Sébastien Maitrehenry and Sylvain Metge (Airbus), Yamine Ait Ameur (IRIT), Pierre Bieber (ONERA)

Wednesday, September 12, 2012

Methods and tools for the assessment and optimization of the system safety
9h00 DALculator: A Tool for Development Assurance Level Allocation
Pierre Bieber, Rémi Delmas and Christel Seguin (ONERA)
9h40 NuSMV3: a framework for model based safety assessment.
Cristian Mattarei, Marco Bozzano and Alessandro Cimatti (FBK)
10h20 Altarica for dynamic and time dependant FMECA process, as applied to highly and deeply reconfigurable systems in a concurrent operational mode.
Emmanuel Arbaretier (EADS-Apsys)
 
11h00Coffee break
 
MBSA in practice: lessons learnt
11h20 Model-based FDIR process
Jean-Paul Blanquart (Astrium), Ludovic Pintard (LAAS) and Christel Seguin (ONERA)
12h00 New DGA activities driven by model based safety analysis: Initial military rotorcraft qualification and accident investigation
Louis Vincent and Many Florian (DGA)
 
12h40Lunch
 
AltaRica extensions
14h00 Controllability extension of the AltaRica formalism.
Jonathan Sprauel, Christel Seguin, Florent Teichteil and Guillaume Infantes (ONERA)
14h40 BioRica : A platform to describe and simulate multi-models systems in biology.
David Sherman, Rodrigo Assar (LaBRI)
15h20 Discussion / synthesis of the workshop: weakness, strenght, novelties and futur of MBSA
Status about the modelling activities. Moderator Antoine Rauzy (LIX)
Status about the tools. Moderator Alain Griffault (LaBRI)
Status about the integration in the process / safety standards. Moderator Christel Seguin (ONERA)
16h00 End of MBSAW 2012