COMPASS-support

Download

compass-support@lists.rwth-aachen.de

December 2019

2 participants
2 discussions

Re: [COMPASS] Toolset and Documentation Download Links
by Heinrich E. Seifert 07 Dec '19

07 Dec '19

Dear support team, unfortunately I can not download the files for COMPASS 3.1 at the provided links. It correctly identifies the files by filename but than the download is waiting (zero bytes transferred) until timeout. I have tried it yesterday ~ 17:00 and today ~ 09:30 with no success. I think, it will not work within the 24 hour frame. So what should/could i do? thanks in advance b.t.w., http instead of https? Mit freundlichen Grüßen / Best regards Heinrich E. Seifert HESConsult Heinrich E. Seifert Management Consultancy Process Improvement, Project, Requirements, Quality, Functional Safety & Risk Management (ISO-9000, ISO/IEC 15504 - SPICE, ASPICE, CMMI, ISO-26262, etc.) Elisabeth-Gloeden-Ring 22 24145 Kiel UstID-Nr.: DE181154055 mobil: +49 (0)176 - 227 034 08 mailto: info(a)hesconsult.de https://www.hesconsult.de Am 06.12.19 um 16:44 schrieb COMPASS Consortium: > Dear Heinrich E. Seifert, > > The COMPASS consortium is happy to provide you our toolset under the terms of its respective licenses. Below you will find the download-links. They are active for 24 hours. If you are a first-time user, we highly recommend you to download our non-redistributable, customised and pre-configured virtual machine image. > > You have indicated that you want to stay updated on COMPASS-related activities. You will soon receive an email from our mailing list system, please confirm your subscription by following the instruction in that email. > > For further information, we refer you to our website: http://www.compass-toolset.org > > Download links > -------------- > * Part 1/2, redistributable part of the COMPASS toolset: > http://www.compass-toolset.org/getfile.php?mt=WExZUW41UXN2QkdRSU9rY1llMU9kc… (105.72 MB) > * Part 2/2, non-redistributable backends of the COMPASS toolset: > http://www.compass-toolset.org/getfile.php?mt=WExZUW41UXN2QkdRSU9rY1llMU9kc… (123.22 MB) > * Tutorial: > http://www.compass-toolset.org/getfile.php?mt=WExZUW41UXN2QkdRSU9rY1llMU9kc… (4.22 MB) > * User manual: > http://www.compass-toolset.org/getfile.php?mt=WExZUW41UXN2QkdRSU9rY1llMU9kb… (5.78 MB) > * SLIM Specification: > http://www.compass-toolset.org/getfile.php?mt=WExZUW41UXN2QkdRSU9rY1llMU9kb… (0.32 MB) > * Virtual Machine: > http://www.compass-toolset.org/getfile.php?mt=WExZUW41UXN2QkdRSU9rY1llMU9kd… (2434.21 MB) > > With regards, > > The COMPASS consortium >

1 0

COMPASS 3.1 released
by Thomas Noll 06 Dec '19

06 Dec '19

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. Version 3.1 is now freely available for download at http://www.compass-toolset.org/tools-download/ to anyone within the member states of the European Space Agency. With respect to COMPASS version 3.0, this release contains an updated version of the xSAP engine and includes several bug fixes both in the software and the accompanying documentation. 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 -- Thomas Noll http://moves.rwth-aachen.de/people/noll/ Software Modeling and Verification Group noll(a)cs.rwth-aachen.de RWTH Aachen University Phone +49/241/80-21213 Ahornstr. 55, 52056 Aachen, Germany Fax +49/241/80-22217

1 0