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(a)lists.rwth-aachen.de (or simply reply to this e-mail).
Sincerely,
The COMPASS team
