COMPASS Workshop

Thursday 22 Oct 2015, 08:30 → 13:00 UTC

Escape Dance Room (ESA/ESTEC)

Alessandro Cimatti (FBK), Joost-Pieter Katoen (RWTH Aachen), Marcel Verhoef (ESA/ESTEC)

COMPASS is a toolset for the evaluation of system-level correctness, safety, dependability and performability of on-board computer-based aerospace systems. It supports a comprehensive process for system-software co-engineering, by covering Requirements Validation, Functional Correctness, Safety and Dependability Analysis, Performability Analysis, and has specific capabilities for the analysis and synthesis of Fault Detection, Identification and Recovery. The AADL-based input language allows for a natural modeling of the nominal and erroneous behaviours of discrete, timed and probabilistic systems. At its core, COMPASS integrates advanced model checking and probabilistic engines for the analysis of dynamic systems.

COMPASS has been developed since 2008, with funding of the European Space Agency, by Fondazione Bruno Kessler (FBK), Trento, and the RWTH Aachen, through the projects COMPASS, AUTOGEF, FAME, HASDEL, and CATSY.

LIMITED SEATS ARE AVAILABLE:
REGISTRATIONS WILL BE CONSIDERED ON A 'FIRST COME, FIRST SERVED' BASIS.

08:30 → 09:30 Vision for COMPASS Future

08:30 ESA Vision

Speaker: Mr Marcel Verhoef (ESA/ESTEC)

Presentation 01_verhoef.pdf

08:50 FBK Vision

Speaker: Mr Alessandro Cimatti (FBK)

Presentation 02_cimatti.pdf

09:10 RWTH Vision

Speaker: Mr Joost-Pieter Katoen (RWTH)

Presentation 03_katoen.pdf

09:30 → 10:30 Current State

09:30 Error Modelling in COMPASS

Speaker: Mr Harold Bruintjes (RWTH)

Presentation 04_bruintjes.pdf

09:45 Safety Assessment in COMPASS

Speaker: Mr Marco Bozzano (FBK)

Presentation 05_bozzano.pdf

10:00 Contract based verification of AADL Models

Speaker: Mr Stefano Tonetta (FBK)

Presentation 06_tonetta.pdf

10:15 Fault propagation modelling and analysis via TFPG

Speaker: Mr Benjamin Bittner (FBK)

10:30 → 11:00 Coffee Break

11:00 → 12:00 Open Challenges and Future Directions

11:00 The Marriage of COMPASS and MILS

Speaker: Mr Rance De Long (The Open Group)

Presentation 08_delong.pdf

11:10 COMPASS in the D-MILS project - an experience report

Speaker: Mr Harald Ruess (Fortiss GmbH)

Presentation 09_ruess.pdf

11:20 Model Repair in Systems Design

Speaker: Mr Panagiotis Katsaros (Aristotle University of Thessaloniki)

Presentation 10_katsaros.pdf

11:30 Model based safety assessment of space operations – toward integration of failure analysis of system and operation

Speaker: Mr Jean-Paul Blanquart (Airbus DS)

Presentation 11_blanquart.pdf

11:40 A Statistical Approach for Timed Reachability in AADL Models

Speaker: Mr Harold Bruintjes (RWTH)

Presentation 12_bruintjes.pdf

11:50 The FoReVer MBSE solution for system composition correctness analysis

Speaker: Ms Silvia Mazzini (Intecs)

Presentation 13_mazzini.pdf

12:00 → 12:45 Open Discussion

12:45 → 13:00 Round-up and Closing Remarks