Dear COMPASS-interested,
You receive this mail because you have shown interest in the COMPASS toolset.
With this email, the COMPASS consortium consisting of RWTH Aachen University, Fondazione Bruno Kessler and Thales Alenia Space is announcing the first public release of the COMPASS toolset. Version 2.1 is now freely available for download on our website to anyone within the member states of the European Space Agency. The URL is
http://compass.informatik.rwth-aachen.de/download.html
The COMPASS project started in 2008 and has been active since then. This release is the result of a nearly three-year joint academic-industrial research and development effort in state of the art model checking, requirements validation, performance evaluation, safety & dependability analysis and architectural modelling. The details about this are elaborated in our journal paper titled "Safety, Dependability and Performance Analysis of Extended AADL models" published in Oxford's Computer Journal of March 2010:http://comjnl.oxfordjournals.org/content/early/2010/03/17/comjnl.bxq024
As recipients of this email you are automatically subscribed to announcement mailinglist of the COMPASS project. To unsubscribe, please visit https://mailman.rwth-aachen.de/mailman/listinfo/compass-announce
Sincerely,
The COMPASS team