Publications
Detailed Information
Constraint Based System-Level Diagnosis of Multiprocessors
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Altmann, Jorn | - |
dc.contributor.author | Bartha, T. | - |
dc.contributor.author | Pataricza, A. | - |
dc.contributor.author | Petri, A. | - |
dc.contributor.author | Urban, P. | - |
dc.date.accessioned | 2009-08-11 | - |
dc.date.available | 2009-08-11 | - |
dc.date.issued | 1996-10 | - |
dc.identifier.citation | Lecture Notes in Computer Science, Vol. 1150/1996 (1996) 403-420 | en |
dc.identifier.isbn | 978-3-540-61772-3 | - |
dc.identifier.issn | 0302-9743 (print) | - |
dc.identifier.issn | 1611-3349 (online) | - |
dc.identifier.uri | https://hdl.handle.net/10371/6880 | - |
dc.description.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. | en |
dc.language.iso | en | en |
dc.publisher | Springer Verlag | en |
dc.title | Constraint Based System-Level Diagnosis of Multiprocessors | en |
dc.type | Conference Paper | en |
dc.identifier.doi | 10.1007/3-540-61772-8_51 | - |
- Appears in Collections:
- Files in This Item:
- There are no files associated with this item.
Item View & Download Count
Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.