COMPASS Workshop
Escape Dance Room
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.
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
