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.

Automated generation of FDIR for the compass integrated toolset (AUTOGEF)

Bozzano, Marco;Cimatti, Alessandro;Gario, Marco Elio Gustavo;
2012-01-01

Abstract

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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11582/157001
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact