Italiano (Italian) English (Inglese)
Saturday, 16 December 2017


Pubblication Details
Authors:Andrea Bobbio
Daniele Codetta Raiteri
Andrea Guiotto
Luigi Portinale
Yuri Yushtein
Scientific Area:Diagnosis
Uncertain Reasoning
Probabilistic Graphical Models
Dependability and Reliability
Title:A Unified Modelling and Operational Framework for Fault Detection, Identification, and Recovery in Autonomous Spacecrafts
Published on:Theory and Application of Multi-Formalism Modeling
Tipo Pubblicazione:Chapter of Book
Abstract:Recent studies have focused on spacecraft autonomy. The traditional approach for FDIR (Fault Detection, Identification, Recovery) consists of the run-time observation of the operational status to detect faults; the initiation of recovery actions uses static pre-compiled tables. This approach is purely reactive, puts the spacecraft into a safe configuration, and transfers control to the ground. ARPHA is an FDIR engine based on probabilistic models. ARPHA integrates a high-level, a low-level, and an inference-oriented formalism (DFT, DBN, JT, respectively). The off-board process of ARPHA consists of the DFT construction by reliability engineers, the automatic transformation into DBN, the manual enrichment of the DBN, and the JT automatic generation. The JT is the on-board model undergoing analysis conditioned by sensor and plan data. The goal is the current and future state evaluation and the choice of the most suitable recovery policies according to their future effects without the assistance of the ground control.