| 9h00: |
Opening Session |
| 9h15: |
Tutorial: Model Based Safety Analysis
Christel Seguin (ONERA, France)
|
| 10h15: |
Coffee Break
|
| 10h30: |
Needs for Model-based Assessment of Timed Failure
Propagation & Failure Handling Mechanisms
D. Thomas, J.P. Blanquart (ASTRIUM Satellites, France)
|
| 11h05: |
Model Based System Engineering for Safety Critical
Systems-Interface between MBSE and MBSA
G. Hoefer, (EADS APSYS, Spain)
|
| 11h40: |
Models for Software Development
L. Casagrande (EADS APSYS, France)
|
| 12h15: |
Lunch Break
|
| 14h00: |
An Integrated Approach of Model based Safety Engineering
T. Friedlhuber (EDF & Ecole Polytechnique, France)
|
| 14h35: |
RAPP: Approach for Risk Prognosis on Electronic
Control Units in the Use Phase
S. Bracke, J. Michalski (University of Wuppertal, Germany)
|
| 15h10: |
RELSYS Methodology and Software: the Whole Processing
Chain of the Calculation of Reliability Parameters of a System by its components
J. De Reffye (Pi-Ramses, France)
|
| 15h45: |
Coffee Break
|
| 16h00: |
A Minimalist Formal Framework for Systems Architecting
B. Golden, Y. Hourdel (Ecole Polytechnique, France)
|
| 16h35: |
Multi-objective Architecture Optimisation for Dependable
Systems
Z. Mian, L. Bottaci, Y. Papadopoulos (The University of Hull, UK)
|
| 17h05: |
End of the session
|
| 18h00: |
Welcome Cocktail
The Versailles Hotel de Ville
|