Italiano (Italian) English (Inglese)
Wednesday, 24 July 2024


Project Details
Participants: Andrea Bobbio
Daniele Codetta Raiteri
Giuliana Franceschinis
Luigi Portinale
Primary Investigator: Luigi Portinale
Scientific Area: Artificial Intelligence
Title: VERIFIM: Verification of Failure Impact by Model Checking
Start: 2010
End: 2011
Description: 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.

ESA (European Spacy Agency) funded study.

Partners: Thales/Alenia Space (main contractor), DI-UNIPMN (subcontractor)

More Info: