The Model of Reliability of Dublated Real-Time Computers for Cyber-Physical Systems

  • V. A. BogatyrevEmail author
  • S. M. Aleksankov
  • A. N. Derkach
Part of the Studies in Systems, Decision and Control book series (SSDC, volume 260)


The article is devoted to the impact of recovery strategies and organizing migration of virtual resources on the reliability of fault-tolerant embedded two-machine computing systems. This computer is focused on using cyber-physical systems, which are critical to the continuity of the controlling computational process. Fault tolerance of a computer system is realized in the case of migration of a computational process from a failed computer to a working one. The computational process should not be interrupted after failures. The Markov models of reliability are proposed. Embedded two-machine onboard systems are critical to the continuity of the computational process. Systems include the failure criterion such as loss of continuity of the computational process without the implementation of recovery.


Virtualization Virtual machines Clusters Reliability Fault tolerance Non-stationary availability factor 


  1. 1.
    Kopetz, H.: Real-Time Systems: Design Principles for Distributed Embedded Applications, 2nd edn. Springer, Germany (2011)CrossRefGoogle Scholar
  2. 2.
    Sorin, D.: Fault tolerant computer architecture. Morgan & Claypool, USA (2009)CrossRefGoogle Scholar
  3. 3.
    Dudin, A.N., Sun, B.: A multiserver MAP/PH/N system with controlled broadcasting by unreliable servers. Autom. Control Comput. Sci. 5, 32–44 (2009)Google Scholar
  4. 4.
    Coolen, F.P.A., Utkin, L.V.: Robust weighted SVR-based software reliability growth model. Reliab. Eng. Syst. Saf. 176, 93–101 (2018)CrossRefGoogle Scholar
  5. 5.
    Utkin, L.V., Zaborovsky, V.S., Popov, S.G.: Siamese neural network for intelligent information security control in multi-robot systems. Autom. Control Comput. Sci. 8(51), 881–887 (2017)CrossRefGoogle Scholar
  6. 6.
    Aliev, T.I., Rebezova, M.I., Russ, A.A.: Statistical methods for monitoring travel agencies. Autom. Control Comput. Sci. 6(49), 321–327 (2015)CrossRefGoogle Scholar
  7. 7.
    Kutuzov, O.I., Tatarnikova, T.M.: On the acceleration of simulation modeling. In: XXI International Conference on Soft Computing and Measurements (SCM’2018), 23–25 May 2018Google Scholar
  8. 8.
    Korobeynikov, A.G., Fedosovsky, M.E., Zharinov, I.O., Shukalov, A.V., Gurjanov, A.V.: Development of conceptual modeling method to solve the tasks of computer-aided design of difficult technical complexes on the basis of category theory. Int. J. Appl. Eng. Res. 6(12), 1114–1122 (2017)Google Scholar
  9. 9.
    Jin, H., Li, D., Wu, S., Shi, X., Pan, X.: Live virtual machine migration with adaptive memory compression. In: Proceedings IEEE International Conference on Cluster Computing (CLUSTER’09). Art. 5289170, New Orleans, USA (2009).
  10. 10.
    Sahni, S., Varma, V.: A hybrid approach to live migration of virtual machines. In: Proceedings IEEE International Conference on Cloud Computing for Emerging Markets (CCEM), 12–16, Bangalore, India (2012).
  11. 11.
    Knowledge sharing portal UNIX/Linux-systems, open source systems, networks, and other related things. Last accessed 25 Mar 2019
  12. 12.
    Dittner, R., Rule, D.: The Best Damn Server Virtualization Book Period, 2nd edn. Syngress, USA (2011)Google Scholar
  13. 13.
    Zhu, Jun, Jiang, Zhefu, Xiao, Zhen: Optimizing the performance of virtual machine synchronization for fault tolerance. IEEE Trans. Comput. 12(60), 1718–1729 (2011)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Agrawal, S.: Hardware virtualization towards a proficient computing environment. Int. J. Innov. Appl. Stud. 2(3), 528–534 (2013)Google Scholar
  15. 15.
    Khaled, Z.I., Hofmeyr, S., Iancu, C., Roman, E.: Optimized pre-copy live migration for memory intensive applications. In: International Conference for High Performance Computing, Networking, Storage and Analysis, Article 40 (2011)Google Scholar
  16. 16.
    Chandak, A., Jaju, K., Kanfade, A.: Dynamic load balancing of virtual machines using QEMU-KVM. Int. J. Comput. Appl. 6(46), 10–14 (2012). (0975-8887)Google Scholar
  17. 17.
    Adamova, K.: Anomaly detection with virtual service migration in cloud infrastructures. Master thesis. 263-0800-00L (2012)Google Scholar
  18. 18.
    Liang, Hu, Zhao, Jia, Gaochao, Xu, Ding, Yan: HMDC: live virtual machine migration based on hybrid memory copy and delta compression. Appl. Math. Inf. Sci. 7(2L), 639–646 (2013)CrossRefGoogle Scholar
  19. 19.
    Soni, G., Kalra, M.: Comparative study of live virtual machine migration techniques in cloud. Int. J. Comput. Appl. 14(84), 19–25 (2013). (0975-8887)Google Scholar
  20. 20.
    Ageev, A.M.: Configuring of excessive onboard equipment sets. J. Comput. Syst. Sci. Int. 4(57), 640–654 (2018)CrossRefGoogle Scholar
  21. 21.
    Bogatyrev, A.V., Bogatyrev, S.V., Bogatyrev, V.A.: Analysis of the timeliness of redundant service in the system of the parallel-series connection of nodes with unlimited queues. In: 2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF) (2018)Google Scholar
  22. 22.
    Bogatyrev, V.A: On interconnection control in redundancy of local network buses with limited availability. Eng. Simul. 16(4), 463–469 (1999)Google Scholar
  23. 23.
    Bogatyrev, V.A.: Increasing the fault tolerance of a multi-trunk channel by means of inter-trunk packet forwarding. Autom. Control Comput. Sci. 33(2), 70–76 (1999)Google Scholar
  24. 24.
    Bogatyrev, V.A., Aleksankov, S.M., Derkach, A.N.: Model of cluster reliability with migration of virtual machines and restoration on certain level of system degradation. In: 2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF) (2018)Google Scholar
  25. 25.
    Bogatyrev, V., Vinokurova, M.: Control and safety of operation of duplicated computer systems. Commun. Comput. Inform. Sci. 700, 331–342 (2017)CrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  • V. A. Bogatyrev
    • 1
    Email author
  • S. M. Aleksankov
    • 2
  • A. N. Derkach
    • 1
  1. 1.Faculty of Software Engineering and Computer SystemsSaint-Petersburg National Research University of Information Technologies, Mechanics and OpticsSaint-PetersburgRussian Federation
  2. 2.Research Institute MashtabSaint-PetersburgRussian Federation

Personalised recommendations