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
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
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
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
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-
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!
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.
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.
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?