COMPASS Workshop

Thursday, 22 October 2015 - 08:30
ESA/ESTEC (Escape Dance Room)

        : Sessions
    /     : Talks
        : Breaks
22 Oct 2015
AM
08:30
Vision for COMPASS Future (until 09:30) (Escape Dance Room)
08:30 ESA Vision - Mr Marcel Verhoef (ESA/ESTEC)   (Escape Dance Room)
Presentation
08:50 FBK Vision - Mr Alessandro Cimatti (FBK)   (Escape Dance Room)
Presentation
09:10 RWTH Vision - Mr Joost-Pieter Katoen (RWTH)   (Escape Dance Room)
Presentation
09:30
Current State (until 10:30) (Escape Dance Room)
09:30 Error Modelling in COMPASS - Mr Harold Bruintjes (RWTH)   (Escape Dance Room)
Presentation
09:45 Safety Assessment in COMPASS - Mr Marco Bozzano (FBK)   (Escape Dance Room)
Presentation
10:00 Contract based verification of AADL Models - Mr Stefano Tonetta (FBK)   (Escape Dance Room)
Presentation
10:15 Fault propagation modelling and analysis via TFPG - Mr Benjamin Bittner (FBK)   (Escape Dance Room)
10:30 --- Coffee Break ---
11:00
Open Challenges and Future Directions (until 12:00) (Escape Dance Room)
11:00 The Marriage of COMPASS and MILS - Mr Rance De Long (The Open Group)   (Escape Dance Room)
Presentation
11:10 COMPASS in the D-MILS project - an experience report - Mr Harald Ruess (Fortiss GmbH)   (Escape Dance Room)
Presentation
11:20 Model Repair in Systems Design - Mr Panagiotis Katsaros (Aristotle University of Thessaloniki)   (Escape Dance Room)
Presentation
11:30 Model based safety assessment of space operations – toward integration of failure analysis of system and operation - Mr Jean-Paul Blanquart (Airbus DS)   (Escape Dance Room)
Presentation
11:40 A Statistical Approach for Timed Reachability in AADL Models - Mr Harold Bruintjes (RWTH)   (Escape Dance Room)
Presentation
11:50 The FoReVer MBSE solution for system composition correctness analysis - Ms Silvia Mazzini (Intecs)   (Escape Dance Room)
Presentation
PM
12:00 Open Discussion   (Escape Dance Room)
12:45 Round-up and Closing Remarks   (Escape Dance Room)