Title :
Diagnosis of faulty units in regular graphs under the PMC model
Author :
Mánik, M. ; Gramatová, E.
Author_Institution :
Inst. of Inf., Slovak Acad. of Sci., Bratislava
Abstract :
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.
Keywords :
Boolean functions; decoding; fault diagnosis; graph theory; Boolean expressions; Boolean formalization extension; PMC model; Preparata-Metze-Chien model; fault diagnosis; regular graph; syndrome decoding process; Automatic testing; Built-in self-test; Circuit faults; Circuit testing; Decoding; Fault diagnosis; Informatics; Integrated circuit interconnections; System testing; Workstations; PMC model; k-regular graph; system-level diagnosis;
Conference_Titel :
Design and Diagnostics of Electronic Circuits & Systems, 2009. DDECS '09. 12th International Symposium on
Conference_Location :
Liberec
Print_ISBN :
978-1-4244-3341-4
Electronic_ISBN :
978-1-4244-3340-7
DOI :
10.1109/DDECS.2009.5012128
