Dear Hari,

thank you for your interest in the COMPASS toolset.

Since you are based outside of the ESA member states, a technology transfer approval from the technology transfer department of ESA would be required. Unfortunately, experience has shown that it has little chance of success, since ESA has recently become more strict about allowing exploitation outside the ESA member states.

A possible alternative is to consider using the COMPASS back-ends directly. FBK owns the IPR of the NuSMV model checker and related tools (nuXmv, xSAP, OCRA -- see nuxmv.fbk.eu, xsap.fbk.eu, ocra.fbk.eu), whose use is free for academic research, whereas RWTH Aachen University owns the IPR of the probabilistic tools (MRMC, IMCA, Sigref). We would be glad to provide more information, if it is of interest for you.

A further alternative is to consider using the COMPASTA https://indico.esa.int/event/386/contributions/6296/attachments/4291/6401/1445%20-%20compasta%20integration%20of%20the%20compass%20and%20taste%20toolsets.pdftoolset, which offers a subset of the COMPASS functionality, in the context of the TASTE https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=&cad=rja&uact=8&ved=2ahUKEwjc-PKIrf36AhWL7rsIHYTwAHgQFnoECA4QAQ&url=https%3A%2F%2Ftaste.tools%2F&usg=AOvVaw2FJErgTuook294i6iW575Btool for MBSE. The COMPASTA toolset will be released publicly at the end of this year, and will have a more liberal license w.r.t. COMPASS.

Kind regards,

Marco

On 10/26/2022 3:33 AM, Hariharan Gopalan wrote:

Hello

Could you please send me the NDA for downloading the COMPASS toolkit?

I live in USA and am a citizen of USA

Thanks Hari

---

COMPASS-support mailing list --compass-support@lists.rwth-aachen.de To unsubscribe send an email tocompass-support-leave@lists.rwth-aachen.de https://lists.rwth-aachen.de/postorius/lists/compass-support.lists.rwth-aach...