May, 2013

COMPASS 2.3 and the Graphical Modeller 1.0.9 is now released for everyone in ESA memberstates through the download section.

November, 2012

The COMPASS toolset is a pillar in the technological basis for the recently started Distributed MILS project funded by the European Union. Aim of D-MILS is to add security aspects to certify compositional and distributed system models.

April, 2012

The SLIM graphical drag-and-drop modeller 1.0.7 developed by Ellidiss Technologies and RWTH Aachen University is available through the download form.

January, 2012

The SLIM graphical drag-and-drop modeller developed by Ellidiss Technologies and RWTH Aachen University has been successfully completed. The binary and user manual are freely available for non-commercial use and evaluation purposes.

June, 2011

A project summary paper on Trustworthy Aerospace Systems is published in Issue 11 of Public Service Review: European Science and Technology.

June, 2011

The second public release of the COMPASS toolset (version 2.2) is now downloadable from the Tools & Download section for everyone within the ESA member states.

Welcome to COMPASS!

The COMPASS Project is an international research project for developing a theoretical and technological basis for the system-software co-engineering approach focusing on a coherent set of specification and analysis techniques for evaluation of system-level correctness, safety, dependability and performability of on-board computer-based aerospace systems. These techniques shall significantly improve the reliability of modern and future space missions.

The project is running since its kick-off in February 1st, 2008. The consortium consists of the chair of Software Modeling and Verification at the Institute of Computer Science of the RWTH Aachen University in Germany (project coordinator), research center Fondazione Bruno Kessler in Italy (research subcontractor), Thales Alenia Space in France (industrial subcontractor), European Space Agency (funder). The duration of the project is two years and has a total budget of half million euro.

In the beginning of 2011, an extension of the COMPASS project was commenced for building a graphical drag and drop modeller for the SLIM modelling language. The consortium consisted of RWTH Aachen University, Ellidiss Technologies and Thales Alenia Space. Total budget is hunderd thousand euro and it was completed in December 2011.

For details, please read through the about, publications and tools & download. Screenshots of COMPASS Toolset 2.0.1 are outlined below.

SimpleViewer requires JavaScript and the Flash Player. Get Flash