COMPASS

Correctness, Modeling and Performance of Aerospace Systems

Consortium

European Space Agency

European Space Research and Technology Centre funds the FAME project.

ESA Logo
European Space Research and Technology Centre Keplerlaan 1 NL 2201 AZ Noordwijk The Netherlands

Thales Alenia Space Italia

Thales Alenia Space Italia is the prime contractor of the FAME project. Tasks: system specification, validation and characterization of FAME.

Thales Logo
Thales Alenia Space Italia Strada Antica di Collegno, 253 Torino, Italy
Contacts
Andrea Guiotto
E-mail andrea.guiotto [at] thalesaleniaspace.com

Thales Alenia Space France

Thales Alenia Space France is the industrial subcontractor of the FAME project. Tasks: selection of case study and performance evaluation.

Thales Logo
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
E-mail 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 FAME Project. Tasks: design and implementation of FAME.

FBK Logo
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
E-mail cimatti [at] fbk.eu tonetta [at] fbk.eu

Project Members

Thales Alenia Space

  • Andrea Guiotto
  • Regis de Ferluc

Fondazione Bruno Kessler