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