The ESA AUTOGEF (Dependability Design Approach  for Critical Flight Software) study is a direct follow-on  of the ESA TRP COMPASS (Correctness, Modelling  and Performance of Aerospace Systems).

AUTOGEF aims to demonstrate that synthesis  approaches can allow for effective automated FDIR development in accordance with the dependability requirements, through the implementation of an add-on
to the COMPASS tool.

General Info:

Start Date: 1 Apr 2012
End Date: 31 Jul 2021


Marco Bozzano