S-Space College of Engineering/Engineering Practice School (공과대학/대학원) Program in Technology, Management, Economics and Policy (협동과정-기술·경영·경제·정책전공) Others_협동과정-기술·경영·경제·정책전공
Constraint Based System-Level Diagnosis of Multiprocessors
- Altmann, Jorn; Bartha, T.; Pataricza, A.; Petri, A.; Urban, P.
- Issue Date
- Springer Verlag
- Lecture Notes in Computer Science, Vol. 1150/1996 (1996) 403-420
- 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 . 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.
- 0302-9743 (print)
- Files in This Item: There are no files associated with this item.