Diagnosis of faulty units in regular graphs under the PMC model

The paper presents a system-level diagnosis based on a general symmetric diagnostic model - the PMC model. In particular, the one-step diagnosis of t-diagnosable systems and its Boolean formalization extension are presented. This extension transforms a syndrome decoding process to solving Boolean expressions. New rules for the PMC model were defined with their application to regular systems. Using the rules for such systems improves the syndrome-decoding process in time consumption.