- COMPASS-support - lists.rwth-aachen.de

Problem Feedback
by Xi Xiao 31 Mar '22

31 Mar '22

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

2 1

Issues with COMPASS download links
by Muhammad Usama Javed 04 Feb '22

04 Feb '22

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

2 1

Measuring Unreliability and Unavailability using COMPASS
by Walth, Hermann 15 Jul '21

15 Jul '21

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

2 2

Obtaining the COMPASS Toolset
by Duminda Wijesekera 15 Feb '21

15 Feb '21

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

2 1

Re: [COMPASS] Toolset and Documentation Download Links
by Prem Harikrishnan 05 Jun '20

05 Jun '20

To Whom It May Concern, Hi, I'm trying to download the redistributable and non-redistributable part of the COMPASS toolset but the download fails every time after 12 MB. Can you please send me an updated link? The other downloads work perfectly. Thanks Best Regards, Prem Harikrishnan Evoleo Technologies, GmbH. Freibadstr. 30, 3.OG - 321 D-81543 München Tel. : +49 1516 6154 764 Email: prem.harikrishnan(a)evoleotech.com | Web: www.evoleotech.com -----Original Message----- From: COMPASS Consortium Sent: 02 June 2020 15:16 To: Prem Harikrishnan <prem.harikrishnan(a)evoleotech.com> Subject: [COMPASS] Toolset and Documentation Download Links Dear Prem Harikrishnan, 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. 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=RUgxZDh5aUtiUVA1dDUrcGQvbWFVa… (105.72 MB) * Part 2/2, non-redistributable backends of the COMPASS toolset: http://www.compass-toolset.org/getfile.php?mt=RUgxZDh5aUtiUVA1dDUrcGQvbWFVd… (123.22 MB) * Tutorial: http://www.compass-toolset.org/getfile.php?mt=RUgxZDh5aUtiUVA1dDUrcGQvbWFVb… (4.22 MB) * User manual: http://www.compass-toolset.org/getfile.php?mt=RUgxZDh5aUtiUVA1dDUrcGQvbWFVa… (5.78 MB) * SLIM Specification: http://www.compass-toolset.org/getfile.php?mt=RUgxZDh5aUtiUVA1dDUrcGQvbWFVb… (0.32 MB) * Virtual Machine: http://www.compass-toolset.org/getfile.php?mt=RUgxZDh5aUtiUVA1dDUrcGQvbWFVc… (2434.21 MB) With regards, The COMPASS consortium

2 2

ANGEBOT ANGEBOT ... BRAUCHEN SIE EIN DARLEHEN? Wir bieten Ihnen ein Darlehen für nur 2% Jahreszinssatz an !!
by compras＠litholaser.com 29 Mar '20

29 Mar '20

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

1 0

Re: compass-support , Lernen Sie, mit großen Markenunternehmen zu handeln und in diese zu investieren
by SmartTrade 10 Mar '20

10 Mar '20

;

1 0

use of COMPASS for industrial applications
by Gandibleux Jean SBB CFF FFS (Extern) 28 Jan '20

28 Jan '20

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

2 1

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