Browse

Constraint Based System-Level Diagnosis of Multiprocessors

Cited 0 time in Web of Science Cited 1 time in Scopus
Authors
Altmann, Jorn; Bartha, T.; Pataricza, A.; Petri, A.; Urban, P.
Issue Date
1996-10
Publisher
Springer Verlag
Citation
Lecture Notes in Computer Science, Vol. 1150/1996 (1996) 403-420
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 [18]. Multiple-valued
logic is used to deal with system components having multiple fault modes. The
granularity of the models can be adjusted to the target diagnostic resolution
without altering the methodology. Two algorithms for the Parsytec GCel massively
parallel system are used as illustration in the paper: the centralized
method uses a detailed system model, and provides a fine-granular diagnostic
image for off-line evaluation. The distributed method makes fast decisions for
reconfiguration control, using a simplified model.
ISSN
0302-9743 (print)
1611-3349 (online)
Language
English
URI
http://hdl.handle.net/10371/6880
DOI
https://doi.org/10.1007/3-540-61772-8_51
Files in This Item:
There are no files associated with this item.
Appears in Collections:
College of Engineering/Engineering Practice School (공과대학/대학원)Program in Technology, Management, Economics and Policy (협동과정-기술·경영·경제·정책전공)Others_협동과정-기술·경영·경제·정책전공
  • mendeley

Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.

Browse