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

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.