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, October 22, 2015 - 8:30 AM

Monday, October 19, 2015
Tuesday, October 20, 2015
Wednesday, October 21, 2015
Thursday, October 22, 2015
8:30 AM
8:30 AM - 9:30 AM
Room: Escape Dance Room
Contributions

8:30 AM ESA Vision - Marcel Verhoef (ESA/ESTEC)

8:50 AM FBK Vision - Alessandro Cimatti (FBK)

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

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

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

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

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

11:00 AM The Marriage of COMPASS and MILS - Rance De Long (The Open Group)

11:10 AM COMPASS in the D-MILS project - an experience report - Harald Ruess (Fortiss GmbH)

11:20 AM Model Repair in Systems Design - Panagiotis Katsaros (Aristotle University of Thessaloniki)

11:30 AM Model based safety assessment of space operations – toward integration of failure analysis of system and operation - Jean-Paul Blanquart (Airbus DS)

11:40 AM A Statistical Approach for Timed Reachability in AADL Models - Harold Bruintjes (RWTH)

11:50 AM The FoReVer MBSE solution for system composition correctness analysis - Silvia Mazzini (Intecs)
12:00 PM Open Discussion
Open Discussion
12:00 PM - 12:45 PM
Room: Escape Dance Room

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