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

My Resume
by Helen Jones 15 Jun '15

15 Jun '15

Hello there. I noticed your website today Mon, 15 Jun 2015 and found it very likeable. I was hoping there was any possibility of internship or unpaid trial period, just to prove my competence. As you will see in my attached resume, I am very qualified and have a very sweeping experience in this type of work. I am very confident it will be worth your time reading it, and I am even more confident you will find me very fitting in your enterprise. Please see my attached CV. I am very much looking forward to hearing from you. Your help is greatly appreciated, Helen Jones

1 0

NDA Agreement for COMPASS
by Asterion Daedalus 26 May '15

26 May '15

Hello Compass Community! What are the Non-Disclosure Agreement (NDA) details for COMPASS please? I have recently finished a Masters in Safety, Risk, and Reliability and am especially interested in tools such as COMPASS that might be applicable in some of the areas I wish to further investigate out of that work. Any help appreciated. Cheers, Ray

1 0

[COMPASS-ANNOUNCE] xSAP 1.0.0 has been released
by Marco Bozzano 16 Apr '15

16 Apr '15

The Embedded Systems Unit at Fondazione Bruno Kessler, Trento, Italy is happy to announce the availability of xSAP 1.0.0 xSAP is a tool for safety assessment of synchronous finite-state and infinite-state systems, based on symbolic model checking techniques. xSAP provides the following main capabilities: * Library-based specification of faults, fault effects, and fault dynamics * Automatic model-extension with fault specifications * Fault Tree Analysis (FTA) and generation of Minimal Cut Sets (MCS) for dynamic systems, for both the monotonic and non-monotonic case * Failure Modes and Effects Analysis (FMEA) * Fault propagation analysis based on Timed Failure Propagation Graphs (TFPG) * Common Cause Analysis (CCA) xSAP is currently licensed in binary form, for non-commercial or academic purposes. Inquiries about other usages of xSAP should be addressed to xsap(a)fbk.eu The list of xSAP users is open for registration and discussion xsap-users(a)list.fbk.eu Visit http://xsap.fbk.eu/ for more detailed information and download. Other useful links: * Feature requests and bug reports: http://es.fbk.eu/tools/xsap/index.php?n=BugReport.Home _______________________________________________ Compass-announce mailing list Compass-announce(a)lists.rwth-aachen.de http://mailman.rwth-aachen.de/mailman/listinfo/compass-announce

1 0

Re: [COMPASS-SUPPORT] Compile error with sensorfilter-deadlockfree.slim example
by Wilkinson, Chris 23 Mar '15

23 Mar '15

Thanks, that was the error. -Chris- From: Harold Bruintjes [mailto:h.bruintjes@cs.rwth-aachen.de] Sent: Monday, March 23, 2015 3:42 PM To: Wilkinson, Chris; compass-support(a)lists.rwth-aachen.de Cc: Hall, Brendan (MN65) Subject: Re: [COMPASS-SUPPORT] Compile error with sensorfilter-deadlockfree.slim example Dear Chris, This is indeed an error in the source file. In this case, the keyword "observable" should be "alarm" (observables can only be used outside FDIR components, alarms only inside). I will make a note to fix this in the sources. Best regards, Harold On 2015-03-23 20:05, Wilkinson, Chris wrote: Using Compass for the first time, I get the following error loading the example in section 7.3 of the user manual; /home/compasseval/Desktop/COMPASS-toolset/tools/examples/sensorfilter-deadlo ckfree.slim:107: (D-7) FDIR type tags port "detected" as observable. detected: out data port bool default false observable; ^ Compiling 'Desktop/COMPASS-toolset/tools/examples/sensorfilter-deadlockfree.slim'... ERROR Compiling 'Desktop/COMPASS-toolset/tools/examples/sensorfilterErr.slim'... OK Is that in fact a slim file error? I'm running Compass-vm-2.3 on VMware Player -Chris Wilkinson- _______________________________________________ COMPASS-support mailing list COMPASS-support(a)lists.rwth-aachen.de http://mailman.rwth-aachen.de/mailman/listinfo/compass-support

1 0

Compile error with sensorfilter-deadlockfree.slim example
by Wilkinson, Chris 23 Mar '15

23 Mar '15

Using Compass for the first time, I get the following error loading the example in section 7.3 of the user manual; /home/compasseval/Desktop/COMPASS-toolset/tools/examples/sensorfilter-deadlockfree.slim:107: (D-7) FDIR type tags port "detected" as observable. detected: out data port bool default false observable; ^ Compiling 'Desktop/COMPASS-toolset/tools/examples/sensorfilter-deadlockfree.slim'... ERROR Compiling 'Desktop/COMPASS-toolset/tools/examples/sensorfilterErr.slim'... OK Is that in fact a slim file error? I'm running Compass-vm-2.3 on VMware Player -Chris Wilkinson-

2 1

enquire for NDA details -student of beihang university china
by 张奎 07 Mar '15

07 Mar '15

Dear Mr/Miss: I am writing to enquire about the COMPASS Licence, I am a student of beihang university in China .I am learning about AADL and know that COMPASS is an excellent toolset in this field, but i am not a member of ESA and can not download COMPASS for study. As the website tell me : i should know NDA details ,so i wish i can get your help. thank you for your consideration!

1 0

Private Message.+
by Mr.Karis 31 Jan '15

31 Jan '15

Attention My dear Friend. Hello I send my greeting to you, I have been trying to reach you for quite some time on an important affair which involve a deceased estate who happen to be someway related to you, please understand that this is no joke, the deceased is a client of mine here in the United Kingdom and happen to have the same last name with you. I happen to come across your information and made enquiry which I got confirmation on your last name. Now please understand that I have the Authority of making you the beneficiary to his estate with our bank. I have all the details and required information to make you the beneficiary to the entire deposit only i need your consent. Please i expect your response to this message so as to enable me furnish you more detail if you are interested, please i look forward to your mail response. Thank you. Mr.Karis.

1 0

Email Notification!
by Mr. Mark Boldi 19 Oct '14

19 Oct '14

Your email, Please be informed that your email has been given a compensation grant for the sum of Nine Hundred and Twenty Thousand Euros cash reward from the United Nations 2014 charity program worldwide. You are advised to open correspondence with your program payout agent Mr. Mark Boldi with telephone number +39 3510191795 and email: (info_mrboldi(a)yahoo.com.hk) and provide him wit your name, country of origin and telephone number. Thank you and best regards, Williams Faroh.

1 0

Notification d \'expiration de votre compte.
by Service＠Store.com 27 Sep '14

27 Sep '14

1 0

AADL translator
by Mohsen Fazelinia 25 Aug '14

25 Aug '14

Hi I want translate AADL language to Promela for system engine model checking (e.g. SPIN). I found your article (Slicing AADL Specifications for Model Checking) about this work.can you help me about this?

1 0