Constraint Based System-Level Diagnosis of Multiprocessors

Abstract

The paper presents a novel modelling technique for system-level fault diagnosis in massive parallel multiprocessors, based on a re-formulation of the problem of syndrome decoding to a constraint satisfaction problem (CSP). The CSP based approach is able to handle detailed and inhomogeneous functional fault models to a similar depth as the Russel-Kime model… (More)
DOI: 10.1007/3-540-61772-8_51

Topics

13 Figures and Tables

Slides referencing similar topics