COMPASS-support

compass-support@lists.rwth-aachen.de

120 Diskussionen

von WOODHAM, KURT (LARC-D320)

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

9 Jahre, 9 Monate

Benachrichtigung

von Commerz Bank

10 Jahre, 1 Monat

AADL and SLIM relationship

von Jorge Garrido Balaguer

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

10 Jahre, 4 Monate

Problem with COMPASS virtual machine

von Marco Bozzano

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

10 Jahre, 6 Monate

Frage für Nutzung der Compass Toll für Modellierung xml Files

von Dany Sedric Nzeufack Teumena

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

10 Jahre, 6 Monate

Re: [COMPASS-SUPPORT] Focus group (QgNYrKwMnQ)

von S. Ransone

10 Jahre, 11 Monate

Your message to Compass-announce awaits moderator approval

von compass-announce-bounces＠lists.rwth-aachen.de

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…

10 Jahre, 11 Monate

Ni-CD battery from Sanik battery(Philips supplier)

von paulhuang

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

10 Jahre, 11 Monate

ask for help

von Hulianya

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

11 Jahre

Open PhD positions?

von Ignacio Martin Avellino Martinez

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

11 Jahre

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

COMPASS-support