Hello,
I am interested in evaluating the use of the COMPASS toolset as part of my research in safety-critical avionics systems. I would very much appreciate any assistance in helping to set up an NDA towards that purpose.
Thank you.
Regards
- Kurt
- - - - - - - - - -
Kurt Woodham
Safety-Critical Avionics Systems Branch
NASA Langley Research Center
1 S Wright St, MS 130
Hampton VA 23681-2199
Dear collaborators,
I have some questions about the AADL and SLIM relationship. Is really SLIM
and extension of AADL in the sense of SLIM should accept a raw AADL model?
Let's say: If define a system in AADL and I want to use compass to analyse
it, would I need to only extend it with SLIM artefacts, or would I need to
modify also the AADL?
Thank you very much and best regards,
Jorge
Dear Viet Yen, all,
we have tried to open the latest COMPASS virtual machine with VMWare
player (we have version 6 installed). When trying to import from .ova
format, either nothing happens, or the following window pops up:
and then, after cliking 'retry':
Can you give some advice about how to run the virtual machine?
Do we need to install any additional packages (ovf tool)?
Did you succeed in unpacking it on your side?
Best regards,
Marco
==========================================================
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/
==========================================================
sehr geehrte(r),
ich wollte Ihnen erstmal Ihnen bedanken für Ihre
Entwicklung dieser Werhkzeuge für Modelierung von
Komponente für Test Sstemen
Ich habe während Nutzung festgesttelt , bei der
Speicherung nach änderung einer erzeugter .xml File, was
unsere Prozess enthält gibt es keine Datei die erzeugt
wird oder die modifiziert ist
Ich habe ein Prozess erzeugt und gespeichert in windows ,
aber bei änderung an dieser könnte ich nicht mehr
speichern oder datei wird nicht geändert.
ist est ein Bug oder nur tschlechte Nutzung?
Mit freundlichen Grüßen
Your mail to 'Compass-announce' with the subject
Release of COMPASS 2.3
Is being held until the list moderator can review it for approval.
The reason it is being held:
Post to moderated list
Either the message will get posted to the list, or you will receive
notification of the moderator's decision. If you would like to cancel
this posting, please visit the following URL:
http://mailman.rwth-aachen.de/mailman/confirm/compass-announce/f382b0de07c7…
Hi, this is Paul from Sanik battery, great to know that you need Ni-CD battery for your products from internet.
We are a professional manufacturer and golden supplier of rechargeable batteries, such as Ni-MH,Ni-CD, li-ion , Li-Polymer ,power bank and e-bike battery pack etc. Our products with good quality and competitive prices have been awarded UL, CE, REACH, ROSH and FCC certificates etc. Our factories are ISO 9001:2008 certified.
We sincerely want to establish business relationship with your honored company. Should you have any questions, welcome to inquire us.
Regards
Paul Huang
Sanik Battery Co., LTD
Web: www.sanikbattery.comhttp://sanikbattery.en.alibaba.com
Mobile: 86-13430213452
Skype: paulhuangbattery
Diret Line: 86-757-81848352
Address: Address: Jinsha Liansha Development Zone, Danzao Town,
Nanhai District, Foshan,Guangdong, China 528222
hello, I am a student from Harbin Institute of Technology in China, and I got some problems
I have beeing study your Compass Toolset recently, and I got the version compass 20110610 , and I write a small test with slim language. however , I can't get results that I want.
The test is
system sensor
features
warning: out event port;
switch: in event port;
end sensor;
system implementation sensor.Impl
subcomponents
power: data real default 6.0;
modes
Off: activation mode;
On: mode;
transitions
Off -[switch]-> On;
On -[then power := power*0.8]->
On;
On -[warning when power <= 0.5]-> Off;
end sensor.Impl;
The result is that when I simulate the test in tab correctness, on the step 16, the mode should have changed to Off, But it didn't. That's what's the problem is.
I will be very grateful for your help;
Another questions is why when I use examples in compass-mannual ,the toolset gives some sytanx wrongs, which occurs on the variable energy’
姓名:胡连亚
学院:计算机科学与技术学院
联系电话:18945015506
Hey compassers!
I have recently graduated from RWTH, having carried out my thesis at i10 (Media Computing Group)
I am looking into open PhD positions, and I was wondering if there were any in association with the ESA. Googling around I came across the compass project!
My background: HCI—user centered design, making devices usable, investigating the effects of the interface on users.
http://hci.rwth-aachen.de/avellino
I don't know who would be the right person to talk to, regarding PhD opportunities at the compass project. I would be grateful to be point towards the right person :)
Best,
- Ignacio Avellino