|
IWMBSA'13 Program
25-27 March 2013
Wednesday, March 27th
| 9h00: |
A Hybrid Modeling/Simulation Approach for
Solving CI Interdependency Issues
C. Nan, W. Kroger (ETH, Zurich)
|
| 9h35: |
The Stochastic Simulator of the AltaRica 3.0 Project
M. Batteux, A. Rauzy (Ecole Polytechnique, France)
|
| 10h10: |
Coffee Break
|
| 10h25: |
RESUS: A new software platform for REpository Simulation,
Uncertainty propagation and Sensitivity Analysis
X. Li, E. Plischke, K.J. Rohlig (TU-Clausthal, Germany)
|
| 11h00: |
Towards a Transition Approach from a Functional Model
in SysML with Harmony Revisited Methodology to Fault Trees
P. Mauborgne (PSA-Peugeot Citroen & Universite de Lorraine, France),
M. Labe, A.-S. Smouts, N. Stojanovic (NEXTER Systems, France)
|
| 11h35: |
Some Advances in Sequence Generation Algorithms
L. Quéran (Dassault Systèmes, France)
|
| 12h10: |
Lunch Break
|
| 14h00: |
Tutorial: Requirements Engineering
Daniel Krob (Ecole Polytechnique, France)
|
| 15h00: |
A Scientific Tool for Analysis of Safety Parameters-based
on the Siemens Standard SN 29500, CENELEC and Military Handbook
O. Krini, J. Borcsök (University of Kassel, Germany)
|
| 15h35: |
Coffee Break
|
| 15h50: |
Supporting Safety Analysis Tightly based on System
Models: Return on Experience with two Classes of
Formalisms UML/SysML and Matlab/Simulink
F. Sadmi (ALL4TEC, France), A. Lanusse (CEA, France),
A. Alif (FAAR Industry, France),
Y. Laarouchi (Renault, France)
|
| 16h25: |
Comparison of Modeling Formalisms for Safety Analyses:
SAML and AltaRica
T. Prosvirnova,
A. Rauzy (Ecole Polytechnique, France),
S. Struck,
F. Ortmeier (Otto-von-Guericke Universität Magdeburgh, Germany)
|
| 17h00: |
End of the session
|
|