A generalized model for distributed comparison-based system-level diagnosis

• Autor(a) principal: Albini,Luiz Carlos Pessoa
• Data de Publicação: 2005
• Outros Autores: Duarte Jr,Elias Procópio, Ziwich,Roverli Pereira
• Tipo de documento: Artigo
• Idioma: eng
• Título da fonte: Journal of the Brazilian Computer Society
• Texto Completo: http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002005000100005
• topic: Distributed Diagnosis; System-Level Diagnosis; Comparison-Based Diagnosis

This work introduces a new system-level diagnosis model and an algorithm based on this model: Hi-Comp (Hierarchical Comparison-based Adaptive Distributed System-Level Diagnosis algorithm). This algorithm allows the diagnosis of systems that can be represented by a complete graph. Hi-Comp is the first diagnosis algorithm that is, at the same time, hierarchical, distributed and comparison-based. The algorithm is not limited to crash fault diagnosis, because its tests are based on comparisons. To perform a test, a processor sends a task to two processors of the system that, after executing the task, send their outputs back to the tester. The tester compares the two outputs; if the comparison produces a match, the tester considers the tested processors fault-free; on the other hand, if the comparison produces a mismatch, the tester considers that at least one of the two tested processors is faulty, but can not determine which one. Considering a system of N nodes, it is proved that the algorithm's diagnosability is (N-1) and the latency is log2N testing rounds. Furthermore, a formal proof of the maximum number of tests required per testing round is presented, which can be O(N³). Simulation results are also presented.