Dear Roman,

thank you for your interest in the COMPASS toolset.

Since your Company is 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 -- 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 take some time to become reality (if possible at all).

One possibility is to let your colleagues in Poland evaluate the tool (assuming your company has a registered office there), but I am not sure whether this matches your needs.

An 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 arrange a demonstration of these tools, if it is of interest for you. For FBK tools, you can refer to myself. For RWTH tools, someone else in the 'compass-support' list will reply, if you are interested.

Kind regards,

Marco

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

On 6/3/19 1:46 PM, Roman Pavlyuk wrote:

Dear Sirs,

Luftronix is a UAV manufacturer, headquartered in the USA, and with workforce in the USA, Poland and Ukraine.

Our UAVs intended use is in the global aviation industry (airplane inspection).

We're interested in evaluating COMPASS toolset as a (hopefully) more mature MBE alternative to OSATE.

I'd like to kindly ask you to advice on what documents are needed for our engineers to be able to use the toolset.

Thank you, Roman Pavlyuk Chief Technology Officer

---

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-aach...