Dear Sir/Madam,

I am a master student from Bogazcici University 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.