The COMPASS consortium consisting of RWTH Aachen University, Fondazione
Bruno Kessler and Thales Alenia Space is announcing a new public release
of the COMPASS toolset. Version 2.2 is now freely available for download
on our website to anyone within the member states of the European Space
Agency. The URL is
With respect to version 2.1, this release includes several bugfixes and
includes a new feature, Compact FMEA table generation.
In addition, the consortium is organising a half-day tutorial about
COMPASS at the 17th International Symposium on Formal Methods on the
21st of June 2011 at Limerick, Ireland. Senior project members are
present and available for any question. Late registration is still open.
The COMPASS team