Dear Compass Committee,
Compass Toolset cannot be downloaded according to the download-links you gave. It will stop after a portion of the content is downloaded. Could you help solve this problem?
With regards,
Xi Xiao
Hello Support Team,
I got the download links for the COMPASS toolset recently (5 minutes ago as
of this email). When I click on the links, the downloading progress is just
stuck at 0%.
Can you please look into this?
Regards,
Usama
Hello,
I have been trying out COMPASS for the past few weeks, but I have not quite managed to get what I want out of it. I am mostly interested in quantitative measures such as unreliability and unavailability.
Using the battery_sensor example provided with COMPASS, I could at least obtain a measure for unreliability in the Safety/Fault Tree Evaluation tab. However, this feature works by generating fault trees - I have been under the impression that COMPASS has more expressive power than fault trees. And I have no idea how to measure unavailability using COMPASS - the battery_sensor example is not repairable and neither are most of the examples provided with COMPASS.
I believe the Performability/IMC Analysis feature should also be able to give me quantitative results, but all I can get out of it is "Long Run Average: 0.0". I have noticed the warning "The root component contains ports. Performability results are undefined.", but even with a SLIM model I made myself featuring no ports in its root component, I get the same result. I am using a property of the form "Globally, {not sys.is_alive} holds eventually with probability > 0.0".
Is there any way to obtain measures of unreliability and more importantly, unavailability from COMPASS? Is the only way to get these measures via Fault Tree Generation?
Additionally, I have been wondering if there is any kind of archive of this mailing list - I have been looking for one but have not found any.
Best Regards,
Hermann Walth
Dear Sir/Madam,
I am contacting you on behalf of (a group) George Mason University's Cyber Security Engineering Researchers. We are not members of the ESA not EU.
Is it possible to obtain the COMPASS toolset for research purposes?
If so, please let me know the procedure, and I can ask my university to sign requisite agreements or NDA s on behalf of us.
Kind Regards
Duminda Wijesekera,
Professor, Department of Computer Science,
Acting Chair - Department of Cyber Security Engineering,
George Mason University,
Fairfax, VA 22030
703-993-5030
dwijesek(a)gmu.edu
PREMIER FINANCIAL SOLUTIONS MACHT IHRE TRÄUME ZU EINER WIRKLICHKEIT.
Wir bieten Kredite bis zu £ 50.000.000,00 an. bei 2% Zinssatz jährlich.
Wir können Ihnen helfen, diese Immobilie ohne Stress zu kaufen.
Wir können Ihnen dabei helfen, das Geschäft zu finanzieren, das Sie nur schwer starten können, oder Ihnen mehr Geld geben, um Ihr Geschäft zu erweitern oder zu diversifizieren.
Wir können Ihnen auch helfen, Ihre Hypothek ohne Stress zurückzuzahlen.
Wir können Ihnen helfen, Ihre Schulden ohne Stress zurückzuzahlen.
Wir können Ihnen helfen, Ihre Träume zu verwirklichen und Ihnen das Leben zu erleichtern, auch wenn Sie schlechte Kreditwürdigkeit haben. Wir können Ihnen dennoch helfen, Ihnen das Leben zu erleichtern.
Unsere Dienstleistungen sind einfach, flexibel, zuverlässig und schnell. Unser Darlehensservice ist weltweit anerkannt.
Wir bieten gewerbliche und private Kredite mit sehr minimalen jährlichen Zinssätzen von nur 2% und einer flexiblen Rückzahlungsfrist an. Wir leihen Ihnen Geld aus, auch wenn Sie eine schlechte Bonität haben. Unsere Kredite sind gut versichert, da Ihre maximale Sicherheit unsere Priorität ist. Wir sind zuverlässig und vertrauenswürdig.
Sie sind nur einen Schritt davon entfernt, Ihr Darlehen zu erhalten und Ihnen das Leben zu erleichtern. Fordern Sie schnell unser Antragsformular an, füllen Sie es aus und senden Sie es zurück. Dann senden wir Ihnen unsere Allgemeinen Geschäftsbedingungen und das Vertragsdokument zu. Innerhalb von 3 Werktagen wird Ihr Darlehen unverzüglich Ihrem Bankkonto gutgeschrieben.
Es ist einfach, zuverlässig und schnell.
Bitte kontaktieren Sie mich per E-Mail:
grethe.hansen(a)gmx.com
Grethe Hansen
Geschäftsentwicklungsbeauftragter.
--
This email has been checked for viruses by AVG.
https://www.avg.com
Hello,
I am in charge of RAM activities for an availability and safety critical system.
My design team is using Arcadia-Capella as design methodology.
I have searched for a way to perform RAM analyses based on Arcadia-Capella models.
I have found in a document (pages 19 and 20 in the attachment freely available on the internet)
that a process seems exist, implementing your tool COMPASS.
I looked at the info available at http://www.compass-toolset.org. It gives a good impression.
Do you have more information to convince that your tool is ready for an industrial application ?
You mention that 2 industrial cases used your tool. "One is based on a TAS-F telecommunication platform and the other one on the inter-satellite link (ISL) in case of formation flying."
Can you tell more about them ?
Thank you in advance.
Mit freundlichen Grüßen / Cordialement
GANDIBLEUX Jean
COAT RAM-Manager
SBB AG
I-SR40-PMO-EXT
Hilfikerstrasse 3, CH-3000 Bern
+41 7 83 46 10 00
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
>
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