Istituto di Scienza e Tecnologie dell'Informazione     
Serafini M., Bondavalli A., Suri N. Online diagnosis and recovery: on the choice and impact of tuning parameters. In: Ieee Transactions on Dependable and Secure Computing, vol. 4 (4) pp. 295 - 312. Ravi K. Iyer (ed.). IEEE Computer Society, 2007.
A sequenced process of Fault Detection followed by the erroneous node's Isolation and system Reconfiguration (node exclusion or recovery), that is, the FDIR process, characterizes the sustained operations of a fault-tolerant system. For distributed systems utilizing message passing, a number of diagnostic (and associated FDIR) approaches, including our prior algorithms, exist in literature and practice. Invariably, the focus is on proving the completeness and correctness (all and only the faulty nodes are isolated) for the chosen fault model, without explicitly segregating permanent from transient faulty nodes. To capture diagnostic issues related to the persistence of errors (transient, intermittent, and permanent), we advocate the integration of count-and-threshold mechanisms into the FDIR framework. Targeting pragmatic system issues, we develop an adaptive online FDIR framework that handles a continuum of fault models and diagnostic protocols and comprehensively characterizes the role of various probabilistic parameters that, due to the count-and-threshold approach, influence the correctness and completeness of diagnosis and system reliability such as the fault detection frequency. The FDIR framework has been implemented on two prototypes for automotive and aerospace applications. The tuning of the protocol parameters at design time allows a significant improvement with respect to prior design choices.
URL: http://ieeexplore.ieee.org/servlet/opac?punumber=8858
DOI: 10.1109/TDSC.2007.70210
Subject Error detection
Transient faults
Online diagnosis
System reliability

Icona documento 1) Download Document ZIP

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional