Dear Sirs,
I work at INPE (National Institute For Space Research) in Brazil.
I am a doctoral student and my research topic is on Formal Methods
applicable to embedded software for satellites.
I would like to know in detail the COMPASS toolset specifically on the SLIM
modeling language.
Is it possible to provide me a license to use the COMPASS toolset to
complete may research?
Regards,
Sergio Norio Itami
Guten Tag,
zuallererst, wollen wir uns bei Ihnen entschuldigen. Wie haben Ihre Kontaktdaten und Ihre PDF online gefunden, weil wir Ihnen etwas zu den Themen Digital Publishing und digitale Flip-Newsletter erzählen wollen.
Wir glauben, dass Newsletter immer noch eine der effektivsten Möglichkeiten sind, Ihre Kunden und Leser mit aktuellen Informationen zu versorgen.
Aber wir glauben auch, dass Sie Ihren Lesern mehr bieten können, als klassische E-Bulletin- oder PDF-Newsletter!
Die Möglichkeiten und Vorteile eines flip-newsletters:
Engagement - Leser verbringen mehr als 10 Minuten mit dem Lesen eines Flip-Newsletters, also sehr viel länger als die 2 Minuten in einem PDF- oder HTML-Newsletter.
Hohe Konversionsraten - mehr als 60% der User, die einen Flip-Newletter erhalten, öffnen diesen auch und beschäftigen sich intensiv damit.
Inhalte besser vermitteln - Features wie Videos, Interaktivität, Umfragen und Quizzes vermitteln Inhalte besser und machen Produkte und Dienstleistungen einfacher verständlich.
Effektivere Werbung, mehr Gewinn - Empfänger können den Newsletter einfach per E-Mail und über soziale Netzwerke teilen und auch direkt von ihrem Newsletter aus einkaufen.
Statistiken - Sie behalten den Überblick über Besucherzahlen und darüber, was Leser in Ihrem Newsletter angeklickt haben. Ein durchschnittlicher Actionpaper Flip-Newsletter verzeichnet mehr als 10.000 Besuche.
Kompatibilität auf allen Kanälen - Ihr Flip-Newsletter ist auf allen Geräten abrufbar - Computer, Laptops, Smartphones und Tablets - alles nur mit einem Link!
Wir möchten uns erneut dafür entschuldigen, falls Sie diese Mail irrtümlich bekommen haben. Wenn Sie in Zukunft keine Mails mehr von uns erhalten möchten, bitte lassen Sie es uns wissen, indem Sie auf diese Mail antworten oder auf Abmelden klicken. Ihre E Mail Adresse wird dann entfernt und Sie werden keine Mails mehr von uns bekommen.
Copyright � 2012 Actionpaper. All Rights Reserved.
Wienerbergstra�e 11/12A | Vienna | Austria
+43 129 800 95 61 | office(a)aktionpaper.tk Unsubscribe | Subscribe
Dear Compass Support,
I am trying to enter a property for the "battery"/"power" SLIM model that is
described in the Compass User Manual. I loaded up my SLIM files into the
Toolset and defined a Fault Injection, all of which compiled well. I then went
to the Properties tab in order to enter a property, but I cannot seem to be
able to enter a pattern story. I have attached a screenshot for reference. As
you can see, there is not actually a form below the letters "Pattern story"
which would allow me to enter an atomic proposition. This is true for all
patterns I tried to select.
Best regards,
Martin Billes
To whom it may concern,
there is an error on your website that prevents me from submitting the
Download Request form at
http://compass.informatik.rwth-aachen.de/download.html
After entering my details and clicking the button labeled "Request
Download Links", I am getting the following error message:
Fatal error: Call to undefined function numail() in
/home/WWW/compass/docs/form.php on line 104
Best regards,
Martin Billes
Augsburg University
martin.billes(a)student.uni-augsburg.de
Hi,
I filled out the form to request a download of the Compass toolset,
but after almost a week, I received nothing (and I checked my spam
folder).
Do you know what would be the problem?
Thanks,
-- Florent
Hi Marianne,
Hmm, I have two possible explanations:
1. The download links are not correctly parsed by your emailclient. They are quite long. You can try copy and paste them to your browser. (I just tried your links and they work OK from my network).
2. Your firewall could indeed be in between: if it is not too much of a hassle, could you provide a screenshot of what you are seeing?
One way or another, we'll figure this out and make sure you will receive an copy of our toolset.
Viet Yen
On 22.11.11, "Althoff-Kotzias, Marianne, Dr." <Marianne.Althoff-Kotzias(a)astrium.eads.net> wrote:
> Dear Viet Yen
>
> I tried immedaitely afet registration and it did not work.
> Can it be that our firewall prohibits the access ??
>
> Marianne
>
>
> -----Ursprüngliche Nachricht-----
> Von: Viet Yen Nguyen [mailto:nguyen@informatik.rwth-aachen.de](javascript:main.compose()
> Gesendet: Dienstag, 22. November 2011 10:51
> An: Althoff-Kotzias, Marianne, Dr.; COMPASS Consortium
> Betreff: Re: [COMPASS-SUPPORT] [COMPASS] Toolset and Documentation Download Links
>
> Hi Marianne,
>
> Note that the links are only active 24h after download registration. Afterwards, you have to reregister for download.
>
> If you have other problems, just let me know.
>
> Viet Yen
>
> On 22.11.11, "Althoff-Kotzias, Marianne, Dr." <Marianne.Althoff-Kotzias(a)astrium.eads.net> wrote:
>
> > Hello !
> >
> > The links do not work : page unavailable.
> > What a pity.
> > Marianne Althoff
> >
> > -----Ursprüngliche Nachricht-----
> > Von: COMPASS Consortium
> > [mailto:compass-support@lists.rwth-aachen.de](javascript:main.compose()(javascript:main.compose(
> > )
> > Gesendet: Montag, 21. November 2011 11:59
> > An: Althoff-Kotzias, Marianne, Dr.
> > Betreff: [COMPASS] Toolset and Documentation Download Links
> >
> >
> > Dear Marianne Althoff,
> >
> > The COMPASS consortium consisting of RWTH Aachen University, Fondazione Bruno Kessler 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 VMWare 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 VMware Image including all components below:
> >
> > http://compass.informatik.rwth-aachen.de/download.php?mt=fOx%2BHe0k7YS
> > 5xPRaYPKQ9n%2B8xck0cCYVL35RHRAFUJHlB1Y1RfRsa2WqaXkbipng (997.25 MB)
> >
> > or
> >
> > * Part 1/2, redistributable part of the COMPASS toolset:
> >
> > http://compass.informatik.rwth-aachen.de/download.php?mt=fOx%2BHe0k7YS
> > 5xPRaYPKQ9r%2F3586OzIR4UNMESrA%2FGvE5gbP5ItMjVMqQX1a7E7EK (71.65 MB)
> > * Part 2/2, non-redistributable backends of the COMPASS toolset:
> >
> > http://compass.informatik.rwth-aachen.de/download.php?mt=fOx%2BHe0k7YS
> > 5xPRaYPKQ9rfSl%2FFpf3jmP1RwHRn0HvXDeov4h0FNNsjvltMhle1JyWx6b9irmzX2M7u
> > oSSpNpQ%3D%3D (8.52 MB)
> > * User manual:
> >
> > http://compass.informatik.rwth-aachen.de/download.php?mt=fOx%2BHe0k7YS
> > 5xPRaYPKQ9gMagIGQ2MwQbcYX80yCceuvBZJvuMb%2F5DS%2Fa3yAUsHC (5.92 MB)
> > * SLIM Syntax document:
> >
> > http://compass.informatik.rwth-aachen.de/download.php?mt=fOx%2BHe0k7YS
> > 5xPRaYPKQ9ourcUap05DwiQU9GlbIAojhgK1uhq%2FNQD8HzS8loJa5 (1.02 MB)
> > * SLIM Semantics document:
> >
> > http://compass.informatik.rwth-aachen.de/download.php?mt=fOx%2BHe0k7YS
> > 5xPRaYPKQ9nx%2BzXaYQunBBYqHYyzrluczewtP2oToqcRz2qXKKGqE (1.08 MB)
> >
> > With regards,
> >
> > The COMPASS consortium
> >
> >
> > This email (including any attachments) may contain confidential and/or privileged information or information otherwise protected from disclosure. If you are not the intended recipient, please notify the sender immediately, do not copy this message or any attachments and do not use it for any purpose or disclose its content to any person, but delete this message and any attachments from your system. Astrium disclaims any and all liability if this email transmission was virus corrupted, altered or falsified.
> > ---------------------------------------------------------
> > Astrium GmbH Vorsitzender des Aufsichtsrates: Thomas Mueller -
> > Geschaeftsfuehrung: Evert Dudok (Vorsitzender), Dr. Johannes von
> > Thadden, Josef Stukenborg Sitz der Gesellschaft: Muenchen -
> > Registergericht: Amtsgericht Muenchen, HRB Nr. 107 647 Ust. Ident.
> > Nr. / VAT reg. no. DE167015356
> >
> > Weitere Informationen ueber EADS Astrium @
> > http://www.astrium.eads.net/
> >
> > _______________________________________________
> > COMPASS-support mailing list
> > COMPASS-support(a)lists.rwth-aachen.de
> > http://mailman.rwth-aachen.de/mailman/listinfo/compass-support
>
> This email (including any attachments) may contain confidential and/or privileged information or information otherwise protected from disclosure. If you are not the intended recipient, please notify the sender immediately, do not copy this message or any attachments and do not use it for any purpose or disclose its content to any person, but delete this message and any attachments from your system. Astrium disclaims any and all liability if this email transmission was virus corrupted, altered or falsified.
> ---------------------------------------------------------
> Astrium GmbH Vorsitzender des Aufsichtsrates: Thomas Mueller - Geschaeftsfuehrung: Evert Dudok (Vorsitzender), Dr. Johannes von Thadden, Josef Stukenborg
> Sitz der Gesellschaft: Muenchen - Registergericht: Amtsgericht Muenchen, HRB Nr. 107 647 Ust. Ident. Nr. / VAT reg. no. DE167015356
>
> Weitere Informationen ueber EADS Astrium @ http://www.astrium.eads.net/
Hello !
The links do not work : page unavailable.
What a pity.
Marianne Althoff
-----Ursprüngliche Nachricht-----
Von: COMPASS Consortium [mailto:compass-support@lists.rwth-aachen.de]
Gesendet: Montag, 21. November 2011 11:59
An: Althoff-Kotzias, Marianne, Dr.
Betreff: [COMPASS] Toolset and Documentation Download Links
Dear Marianne Althoff,
The COMPASS consortium consisting of RWTH Aachen University, Fondazione Bruno Kessler 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 VMWare 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 VMware Image including all components below:
http://compass.informatik.rwth-aachen.de/download.php?mt=fOx%2BHe0k7YS5xPRa… (997.25 MB)
or
* Part 1/2, redistributable part of the COMPASS toolset:
http://compass.informatik.rwth-aachen.de/download.php?mt=fOx%2BHe0k7YS5xPRa… (71.65 MB)
* Part 2/2, non-redistributable backends of the COMPASS toolset:
http://compass.informatik.rwth-aachen.de/download.php?mt=fOx%2BHe0k7YS5xPRa… (8.52 MB)
* User manual:
http://compass.informatik.rwth-aachen.de/download.php?mt=fOx%2BHe0k7YS5xPRa… (5.92 MB)
* SLIM Syntax document:
http://compass.informatik.rwth-aachen.de/download.php?mt=fOx%2BHe0k7YS5xPRa… (1.02 MB)
* SLIM Semantics document:
http://compass.informatik.rwth-aachen.de/download.php?mt=fOx%2BHe0k7YS5xPRa… (1.08 MB)
With regards,
The COMPASS consortium
This email (including any attachments) may contain confidential and/or privileged information or information otherwise protected from disclosure. If you are not the intended recipient, please notify the sender immediately, do not copy this message or any attachments and do not use it for any purpose or disclose its content to any person, but delete this message and any attachments from your system. Astrium disclaims any and all liability if this email transmission was virus corrupted, altered or falsified.
---------------------------------------------------------
Astrium GmbH Vorsitzender des Aufsichtsrates: Thomas Mueller - Geschaeftsfuehrung: Evert Dudok (Vorsitzender), Dr. Johannes von Thadden, Josef Stukenborg
Sitz der Gesellschaft: Muenchen - Registergericht: Amtsgericht Muenchen, HRB Nr. 107 647 Ust. Ident. Nr. / VAT reg. no. DE167015356
Weitere Informationen ueber EADS Astrium @ http://www.astrium.eads.net/