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) |
|
| 15h20 | Coffee 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) |
| 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 |