On t-diagnosability of multicore systems with symmetric circulant structure
Yu. K. Dimitriev · Automation and Remote Control · 2013
We consider system level diagnostics for multicore (modular) computational systems with multiple faults. Test results for faulty units correspond to the well-known model of Preparata, Metze, and Chien (PMC-model). We prove conditions for t -diagnosability without repair for systems whose structure is a symmetric circulant graph. We present the rules of comparative analysis for test results for units in the considered multicore system that ensure a correct and complete testing of its technical state for a number of faulty units that does not exceed a certain predefined threshold.