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

Access to COMPASS Toolset
by WOODHAM, KURT (LARC-D320) 11 Jul '14

11 Jul '14

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

2 1

Benachrichtigung
by Commerz Bank 14 Mar '14

14 Mar '14

1 0

AADL and SLIM relationship
by Jorge Garrido Balaguer 19 Dec '13

19 Dec '13

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

2 1

Problem with COMPASS virtual machine
by Marco Bozzano 16 Oct '13

16 Oct '13

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/ ==========================================================

2 7

Frage für Nutzung der Compass Toll für Modellierung xml Files
by Dany Sedric Nzeufack Teumena 11 Oct '13

11 Oct '13

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

2 1

Re: [COMPASS-SUPPORT] Focus group (QgNYrKwMnQ)
by S. Ransone 23 May '13

23 May '13

1 0

Your message to Compass-announce awaits moderator approval
by compass-announce-bounces＠lists.rwth-aachen.de 21 May '13

21 May '13

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…

1 0

Ni-CD battery from Sanik battery(Philips supplier)
by paulhuang 08 May '13

08 May '13

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.com http://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

1 0

ask for help
by Hulianya 26 Apr '13

26 Apr '13

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

2 1

Open PhD positions?
by Ignacio Martin Avellino Martinez 18 Apr '13

18 Apr '13

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

2 1