Eighth Pacific Rim International Symposium on Dependable Computing (PRDC'01)
Modeling the Dependability of N-Modular Redundancy on Demand under Malicious Agreement
Seoul, Korea
December 17-December 19
ISBN: 0-7695-1414-6
In a multiprocessor under normal loading conditions, idle processors naturally offer spare capacity. Previous work attempted to utilize this redundancy to overcome the limitations of classic diagnosability and modular redundancy techniques while providing significant fault tolerance. A popular approach has been task duplexing. The usefulness of this approach for critical applications, unfortunately, is seriously undermined by its susceptibility to agreement on faulty outcomes (malicious agreement). To assess dependability of duplexing under malicious agreement, we propose a stochastic model which dynamically profiles behavior in the presence of malicious faults. The model uses a, more or less, typical policy we call NMR on demand (NMROD). Each task in a multiprocessor is duplicated, with additional processors allocated for recovery as needed. NMROD relies on a fault model favoring response correctness over actual fault status, and integrates on-line repair to provide non-stop operation over an extended period.
Citation:
F. Lombardi, N. Park, M. Al-Hashimi, H.H. Pu, "Modeling the Dependability of N-Modular Redundancy on Demand under Malicious Agreement," prdc, pp.68, Eighth Pacific Rim International Symposium on Dependable Computing (PRDC'01), 2001