PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Caruso A., Chessa S., Maestrini P., Santi P. Diagnosability of Regular Systems. 0503152887, Technical report, 2001.
 
 
Abstract
(English)
A novel approach aimed at evaluating the diagnosability of regular systems under the PMC model is introduced. The diagnosability is defined as the ability to provide a correct diagnosis, although possibly incomplete. This concept is somehow intermediate between one-step diagnosability and sequential diagnosability. A lower bound to diagnosability is determined by lower bounding the minimum of a ''syndrome-dependent'' bound $t_sigma$ over the set of all the admissible syndromes. In turn, $t_sigma$ is determined by evaluating the cardinality of the smal-lest consistent fault set containing an aggregate of maximum cardinality. The new approach, which applies to any regular system, relies on the ''edge-isoperimetric inequalities'' of connected components of units declaring each other non-faulty. This approach has been used to derive tight lower bounds to the diagnosability of toroidal grids and hypercubes, which improve the existing bounds for the same structures.
Subject D.4.5 Operating Systems: Reliability .. Fault.Tolerance
B.1.3 Control Structures and Microprogramming: Control StructureReliability, Testing and Fault.Tolerance .. Diagnostics
B.8.1 Performance and Reliability: Reliability,Testing andFault.Tolerance
C.1.2 Processors Architectures: Multiple Data Stream Architectures ..Array and Vector Processors


Icona documento 1) Download Document PS


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional