COMPASS Workshop

UTC
Escape Dance Room (ESA/ESTEC)

Escape Dance Room

ESA/ESTEC

Keplerlaan 1 2201 AZ Noordwijk Zh The Netherlands
Alessandro Cimatti (FBK) , Joost-Pieter Katoen (RWTH Aachen) , Marcel Verhoef (ESA/ESTEC)
Description

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.

Participants
  • Alessandro CIMATTI
  • Ana Rugina
  • Andreas Jung
  • Andrei Oganessian
  • Andrey Morozov
  • Andrii Kovalov
  • Benjamin Bittner
  • Cristiano Leorato
  • Daniel Silveira
  • Frank Ortmeier
  • Harald Ruess
  • Harold Bruintjes
  • Jean-Paul Blanquart
  • Joaquim Sanmartí
  • Joost-Pieter Katoen
  • Konstantinos Kapellos
  • Luigi Portinale
  • Marcel Verhoef
  • Marco Bozzano
  • Massimo Tipaldi
  • Maxime Perrotin
  • Michel Chaudron
  • Panagiotis Katsaros
  • Philipp M. Fischer
  • Pierre Dissaux
  • Rance DeLong
  • Régis de FERLUC
  • Silvia Mazzini
  • Stefano Tonetta
  • Thomas Bouvet
  • Thomas Noll
  • Tim Gonschorek
  • Victor Bos
  • Volker Schaus
  • Yuri Yushtein
    • 08:30 09:30
      Vision for COMPASS Future
      • 08:30
        ESA Vision 20m
        Speaker: Mr Marcel Verhoef (ESA/ESTEC)
        Presentation
      • 08:50
        FBK Vision 20m
        Speaker: Mr Alessandro Cimatti (FBK)
        Presentation
      • 09:10
        RWTH Vision 20m
        Speaker: Mr Joost-Pieter Katoen (RWTH)
        Presentation
    • 09:30 10:30
      Current State
      • 09:30
        Error Modelling in COMPASS 15m
        Speaker: Mr Harold Bruintjes (RWTH)
        Presentation
      • 09:45
        Safety Assessment in COMPASS 15m
        Speaker: Mr Marco Bozzano (FBK)
        Presentation
      • 10:00
        Contract based verification of AADL Models 15m
        Speaker: Mr Stefano Tonetta (FBK)
        Presentation
      • 10:15
        Fault propagation modelling and analysis via TFPG 15m
        Speaker: Mr Benjamin Bittner (FBK)
    • 10:30 11:00
      Coffee Break 30m
    • 11:00 12:00
      Open Challenges and Future Directions
      • 11:00
        The Marriage of COMPASS and MILS 10m
        Speaker: Mr Rance De Long (The Open Group)
        Presentation
      • 11:10
        COMPASS in the D-MILS project - an experience report 10m
        Speaker: Mr Harald Ruess (Fortiss GmbH)
        Presentation
      • 11:20
        Model Repair in Systems Design 10m
        Speaker: Mr Panagiotis Katsaros (Aristotle University of Thessaloniki)
        Presentation
      • 11:30
        Model based safety assessment of space operations – toward integration of failure analysis of system and operation 10m
        Speaker: Mr Jean-Paul Blanquart (Airbus DS)
        Presentation
      • 11:40
        A Statistical Approach for Timed Reachability in AADL Models 10m
        Speaker: Mr Harold Bruintjes (RWTH)
        Presentation
      • 11:50
        The FoReVer MBSE solution for system composition correctness analysis 10m
        Speaker: Ms Silvia Mazzini (Intecs)
        Presentation
    • 12:00 12:45
      Open Discussion 45m
    • 12:45 13:00
      Round-up and Closing Remarks 15m