Skip to main content
SpringerLink
Log in

On the conceptual foundations of comparative analysis and solution of self-diagnostic problems in multiprocessor systems under different unreliable testing models

  • Safety, Viability, Reliability, Technical Diagnostics
  • Published:
Automation and Remote Control Aims and scope Submit manuscript

Abstract

We consider self-diagnostics without repair at the system level for multiprocessor (modular) computing systems under multiple permanent faults and with unreliable tests. We distinguish a group of testing models that represent a system with complete but unreliable tests. We formally justify the inclusion relation between models of unreliable tests that lets us unite models into groups with the same diagnostic properties. We prove statements that let us perform comparative analysis of the diagnostic properties for systems that employ different models of unreliable tests. We find the interrelation between the inclusion relation and a known representation of the connection between the syndrome and fault patterns generating it in the form of Boolean functions. We show the efficiency of using Boolean algebra for the comparative analysis of diagnostic properties of systems with different testing models and for the development of local self-diagnostic algorithms.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Preparata, F.P., Metze, G., and Chien, R.J., On Connection Assignement Problem of DiagnosableSystems, IEEE Trans. El. Comput., 1967, vol. EC-16, no. 12, pp. 848–854.

    Article  Google Scholar 

  2. Parkhomenko, P.P. and Sogomonyan, E.S., Foundations of Technical Diagnostics, in Optimizatsiya algoritmov diagnostirovaniya, apparaturnye sredstva (Optimization of Diagnostic Algorithms, HardwareMethods), Parkhomenko, P.P., Ed., Moscow: Energiya, 1981.

    Google Scholar 

  3. Barsi, F., Grandoni, F., and Maestrini, P., Theory of Diagnosability of Digital Systems, IEEE Trans.Comput., 1976, vol. C-25, no. 6, pp. 585–593.

    Article  Google Scholar 

  4. Chwa, K.Y. and Hakimi, S.L., Schemes for Fault Tolerant Computing—A Comparison of ModularlyRedundant and t-Diagnosable Systems, Inf. Control, 1981, vol. 49, no. 3, pp. 212–238.

    Article  Google Scholar 

  5. Malek, M., A Comparison Connection Assignement for Diagnosis of Multiprocessor System, Proc. 7thInt. Symp. Comput. Archit., 1980, pp. 31–35.

    Google Scholar 

  6. Kavianpour, A. and Friedman, A., A Different Diagnostic Models for Multiprocessor Systems, Proc. Inf.Processing-80 (IFIP Congress 80), Tokyo–Melbourne, 1980, pp. 157–162.

    Google Scholar 

  7. Kramarenko, M.B., Permanent Fault Diagnosis Models in a Parallel Computing System, Elektron. Modelir., 1989, vol. 11, no. 3, pp. 60–65.

    Google Scholar 

  8. Radoichevski, V.Ts. and Shalaev, A.Ya., Parallel Diagnosability of Modular Systems for DecentralizedSyndrome Decoding, Elektron. Modelir., 1992, vol. 14, no. 1, pp. 57–63.

    Google Scholar 

  9. Radoichevski, V.Ts. and Shalaev, A.Ya., On Sequential Diagnosability with Centralized Syndrome Decoding, Elektron. Modelir., 1992, vol. 14, no. 4, pp. 90–93.

    Google Scholar 

  10. Preparata, F.P., Some Results on Sequentially Diagnosable Systems, Proc. Hawaii Int. Conf. Syst. Sci., Honolulu, Hawaii, 1968, pp. 623–626.

    Google Scholar 

  11. Dimitriev, Yu.K., Synthesis the Structure of a Self-Diagnosable Modular Computing System, Elektron. Modelir., 1995, vol. 17, no. 2, pp. 61–71.

    Google Scholar 

  12. Vedeshenkov, V.A. and Nesterov, A.M., On Two Methods for Decoding the Diagnosis Results of DigitalSystems, Elektron. Modelir., 1981, vol. 3, no. 2, pp. 53–58.

    Google Scholar 

  13. Vedeshenkov, V.A., On the BGM Model-Based Diagnosis of Permanent Failed Modules and CommunicationLinks in Digital Systems, Autom. Remote Control, 2002, vol. 63, no. 2, pp. 316–327.

    Article  Google Scholar 

  14. Vedeshenkov, V.A., On Diagnosis of Permanent Failed Modules in Digital Systems by Three-ModuleChains, Autom. Remote Control, 2000, vol. 61, no. 8, part 2, pp. 1382–1389.

    Google Scholar 

  15. Lobanov, A.V. and Sirenko, V.G., Distributed Methods of System Diagnosis of Multicomputer Systems, Autom. Remote Control, 2000, vol. 61, no. 8, part 2, pp. 1390–1396.

    Google Scholar 

  16. Dimitriev, Yu.K., Local Diagnostication in Computer Systems with the Circulant Structure, Autom. Remote Control, 2007, vol. 68, no. 3, pp. 545–556.

    Article  Google Scholar 

  17. Dimitriev, Yu.K., Conditional Local Self-Regulation Rules and a Diagnostic Algorithm for a MultiprocessorSystem with Circulant Diagnostic Structure Based on These Rules, Autom. Remote Control, 2012, vol. 73, no. 5, pp. 862–872.

    Article  Google Scholar 

  18. Dimitriev, Yu.K., Analysis of the Possibility of Local Diagnosis in Computer Systems with CirculantStructure Based on Redundancy in the Number of Analyzed Testing Results, Autom. Remote Control, 2010, vol. 71, no. 4, pp. 697–707.

    Article  Google Scholar 

  19. Dimitriev, Yu.K., Partial and Complete Local Diagnostics in Computational Systems with CirculantStructure, Autom. Remote Control, 2008, vol. 69, no. 7, pp. 1223–1231.

    Article  Google Scholar 

  20. Blount, M., Probabilistic Treatment of Diagnosis in Digital Systems, Proc. 7th FTCS, 1977, pp. 72–77.

    Google Scholar 

  21. Simoncini, L. and Friedman, A.D., System-Level Fault Diagnosis, Computer, 1980, vol. 13, no. 3, pp. 47–53.

    Article  Google Scholar 

  22. Dimitriev, Yu.K., On One Model of Self-Diagnosable Systems, Elektron. Modelir., 1991, vol. 13, no. 1, pp. 108–109.

    Google Scholar 

  23. Somani, A.K., Agrawal, V.K., and Avis, S.D., A Generalized Theory for System-Level Diagnosis, Proc. IEEE Int. Conf. Computer Design: VLSI in Computers, Port Chester, New York, USA, 1985, pp. 707–711.

    Google Scholar 

  24. Toffoli, T. and Margolus, N., Cellular Automata Machines, Cambridge: MIT Press, 1987. Translatedunder the title Mashiny kletochnykh avtomatov, Moscow: Mir, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Rzhanov Institute of Semiconductor Physics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia

    Yu. K. Dimitriev

Authors
  1. Yu. K. Dimitriev
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yu. K. Dimitriev.

Additional information

Original Russian Text © Yu.K. Dimitriev, 2015, published in Avtomatika i Telemekhanika, 2015, No. 7, pp. 150–164.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Dimitriev, Y.K. On the conceptual foundations of comparative analysis and solution of self-diagnostic problems in multiprocessor systems under different unreliable testing models. Autom Remote Control 76, 1260–1270 (2015). https://doi.org/10.1134/S0005117915070115

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0005117915070115

Keywords

Search

Navigation