Hierarchical diagnostic model of distributed multicomputer systems

A new diagnostic model of multimicrocomputer systems is defined and analysed. It is assumed that a system consists of units which are able to perform a permissible set of tests. Three kinds of system units can be engaged in each test: active (deciding) units, passive units, and the tested units. From the invalidation point of view the proposed model is located between Preparata-Metze-Chien's (1967) model (symmetric invalidation) and Chwa-Hakimi-Malek's (1980, 1981) model (asymmetric invalidation for comparison testing). Moreover, we assume multiple invalidation per test and single unit per test. The new category of (/spl alpha/,/spl beta/)-diagnosable systems is proposed and described Some relationships between the (/spl alpha/,/spl beta/)-diagnosability and the traditional diagnosability are shown and proved. Besides, the (/spl alpha/,/spl beta/)-part diagnosability for different determined. Hierarchical systems such as microprocessors and voting systems are considered and compared.<
>