Name: COMPASS Workshop
Start: 2015-10-22T08:30:00+00:00
End: 2015-10-22T13:00:00+00:00
Location: ESA/ESTEC

COMPASS Workshop

Thursday 22 October 2015 - 08:30

Monday 19 October 2015
Tuesday 20 October 2015
Wednesday 21 October 2015
Thursday 22 October 2015
08:30
08:30 - 09:30
Room: Escape Dance Room
Contributions

08:30 ESA Vision - Marcel Verhoef (ESA/ESTEC)

08:50 FBK Vision - Alessandro Cimatti (FBK)

09:10 RWTH Vision - Joost-Pieter Katoen (RWTH)
09:30
09:30 - 10:30
Room: Escape Dance Room
Contributions

09:30 Error Modelling in COMPASS - Harold Bruintjes (RWTH)

09:45 Safety Assessment in COMPASS - Marco Bozzano (FBK)

10:00 Contract based verification of AADL Models - Stefano Tonetta (FBK)

10:15 Fault propagation modelling and analysis via TFPG - Benjamin Bittner (FBK)
10:30 Coffee Break
Coffee Break
10:30 - 11:00
Room: Escape Dance Room
11:00
11:00 - 12:00
Room: Escape Dance Room
Contributions

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)
12:00 Open Discussion
Open Discussion
12:00 - 12:45
Room: Escape Dance Room

12:45 Round-up and Closing Remarks
Round-up and Closing Remarks
12:45 - 13:00
Room: Escape Dance Room

Choose timezone