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) |
| 11h00 | Coffee 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) |
| 12h40 | Lunch |
| 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 |