Dear Nour,

thanks for your interest in the COMPASS toolset.

Since your Company is based outside of the ESA member states, a technology transfer approval from a specific technology transfer department of ESA would be required.

Unfortunately, experience has shown that it has little chance of success -- it appears that recently ESA has become more strict about allowing exploitation outside the ESA member states. In future perspectives, we are discussing with ESA about the possibility to open the access to the toolset to non-ESA member states -- however this will require some time.

An alternative would be to consider using the COMPASS back-ends directly. FBK owns the IPR of the NuSMV model checker and related tools (nuXmv, xSAP, OCRA), and may propose a suitable license agreement for them, whereas RWTH Aachen University owns the IPR of the probabilistic tools (MRMC, IMCA, Sigref). If you are interested, you may contact us. However, these tools are based on input languages other than AADL.

Best regards,

Marco (for the COMPASS Consortium)

On 11/28/2016 10:57 PM, Nour Hilal wrote:

Dear Sir/Madam,

I am a master student from Bogazcici University http://boun.edu.tr/ in Turkey/Istanbul. I am considering working on AADL as a modelling language and I read some papers about COMPASS tool for AADL model verification.

I read in the website that it is only for ESA memebers, but I was wondering if I could obtain COMPASS for research purposes. What can you tell me about this, and is it free? looking forward to hear your response. /**/Best regards,/* ___________________ */ Eng. Nour Hilal*/ /*/"Stars can not shine without darkness/"

---

COMPASS-support mailing list COMPASS-support@lists.rwth-aachen.de http://mailman.rwth-aachen.de/mailman/listinfo/compass-support