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).
The aim of COMPASS project was to develop a modelbased
approach to system-software co-engineering,
tailored to the specifics of critical on-board spacecraft
systems. COMPASS included the development of a
platform based on formal methods, which offers a wide
range of techniques for system verification and
validation.
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