Skip to main content
SpringerLink
Log in

Diagnostic Model for a Distributed Computer System in Real Time

  • COMPUTER METHODS
  • Published:
Journal of Computer and Systems Sciences International Aims and scope

Abstract

An approach to test the diagnostics of distributed computing systems based on the introduction of redundancy in the system in order to simplify the test construction process and the diagnostic process is investigated. The introduced redundancy is a diagnostic model of the system, which runs in parallel with the main software of the system. For this model, sufficient conditions for controllability and observability are formulated.

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

Fig. 1.
Fig. 2.
Fig. 3.
Fig. 4.

Similar content being viewed by others

REFERENCES

  1. R. J. Patton, P. M. Frank, and R. N. Clark, Issues in Fault Diagnosis for Dynamic Systems (Springer, London, 2000).

    Book  Google Scholar 

  2. R. Isermann, Fault Diagnosis Application (Springer, Heidelberg, 2011).

    Book  Google Scholar 

  3. L. A. Mironovskii, Functional Diagnostics of Dynamic Systems (MGU-GRIF, Moscow, St. Petersburg, 1998) [in Russian].

    Google Scholar 

  4. A. E. Shumskii, A. N. Zhirabok, and Ch. Gadzhiev, Diagnostics and Fault-Tolerant Control of Dynamic Systems (Dal’nevost. Fed. Univ., Vladivostok, 2016) [in Russian].

    Google Scholar 

  5. D. V. Speranskii, Lectures on the Theory of Experiments with Finite Automata (Nats. Otkryt. Univ. INTUIT, Moscow, 2016) [in Russian].

  6. N. V. Kolesov, M. V. Tolmacheva, and P. V. Yukhta, Real Time Systems. Planning, Analysis, Diagnosis (TsNII Elektropribor, St. Petersburg, 2014) [in Russian].

  7. A. M. Gruzlikov and N. V. Kolesov, “Discrete-event diagnostic model for a distributed computational system. Independent chains,” Autom. Remote Control 77, 1805 (2016).

    Article  MathSciNet  Google Scholar 

  8. A. M. Gruzlikov and N. V. Kolesov, “Discrete-event diagnostic model for a distributed computational system. Merging chains,” Autom. Remote Control 78, 682 (2017).

    Article  MathSciNet  Google Scholar 

  9. A. M. Gruzlikov, N. V. Kolesov, and E. V. Lukoyanov, “Test-based diagnosis of faults in data exchange addressing in computer systems using parallel model,” J. Comput. Syst. Sci. Int. 57, 420 (2018).

    Article  MathSciNet  Google Scholar 

  10. A. Gruzlikov, N. Kolesov, E. Lukoyanov, and M. Tolmacheva, “Test-based diagnosis of distributed computer system using a time-varying model,” in Proceedings of the 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS, Warsaw,2018.

  11. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2nd ed. (Springer, New York, 2007).

    MATH  Google Scholar 

  12. J. Zaytoon and S. Lafortune, “Overview of fault diagnosis methods for discrete event systems,” Ann. Rev. Control 37, 308–320 (2013).

    Article  Google Scholar 

  13. T. Cormen, Ch. Leiserson, R. Rivest, and C. Stein, Introduction to Algorithms (MIT Press, Boston, MA, 2009).

    MATH  Google Scholar 

  14. A. Gill, Linear Sequential Circuits (McGraw-Hill, New York, 1966).

    MATH  Google Scholar 

Download references

Funding

This work was supported by the Russian Foundation for Basic Research (grant no. 19-08-00052 a).

Author information

Authors and Affiliations

  1. AO Concern TsNII Elektropribor, St. Petersburg, Russia

    A. M. Gruzlikov, N. V. Kolesov, E. V. Lukoyanov & M. V. Tolmacheva

Authors
  1. A. M. Gruzlikov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. N. V. Kolesov
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. E. V. Lukoyanov
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. M. V. Tolmacheva
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to A. M. Gruzlikov, N. V. Kolesov, E. V. Lukoyanov or M. V. Tolmacheva.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Gruzlikov, A.M., Kolesov, N.V., Lukoyanov, E.V. et al. Diagnostic Model for a Distributed Computer System in Real Time. J. Comput. Syst. Sci. Int. 59, 684–694 (2020). https://doi.org/10.1134/S1064230720050068

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

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

Search

Navigation