-
11:00
The Marriage of COMPASS and MILS
-
Rance De Long
(The Open Group)
-
11:10
COMPASS in the D-MILS project - an experience report
-
Harald Ruess
(Fortiss GmbH)
-
11:20
Model Repair in Systems Design
-
Panagiotis Katsaros
(Aristotle University of Thessaloniki)
-
11:30
Model based safety assessment of space operations – toward integration of failure analysis of system and operation
-
Jean-Paul Blanquart
(Airbus DS)
-
11:40
A Statistical Approach for Timed Reachability in AADL Models
-
Harold Bruintjes
(RWTH)
-
11:50
The FoReVer MBSE solution for system composition correctness analysis
-
Silvia Mazzini
(Intecs)
