Menu:

Sponsors

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