Focus on:  Hide Contributions
Back to Conference View
Login

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
Support
    • Vision for COMPASS Future
      • 1
        ESA Vision
        Speaker: Mr Marcel Verhoef (ESA/ESTEC)
        Presentation
      • 2
        FBK Vision
        Speaker: Mr Alessandro Cimatti (FBK)
        Presentation
      • 3
        RWTH Vision
        Speaker: Mr Joost-Pieter Katoen (RWTH)
        Presentation
    • Current State
      • 4
        Error Modelling in COMPASS
        Speaker: Mr Harold Bruintjes (RWTH)
        Presentation
      • 5
        Safety Assessment in COMPASS
        Speaker: Mr Marco Bozzano (FBK)
        Presentation
      • 6
        Contract based verification of AADL Models
        Speaker: Mr Stefano Tonetta (FBK)
        Presentation
      • 7
        Fault propagation modelling and analysis via TFPG
        Speaker: Mr Benjamin Bittner (FBK)
    • 10:30
      Coffee Break
    • Open Challenges and Future Directions
      • 8
        The Marriage of COMPASS and MILS
        Speaker: Mr Rance De Long (The Open Group)
        Presentation
      • 9
        COMPASS in the D-MILS project - an experience report
        Speaker: Mr Harald Ruess (Fortiss GmbH)
        Presentation
      • 10
        Model Repair in Systems Design
        Speaker: Mr Panagiotis Katsaros (Aristotle University of Thessaloniki)
        Presentation
      • 11
        Model based safety assessment of space operations – toward integration of failure analysis of system and operation
        Speaker: Mr Jean-Paul Blanquart (Airbus DS)
        Presentation
      • 12
        A Statistical Approach for Timed Reachability in AADL Models
        Speaker: Mr Harold Bruintjes (RWTH)
        Presentation
      • 13
        The FoReVer MBSE solution for system composition correctness analysis
        Speaker: Ms Silvia Mazzini (Intecs)
        Presentation
    • 14
      Open Discussion
    • 15
      Round-up and Closing Remarks
Powered by Indico v3.3.3