Italiano (Italian) English (Inglese)
venerdì, 15 dicembre 2017

Progetti

Dettagli Progetto
Partecipanti: Andrea Bobbio
Daniele Codetta Raiteri
Giuliana Franceschinis
Luigi Portinale
Responsabile: Luigi Portinale
Area Scientifica: Artificial Intelligence
Titolo: VERIFIM: Verification of Failure Impact by Model Checking
Inizio: 2010
Termine: 2011
Descrizione: 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: http://people.unipmn.it/dcr/verifim/