Skip to main content
SpringerLink
Log in

Extracting complexes that ensure sufficient structural conditions for system mutual informational agreement in multicomplex systems

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

Abstract

We study the possibility to organize a solution in a network of arbitrary structure for a given set of interacting tasks with fault- and transient-fault-tolerance characteristics specified for each problem. For each problem, we distinguish a complex where all computers solve copies of this task (task replication), exchange results, and choose the correct one. The key problem in such computations is system mutual information agreement (SMIA) that ensures coherence of system information in all computers of all complexes under admissible faults. We derive sufficient structural conditions for reaching such a MIA and methods for finding them. We propose an algorithm for distinguishing complexes corresponding to problems being solved in computer networks (if at all possible).

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. Asharina, I.V. and Lobanov, A.V., Extracting the Structural Environment for System Mutual Information Coordination in Multicomplex Systems, Autom. Remote Control (in press).

  2. Pease, M., Shostak, R., and Lamport, L., Reaching Agreement in the Presence of Faults, J. Assoc. Comput. Mach., 1980, vol. 27, no. 2, pp. 228–237.

    Article  MATH  MathSciNet  Google Scholar 

  3. Geninson, B.A., Pankova, L.A., and Trakhtengerts, E.A., Fault-TolerantMethods of Ensuring Interactive Consistency in Distributed Computing Systems, Autom. Remote Control, 1989, vol. 50, no. 5, part 1, pp. 579–590.

    MATH  Google Scholar 

  4. Asharina, I.V., Lobanov, A.V., and Mishenko, I.G., Mutual Informational Coordination in Incompletely Connected Multicomputer Systems, Autom. Remote Control, 2003, vol. 64, no. 5, pp. 843–850.

    Article  MATH  Google Scholar 

  5. Lobanov, A.V., Models of Closed Multimachine Computer Systems with Transient-Fault-Tolerance and Fault-Tolerance on the Basis of Replication under Byzantine Faults, Autom. Remote Control, 2009, vol. 70, no. 2, pp. 328–343.

    Article  MATH  MathSciNet  Google Scholar 

  6. Parkhomenko, P.P. and Sogomonyan, E.S., Osnovy tekhnicheskoi diagnostiki (optimizatsiya algoritmov diagnostirovaniya, apparaturnye sredstva) (Fundamentals of Technical Diagnostics (Optimizing Diagnostic Algorithms and Hardware)), Parkhomenko, P.P., Ed., Moscow: Energiya, 1981.

  7. Nefedov, V.N. and Osipova, V.A., Kurs diskretnoi matematiki. Uch. pos. (A Course in Discrete Mathematics. Textbook), Moscow: Mosk. Aviats. Inst., 1992.

    Google Scholar 

  8. Asharina, I.V. and Lobanov, A.V., Mutual Information Reconciliation in Non-fully Connected Heterogeneous Multicomputer Computational Systems, Autom. Remote Control, 2010, vol. 71, no. 5, pp. 847–858.

    Article  MATH  MathSciNet  Google Scholar 

  9. Ershov, A.P., Vvedenie v teoreticheskoe programmirovanie (Introduction to Theoretical Programming), Moscow: Nauka, 1977.

    Google Scholar 

  10. Avizienis, A. and Laprie, J.-C., Dependable Computing: From Concepts to Design Diversity, Proc. IEEE, 1986, vol. 76, no. 5, pp. 629–638.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Federal State Institute “Submikron,”, Moscow, Russia

    I. V. Asharina & A. V. Lobanov

Authors
  1. I. V. Asharina
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. V. Lobanov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to I. V. Asharina.

Additional information

Original Russian Text © I.V. Asharina, A.V. Lobanov, 2014, published in Avtomatika i Telemekhanika, 2014, No. 6, pp. 115–131.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Asharina, I.V., Lobanov, A.V. Extracting complexes that ensure sufficient structural conditions for system mutual informational agreement in multicomplex systems. Autom Remote Control 75, 1078–1089 (2014). https://doi.org/10.1134/S0005117914060083

Download citation

  • Received:

  • Published:

  • Issue Date:

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

Keywords

Search

Navigation