VeriFIM:
Verification of
Failure Impact
by Model checking
The project's goal is to build an FDIR (Failure Detection, Identification and Recovery) engine for an autonomous spacecraft, using probabilistic techniques based on Bayesian Belief Networks models (statement of work).
Funding: European Space Agency ESTEC/ESA under grant n. TEC-SWE/09-259/YY
Partners: Thales/Alenia Torino; Computer Science Department, University of Piemonte Orientale
Principal Investigators: Andrea Guiotto (unit coordinator), Stefano Di Nolfo (Thales/Alenia); Luigi Portinale (unit coordinator), Andrea Bobbio, Daniele Codetta-Raiteri, Roberta Terruggia (U.P.O.)
Duration: 2010/2011