Italiano (Italian) English (Inglese)
Thursday, 14 December 2017

Technical Reports

Technical Report Details
Authors:Daniele Codetta Raiteri
Luigi Portinale
Scientific Area:Artificial Intelligence
Diagnosis
Uncertain Reasoning
Probabilistic Graphical Models
Dependability and Reliability
Title:ARPHA: an FDIR architecture for Autonomous Spacecrafts based on Dynamic Probabilistic Graphical Models
Published on:TR-INF-2010-12-04-UNIPMN
Publisher:DiSIT, Computer Science Institute, UPO
Year:2010
URL:http://www.di.unipmn.it...R-INF-2010-12-04-UNIPMN.pdf
Abstract:This paper introduces a formal architecture for on-board diagnosis, prognosis and recovery called ARPHA. ARPHA is designed as part of the ESA/ESTEC study called VERIFIM (Verification of Failure Impact by Model checking). The goal is to allow the design of an innovative on-board FDIR process for autonomous systems, able to deal with uncertain system/environment interactions, uncertain dynamic system evolution, partial observability and detection of recovery actions taking into account imminent failures. We show how the model needed by ARPHA can be built through a standard fault analysis phase, finally producing an extended version of a fault tree called EDFT; we discuss how EDFT can be adopted as a formal language to represent the needed FDIR knowledge, that can be compiled into a corresponding Dynamic Decision Network to be used for the analysis. We also discuss the software architecture we are implementing following this approach, where on-board FDIR can be implemented by exploiting on-line inference based on the junction tree approach typical of probabilistic graphical models.