Consortium
European Space Agency
European Space Research and Technology Centre funds the AUTOGEF project.
European Space Research and Technology Centre
Keplerlaan 1
NL 2201 AZ Noordwijk
The Netherlands
GMV Aerospace and Defence
GMV Aerospace and Defence is a prime contractor of the AUTOGEF project. Tasks: Identification of solution approach, definition of system requirements and validation of the toolset against system requirements.
GMV Aerospace and Defence
Isaac Newton, 11
P.T.M. Tres Cantos
28760 Madrid, Spain
| Contacts | ||
|---|---|---|
| Elena Alaña | Héctor Naranjo | |
| Phone | +34 918077645 | +34 918072220 |
| ealana [at] gmv.com | hnaranjo [at] gmv.com | |
Thales Alenia Space France
Thales Alenia Space France is the industrial subcontractor of the AUTOGEF project. Tasks: selection of case study and performance evaluation.
Thales Alenia Space France
5, allée des Gabians – BP 99
06156 Cannes la Bocca, France
| Contacts | |
|---|---|
| Regis de Ferluc | |
| Phone | +334 92 28 99 45 |
| regis.deferluc [at] thalesaleniaspace.com | |
Fondazione Bruno Kessler
The former Embedded Systems Unit (now Formal Methods for Systems and Software Design) at Fondazione Bruno Kessler (Italy) is the research subcontractor in the AUTOGEF Project. Tasks: design and implementation of AUTOGEF.
Fondazione Bruno Kessler
Formal Methods Unit
Via Sommarive, 18
38123 Povo/Trento, Italy
| Contacts | |||
|---|---|---|---|
| Dr. Alessandro Cimatti | Dr. Stefano Tonetta | ||
| Phone | +39 0461 314 329 | +39 0461 314 359 | |
| cimatti [at] fbk.eu | tonetta [at] fbk.eu | ||
Project Members
GMV Aerospace and Defence
- Elena Alaña
- Héctor Naranjo
Thales Alenia Space
- Regis de Ferluc
Fondazione Bruno Kessler
- Dr. Alessandro Cimatti
- Dr. Stefano Tonetta
- Dr. Marco Bozzano
- Marco Gario
- Luca Bonetti
- Alessandro Casagrande