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

Licensing for COMPASS toolset
by Kushal K.S. 31 Mar '16

31 Mar '16

Dear Sir/Madam, With reference to the subject matter cited above I wouldliek to bring to your kind notice that we are a Central Govt. PSU, Govt. of India organization working in the field of Avionics and Aerospace Electronics & Systems for Civil Aviation. Sir/Madam, we have a Case Study wherein an important Avionics system which can perform the autopilot functionality has been modeled using Simulink and needs to analysed for Safety constraints and these things can be done seamlesely using COMPASS tool set. In this regard, I request your goodself to kindly look into this matter and do the needful in this reagrd and kindly arrange for a license along with the executables to install and run the COMPASS toolset. Please do the needful at the earliest and do kindly oblige. Thanking you, Regards, Kushal K S Ph No. +91-9731717210, 9986545188 Senior Project Fellow, CSIR-National Aerospace Laboratories, Bengaluru 560017.

2 1

***** VIRUS REMOVED / ENTFERNT *****New Invoice #4410-1
by HOLLY ROSE 17 Feb '16

17 Feb '16

This email is being sent in order to inform you that a new invoice has been generated for your account. Please see the attached file. Thank you. HOLLY ROSE

1 0

Votre message à la liste All est en attente d'approbation
by all-owner＠lrde.epita.fr 26 Jan '16

26 Jan '16

Votre courrier à 'All' dont l'objet est [COMPASS] Toolset and Documentation Download Links est en attente jusqu'à ce que le modérateur de la liste puisse le consulter pour approbation. La raison de cette mise en attente : Envoi par un non-abonné sur une liste reservée aux abonnés Le message sera soit envoyé à la liste, soit vous recevrez une indication de la décision du modérateur. Si vous souhaitez annuler le message, veuillez consulter l'URL suivante: https://lists.lrde.epita.fr/confirm/all/9010fe7fe497814fcb64ba96eb8f8c54b99…

1 0

COMPASS Toolset downloading
by Charis S. Kosmas 19 Jan '16

19 Jan '16

Dear Sirs, I attempted to download the tool-set from the page (http://compass.informatik.rwth-aachen.de/download.php#License) but it did not worked out. Is there anything you can do to restore the situation ? -- Mit freundlichen Grüßen / kind regards/ cordialement Charis S. Kosmas (From ATHENS today) ========================== SKYPE NAME charis.kosmas ======================== tel: +30 210 9765717 cel: +30 6944 576009

2 1

Invalid Port Connection
by Chris Wilkinson 12 Nov '15

12 Nov '15

This is one example of numerous similar errors that says my topology violates the rules. I have port out->port in, consistent data types. This seems to accord with the restrictions and examples in section 4.3.2 Port Connections in the SLIM language specification document. What could be wrong? /home/compasseval/Documents/.../xxx.slim:29: (G-9) Port Connection is invalid, because it violates the rules for possible connection topologies. data port pumpGrn.pressure -> isol.hyd_in; -- hydraulics pumpGrn is instance of device pump isol.hyd is instance of device valve device pump features pressure: out data port bool default false; end pump; device implementation pump.impl end pump.impl; device valve features cmd: in data port bool; hyd_in: in data port bool; hyd_out: out data port bool; end valve; device implementation valve.impl flows hyd_out:= hyd_in and cmd; end valve.impl; *Regards* Chris Wilkinson

2 3

SLIM case sensitivity
by Chris Wilkinson 11 Nov '15

11 Nov '15

Dear List Members It would appear that component names in SLIM are not only case sensitive and must match exactly but must also begin with an uppercase letter. e.g. system Power ... end Power; system implementation Power.Imp ... end Power.Imp; If I don't do that then there are compile errors. Is that correct? *Regards* Chris Wilkinson

2 1

COMPASS for a non-ESA member stase citizen working for ESA-member state organisation
by Andrii.Kovalov＠dlr.de 23 Sep '15

23 Sep '15

Dear COMPASS support. I am a research scientist at DLR, and I would like to have a look at the COMPASS toolset. However, I cannot request the download link in a normal way because I am from Ukraine. Can we do anything about it? Yours faithfully, Andrii Kovalov

2 1

free promo things request
by Evgeny Valyansky 15 Sep '15

15 Sep '15

1 0

Fwd: Re: [COMPASS] Toolset and Documentation Download Links
by Marco Bozzano 30 Jun '15

30 Jun '15

FYI. Massimo says he was able to run the VM using a previous version of VMWare, namely 6.0.3, the one I am using. Marco -------- Forwarded Message -------- Subject: Re: [COMPASS] Toolset and Documentation Download Links Date: Mon, 29 Jun 2015 23:00:24 +0200 (CEST) From: Massimo Tipaldi (CGS) <massimo.tipaldi(a)ohb.de> To: Marco Bozzano <bozzano(a)fbk.eu> Ciao Marco, sono riuscito a far funzionare la VM. Bisogna uitlizzare VMWare 6.0.3, con le versioni successive non va. Questa settimana sono incasinato, faccio delle prove dalla settimana prossima in poi. Grazie per il supporto Massimo ----- Ursprüngliche Mail ----- Von: "Marco Bozzano" <bozzano(a)fbk.eu> An: "Massimo Tipaldi (CGS)" <massimo.tipaldi(a)ohb.de> CC: compass-support(a)lists.rwth-aachen.de Gesendet: Dienstag, 16. Juni 2015 15:24:28 Betreff: Re: Fwd: [COMPASS] Toolset and Documentation Download Links Dear Massimo, I discussed this internally with the Consortium. I am not able to reproduce the problem, since on my Windows laptop I can run the compass 2.3 VM using VMWare 6.0.3. The VM is 32-bit, so your target PC Operating System should be OK. Could you first double check that the VM was correctly downloaded and unpacked? If so, the only other suggestion we have is to try a different client, e.g. Virtualbox (https://www.virtualbox.org/) and use the .ovf format in the distribution. I hope this helps, Marco On 06/11/2015 08:43 AM, Massimo Tipaldi (CGS) wrote: > Dear Sir or Madan, > > I have tried to install the pre-configured virtual machine on VMware. > > I have downloaded VMware from the following link: > > https://my.vmware.com/web/vmware/free#desktop_end_user_computing/vmware_pla… > <https://my.vmware.com/web/vmware/free#desktop_end_user_computing/vmware_pla…> > > My PC has Windows7/32 bits. > > After starting the VM and then the comapss toolset, I have got the > following message: > "The configuration file "C:\Users\mtipaldi\Documents\Virtual > Machines\compass-vm-2.3\compass-vm-2.3.vmx" was created by a VMware > product that is incompatible with this version of VMware Player and > cannot be used." > > Can you support me and give an indication on how to solve such inconsistency > > Best regards, > > -- > ------------------ > Massimo Tipaldi > Meteosat Third Generation - Platform > MTG SCSW Project Manager > > E-Mail: massimo.tipaldi(a)ohb.de > Telefon/Phone: +49-421-2020-9642 > WWW: http://www.ohb-system.de > > > OHB System AG > Universitätsallee 27-29 > D-28359 Bremen > > __________________________________________________________________________________ > > OHB System AG, Universitätsallee 27-29, D-28359 Bremen, Germany > Chairperson of the Supervisory Board: Christa Fuchs > Board of directors: Marco R. Fuchs (CEO), Dr. Fritz Merkle, Frank > Negretti, Kurt Melching, Dr. Ingo Engeln, Andreas Lindenthal > Headquarters: Bremen, Germany > Place of jurisdiction: Amtsgericht Bremen HRB 20411 > TAX-ID-No: DE 114530670 > ________________________________________ > > > > ------------------------------------------------------------------------ > *Von: *"COMPASS Consortium" <compass-support(a)lists.rwth-aachen.de> > *An: *"massimo tipaldi" <massimo.tipaldi(a)ohb.de> > *Gesendet: *Mittwoch, 20. Mai 2015 18:34:12 > *Betreff: *[COMPASS] Toolset and Documentation Download Links > > Dear Massimo Tipaldi, > > The COMPASS consortium consisting of RWTH Aachen University, Fondazione > Bruno Kessler, Ellidiss Technologies and Thales Alenia Space 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. > If you have indicated that you want to stay updated on > COMPASS-related activities, you will soon receive an email from our > mailinglist system. Please confirm the email by following the > instruction in that email. > For further information, we refer you to our website: > http://compass.informatik.rwth-aachen.de > > Download links > -------------- > * Pre-configured virtual machine including all components below: > > http://compass.informatik.rwth-aachen.de/download.php?mt=U0dCYUtpU29wNjdNSG… > (766.23 MB) > > or > > * Part 1/2, redistributable part of the COMPASS toolset: > > http://compass.informatik.rwth-aachen.de/download.php?mt=U0dCYUtpU29wNjdNSG… > (84.78 MB) > * Part 2/2, non-redistributable backends of the COMPASS toolset: > > http://compass.informatik.rwth-aachen.de/download.php?mt=U0dCYUtpU29wNjdNSG… > (8.6 MB) > * COMPASS Graphical Modeller (Windows 32-bits) > > http://compass.informatik.rwth-aachen.de/download.php?mt=ZmIyRDN0MTVYVkd4VF… > (6.02 MB) > * COMPASS Graphical Modeller (Linux 32-bits) > > http://compass.informatik.rwth-aachen.de/download.php?mt=ZmIyRDN0MTVYVkd4VF… > (5.54 MB) > * User manual: > > http://compass.informatik.rwth-aachen.de/download.php?mt=U0dCYUtpU29wNjdNSG… > (6.08 MB) > * CGM user manual > > http://compass.informatik.rwth-aachen.de/download.php?mt=Q3Z6TmowUmV6SGlNcH… > (0.76 MB) > * SLIM Syntax document: > > http://compass.informatik.rwth-aachen.de/download.php?mt=U0dCYUtpU29wNjdNSG… > (1.02 MB) > * SLIM Semantics document: > > http://compass.informatik.rwth-aachen.de/download.php?mt=U0dCYUtpU29wNjdNSG… > (1.06 MB) > > With regards, > > The COMPASS consortium > > > > > > Call > Send SMS > Call from mobile > Add to Skype > You'll need Skype CreditFree via Skype ============================================================================== Marco Bozzano, PhD, Researcher at FBK Via Sommarive 18, Povo, 38123 Trento (Italy) ph.: +39-0461-314367, mobile ph.: +39-328-8453534 bozzano(a)fbk.eu, http://es.fbk.eu/people/bozzano/ ============================================================================== -- ------------------ Massimo Tipaldi Meteosat Third Generation - Platform MTG SCSW Project Manager E-Mail: massimo.tipaldi(a)ohb.de Telefon/Phone: +49-421-2020-9642 WWW: http://www.ohb-system.de OHB System AG Universitätsallee 27-29 D-28359 Bremen __________________________________________________________________________________ OHB System AG, Universitätsallee 27-29, D-28359 Bremen, Germany Chairperson of the Supervisory Board: Christa Fuchs Board of directors: Marco R. Fuchs (CEO), Dr. Fritz Merkle, Frank Negretti, Kurt Melching, Dr. Ingo Engeln, Andreas Lindenthal Headquarters: Bremen, Germany Place of jurisdiction: Amtsgericht Bremen HRB 20411 TAX-ID-No: DE 114530670 ________________________________________

1 0

Fwd: [COMPASS] Toolset and Documentation Download Links
by Massimo Tipaldi (CGS) 16 Jun '15

16 Jun '15

Dear Sir or Madan, I have tried to install the pre-configured virtual machine on VMware. I have downloaded VMware from the following link: https://my.vmware.com/web/vmware/free#desktop_end_user_computing/vmware_pla… My PC has Windows7/32 bits. After starting the VM and then the comapss toolset, I have got the following message: "The configuration file "C:\Users\mtipaldi\Documents\Virtual Machines\compass-vm-2.3\compass-vm-2.3.vmx" was created by a VMware product that is incompatible with this version of VMware Player and cannot be used." Can you support me and give an indication on how to solve such inconsistency Best regards, -- ------------------ Massimo Tipaldi Meteosat Third Generation - Platform MTG SCSW Project Manager E-Mail: massimo.tipaldi(a)ohb.de Telefon/Phone: +49-421-2020-9642 WWW: http://www.ohb-system.de OHB System AG Universitätsallee 27-29 D-28359 Bremen __________________________________________________________________________________ OHB System AG, Universitätsallee 27-29, D-28359 Bremen, Germany Chairperson of the Supervisory Board: Christa Fuchs Board of directors: Marco R. Fuchs (CEO), Dr. Fritz Merkle, Frank Negretti, Kurt Melching, Dr. Ingo Engeln, Andreas Lindenthal Headquarters: Bremen, Germany Place of jurisdiction: Amtsgericht Bremen HRB 20411 TAX-ID-No: DE 114530670 ________________________________________ ----- Ursprüngliche Mail ----- Von: "COMPASS Consortium" <compass-support(a)lists.rwth-aachen.de> An: "massimo tipaldi" <massimo.tipaldi(a)ohb.de> Gesendet: Mittwoch, 20. Mai 2015 18:34:12 Betreff: [COMPASS] Toolset and Documentation Download Links Dear Massimo Tipaldi, The COMPASS consortium consisting of RWTH Aachen University, Fondazione Bruno Kessler, Ellidiss Technologies and Thales Alenia Space 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. If you have indicated that you want to stay updated on COMPASS-related activities, you will soon receive an email from our mailinglist system. Please confirm the email by following the instruction in that email. For further information, we refer you to our website: http://compass.informatik.rwth-aachen.de Download links -------------- * Pre-configured virtual machine including all components below: http://compass.informatik.rwth-aachen.de/download.php?mt=U0dCYUtpU29wNjdNSG… (766.23 MB) or * Part 1/2, redistributable part of the COMPASS toolset: http://compass.informatik.rwth-aachen.de/download.php?mt=U0dCYUtpU29wNjdNSG… (84.78 MB) * Part 2/2, non-redistributable backends of the COMPASS toolset: http://compass.informatik.rwth-aachen.de/download.php?mt=U0dCYUtpU29wNjdNSG… (8.6 MB) * COMPASS Graphical Modeller (Windows 32-bits) http://compass.informatik.rwth-aachen.de/download.php?mt=ZmIyRDN0MTVYVkd4VF… (6.02 MB) * COMPASS Graphical Modeller (Linux 32-bits) http://compass.informatik.rwth-aachen.de/download.php?mt=ZmIyRDN0MTVYVkd4VF… (5.54 MB) * User manual: http://compass.informatik.rwth-aachen.de/download.php?mt=U0dCYUtpU29wNjdNSG… (6.08 MB) * CGM user manual http://compass.informatik.rwth-aachen.de/download.php?mt=Q3Z6TmowUmV6SGlNcH… (0.76 MB) * SLIM Syntax document: http://compass.informatik.rwth-aachen.de/download.php?mt=U0dCYUtpU29wNjdNSG… (1.02 MB) * SLIM Semantics document: http://compass.informatik.rwth-aachen.de/download.php?mt=U0dCYUtpU29wNjdNSG… (1.06 MB) With regards, The COMPASS consortium Call Send SMS Call from mobile Add to Skype You'll need Skype Credit Free via Skype

2 1