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 toolset, which offers a subset of the COMPASS functionality, in the context of the TASTE tool 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

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 to compass-support-leave@lists.rwth-aachen.de
https://lists.rwth-aachen.de/postorius/lists/compass-support.lists.rwth-aachen.de

-- 
==============================================================================
 Marco Bozzano, PhD, Researcher at FBK
   Via Sommarive 18, Povo, 38123 Trento (Italy)
   ph.: +39-0461-314367
   mobile: +39-366-6722580 (calls only, no SMS)
   bozzano@fbk.eu, http://es.fbk.eu/people/bozzano/
==============================================================================