Analysis of the possibility of local diagnosis in computer systems with circulant structure based on redundancy in the number of analyzed testing results

Local diagnosis at multiple faults when a faultless/faulty state for each module is identified only by the results of comparative analysis of testing results of the modules that have physical connections with diagnosable module is considered. Conditions at which the state can be defined not for all modules (dead state) are studied. Features of the dead state for separate modules and for the system on the whole, the use of which allows reducing the labor intensiveness of the analysis of local diagnosability of a system, are obtained. In the paper, the possibility of redundancy in the number of dead states at using the redundancy in the number of testing results participating in comparative analysis is shown for systems with circulant diagnostic structure. It is proved that for systems with optimal circulant diagnostic structure such redundancy makes a sufficient condition for excluding dead states.