Two diagnostic models of distributed digital systems

Two versions of the diagnostic Preparata–Metze–Chien models are described. When the sufficient $t$-diagnosis condition is disturbed, the proposed syndrome decoding procedures identify a minimal number of modules whose additional test unambiguously defines the state of the entire system.