|
IWMBSA'13 Program
25-27 March 2013
Tuesday, March 26th
| 9h00: |
Markovian Agents Models for Wireless Sensor Networks
Deployed in Environmental Protection
A. Bobbio (Universita Piemonte Orientale, Italy),
D. Cerotti, M. Gribaudo (Politecnico di Milano, Italy)
|
| 9h35: |
Available Assessment of a Complex System using Limited
Built of Markov Chain
P.A. Brameret, J.M. Roussel (ENS Cachan, France),
A. Rauzy (Ecole Polytechnique, France)
|
| 10h10: |
Coffee Break
|
| 10h25: |
Model Checking Hybrid Petri-nets with a general
one-shot Transition
H. Ghasemieh, A. Remke, B. Haverkort
(University of Twente, Netherlands)
|
| 11h00: |
Using SysML Formalism for Safety Analysis Based
on Formal Verification
N. Yakymets, A. Lanusse (CEA, France)
|
| 11h35: |
Conceptualisation of Industrial Safety Assurance
Activities: Towards Computer-aided Certification:
The OPENCOSS Project
K. Attwood (University of York),
F. Belmonte (Alstom Transport),
T. Kelly (University of York),
L. de la Beaujardière, A. Palermo
(Alstom Transport)
|
| 12h10: |
Lunch Break
|
| |
Tools Sessions (4 parallel sessions)
|
| 13h45: |
HIP-HOPS
Martin Walker
(University of Hull)
|
SIMFIA
Zina Brick
(EADS APSYS)
|
SAML
Franck Ortmeier
(Otto-von-Guericke Universität, Magdeburg)
|
Safety Architect
François Chastrette
(ALL4TEC, France)
|
| 15h45: |
Coffee Break
|
| 16h00: |
GRIF Workshop
Cyrille Folleau
(SATODEV)
|
Safety Designer
Loïc Quéran
(Dassault Systemes)
|
arKItect
Samuel Boutin
(Knowledge Inside)
|
| 18h00: |
End of the sessions
|
| 19h30: |
Workshop Diner
La Flotille, The Palace Gardens
|
|