Abstract
We consider local testing on the system level for multiprocessor (modular) computational systems (CS) with multiple faults. CS has a circulant diagnostic structure. Outcomes of the tests performed by faulty units correspond to a well-known model of Preparata, Metze, and Chien. The testing problem is formulated as the problem of finding at least one actually operational unit with which one can diagnose the state of the system as a whole. We introduce the conditions for finding a set of units that includes all faulty units present in the system. We present a system self-testing algorithm. We show that using this algorithm, one can reach local t-diagnosability of a CS with circulant diagnostic structure for any number of units N and fault multiplicity t that satisfy N ≥ 2t + 1.
Similar content being viewed by others
References
Dimitriev, Yu.K., Local Diagnostication in Computer Systems with the Circulant Structure, Autom. Remote Control, 2007, vol. 68, no. 3, pp. 545–556.
Dimitriev, Yu.K., Partial and Complete Local Diagnosis in Computer Systems with Circulant Structure, Autom. Remote Control, 2008, vol. 69, no. 7, pp. 1223–1230.
Preparata, F.P., Metze, G., and Chien, R.T., On the Connection Assignment Problem of Diagnosable Systems, IEEE Trans. Electron. Comput., 1967, vol. ES-16, no. 4, pp. 848–854.
Dimitriev, Yu.K., Self-Diagnostics in Systems of Identical Units, in Voprosy teoriii postroeniya vychislitel’nykh sistem (Theory and Construction of Computational Systems), Novosibirsk, 1978, no. 3, pp. 107–121.
Meyer, G.G.L., A Fault-Diagnosis Algorithm for Asymmetric Modular Architectures, IEEE Trans. Comput., 1981, vol. C-30, no. 1, pp. 81–83.
Dahbura, A.T. and Masson, G.M., An O(n2.5) Fault Identification Algorithm for Diagnosable Systems, IEEE Trans. Comput., 1984, vol. C-33, no. 6, pp. 486–492.
Author information
Authors and Affiliations
Additional information
Original Russian Text © Yu.K. Dimitriev, 2012, published in Avtomatika i Telemekhanika, 2012, No. 5, pp. 125–140.
Rights and permissions
About this article
Cite this article
Dimitriev, Y.K. Conditional local self-regulation rules and a diagnostic algorithm for a multiprocessor system with circulant diagnostic structure based on these rules. Autom Remote Control 73, 862–872 (2012). https://doi.org/10.1134/S0005117912050104
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0005117912050104