The FAME environment is a model-based toolset that implements an integrated process for FDIR (Fault Detection, Isolation and Recovery) design, addressing the shortcomings of existing practices for FDIR development in aerospace. It is built on top of COMPASS, a framework for model-based design and verification, that provides several verification capabilities, including simulation, property verification, RAMS analysis (FTA, FMEA), diagnosability and FDIR analysis. The FAME environment supports FDIR design by providing functionality to define mission and FDIR requirements, fault propagation modeling using TFPGs (Timed Fault Propagation Graphs), and automated synthesis of FDIR models from TFPGs and FDIR requirements. The FAME environment has been developed within an ESA-funded study, and has been thoroughly evaluated by the industrial partners on a case study derived from the ExoMars project.

FAME: A Model-Based Environment for FDIR Design in Aerospace

Bittner, Benjamin;Bozzano, Marco;Cimatti, Alessandro;Gario, Marco Elio Gustavo;
2014

Abstract

The FAME environment is a model-based toolset that implements an integrated process for FDIR (Fault Detection, Isolation and Recovery) design, addressing the shortcomings of existing practices for FDIR development in aerospace. It is built on top of COMPASS, a framework for model-based design and verification, that provides several verification capabilities, including simulation, property verification, RAMS analysis (FTA, FMEA), diagnosability and FDIR analysis. The FAME environment supports FDIR design by providing functionality to define mission and FDIR requirements, fault propagation modeling using TFPGs (Timed Fault Propagation Graphs), and automated synthesis of FDIR models from TFPGs and FDIR requirements. The FAME environment has been developed within an ESA-funded study, and has been thoroughly evaluated by the industrial partners on a case study derived from the ExoMars project.
File in questo prodotto:
File Dimensione Formato  
main.pdf

non disponibili

Tipologia: Documento in Pre-print
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 186.9 kB
Formato Adobe PDF
186.9 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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: http://hdl.handle.net/11582/244825
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact