Projects
| 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: http://people.unipmn.it/dcr/verifim/ |