You are here

AUTOGEF - Dependability design approach for critical flight software

Project researchers

Senior Researcher
Senior Researcher

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.