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 (α,β)-diagnosable systems is proposed and described Some relationships between the (α,β)-diagnosability and the traditional diagnosability are shown and proved. Besides, the (α,β)-part diagnosability for different determined. Hierarchical systems such as microprocessors and voting systems are considered and compared