Dear Josh, 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). 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), whose use is free for academic research, whereas RWTH Aachen University owns the IPR of the probabilistic tools (MRMC, IMCA, Sigref). With 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 12/13/2017 09:13 PM, Joshua Wallin wrote:

Hello,

I am an undergraduate student at Iowa State University in the United States, working under Dr. Robyn Lutz (Department of Computer Science) and Dr. Kristin Rozier (Department of Aerospace Engineering). As part of my research on safety-critical product lines in the aerospace domain, I was hoping that I might find a way to access the COMPASS toolset for academic purposes. If there is any way for this to happen (by signing NDAs, restricting access, etc.), please let me know.

Best wishes,

Josh Wallin

-- *Josh Wallin* *Iowa State University* /Research Assistant/ | Department of Computer Science /Peer Mentor/ | Department of Electrical & Computer Engineering /Engineering Intern (ES-51)/ | NASA Marshall Space Flight Center /Junior/ | Computer Engineering, Spanish

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