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 COPMASS 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.