Dear COMPASS-interested,

The COMPASS team consisting of RWTH Aachen University and Fondazione Bruno Kessler is announcing a new public release of the COMPASS toolset and an updated website.  COMPASS can now be found via

http://www.compass-toolset.org/

Version 3.0 is now freely available for download on our website to anyone within the member states of the European Space Agency via
http://www.compass-toolset.org/tools-download/

With respect to the previous COMPASS release, significant advancements have been made. COMPASS 3.0 is the outcome of a significant re-factoring carried out with ESA funding in the last year. It incorporates features from past projects such as AUTOGEF, FAME, HASDEL and CATSY, including:
* A modeling language (called SLIM 3.0) that is very close to AADL;
* Improved GUI for property specification and fault injection;
* TFPG (Timed Failure Propagation Graph) Analysis;
* Mission Specification;
* Contract based Validation;
* Hierarchical Fault Tree Generation;
* Monte Carlo Simulation;
* and more.

If you have any questions, you can contact us at compass-support@lists.rwth-aachen.de (or simply reply to this e-mail).

Sincerely,

The COMPASS team