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.
For details, please read through the about, publications and tools.
Screenshots of current COMPASS Prototype Toolset (April 2009):
