Abstract:
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.