<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Timeliness of the Reserved Maintenance by Duplicated Computers of Heterogeneous Delay-Critical Stream*</article-title>
      </title-group>
      <contrib-group>
        <aff id="aff0">
          <label>0</label>
          <institution>NEO St. Petersburg Competency Center</institution>
          ,
          <addr-line>Saint-Petersburg 194214, Russian Federation</addr-line>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Saint-Petersburg National Research University of Information Technologies</institution>
          ,
          <addr-line>Mechanics and Optics, Kronverksky prospect, 49, Saint Petersburg, 197101, Russian Federation</addr-line>
        </aff>
      </contrib-group>
      <fpage>26</fpage>
      <lpage>36</lpage>
      <abstract>
        <p>The research of ways to improve the functional reliability and timeliness of service requests in duplicate computer systems was conducted. Timeliness increases as a result of the reserved maintenance of delay-critical requests in queues. The timeliness of the calculations is determined by the probability that the delay in waiting for service requests do not exceed the established maximum permissible time. The effectiveness of the reserved execution of delay-critical requests during load balancing as a result of the distribution of non-reserved requests among workable computers is shown.</p>
      </abstract>
      <kwd-group>
        <kwd>timeliness</kwd>
        <kwd>cluster</kwd>
        <kwd>reserved service</kwd>
        <kwd>heterogeneous stream</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        High reliability and fault tolerance [
        <xref ref-type="bibr" rid="ref1 ref2 ref3">1-3</xref>
        ] are supported during clustering and
virtualization in real-time computer systems that do not allow breaks in the computational
process. In such systems, the migration of virtual machines (VM) between physical nodes
of the cluster is required in order to reconfigure to adapt the system to the accumulation
of failures [
        <xref ref-type="bibr" rid="ref4 ref5 ref6">4-6</xref>
        ]. The migration of virtual resources and computational processes in
real-time systems can be used while maintaining the continuity of the computational
process after failures of physical nodes [
        <xref ref-type="bibr" rid="ref7 ref8">7-8</xref>
        ]. For fault tolerance, the system supports
at least two copies of the VM in the memory of different physical computers. VM
virtual disk images are stored on dedicated or distributed data storage with synchronous
data replication. The backup computer must support an up-to-date copy of the RAM
[
        <xref ref-type="bibr" rid="ref7 ref8 ref9">7-9</xref>
        ] of the active VM. Recovery time after failures depends on the structure and
amount of data storage, which can be shared or local to each computer. When
organizing a VM migration through a multi-tier network [
        <xref ref-type="bibr" rid="ref10 ref11 ref12">10- 12</xref>
        ], it is necessary to take into
account network delays [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ], including multi-path data transmission and reserved
transfers through aggregated channels [
        <xref ref-type="bibr" rid="ref14 ref15">14-15</xref>
        ].
*
      </p>
      <p>
        Models and organization of embedded redundant computer systems are considered
in [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ]. Markov models of reliability of cluster systems with VM migration that was
proposed in [
        <xref ref-type="bibr" rid="ref17">17</xref>
        ] make it possible to determine stationary and non-stationary
availability factors of the system characterizing cluster structural reliability. Markov duplicate
computer systems, taking into account the influence of the control system on the
readiness and safety of systems, are proposed in [
        <xref ref-type="bibr" rid="ref18">18</xref>
        ].
      </p>
      <p>
        For real-time systems, the functional reliability of a cluster is determined not only
by the probability of its readiness to perform the required functions but also by the
probability of timely execution of delay-critical queries [
        <xref ref-type="bibr" rid="ref18">18</xref>
        ].
      </p>
      <p>
        In [
        <xref ref-type="bibr" rid="ref18">18</xref>
        ], it was shown that redundant servicing in cluster systems potentially allows
increasing the probability of timely servicing of delay-critical requests while reducing
the average waiting time. The backup service of delay-critical requests is considered
successful if at least one of the created copies of the request is executed in a timely
manner. The redundant service of requests leads to a technical contradiction. On the
one hand, it leads to an increase in load, which means additional expectations of
requests` copies in queues. On the other hand, to the potential possibility that a certain
copy can be served much faster than the others.
      </p>
      <p>The purpose of the research is to study the possibilities of increasing the functional
reliability and timeliness of servicing duplicated computer systems as a result of
redundant maintenance of delay-critical requests in queues.</p>
      <p>
        The object of the study - Fault tolerance duplicate complex with a cluster
architecture. The cluster contains two computers with local storage devices. Servers are
connected through a switch. The data storage system is represented as local storage for
each physical node as a hard disk. Synchronous data replication is maintained between
local repositories to ensure fault tolerance [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ].
2
      </p>
      <p>Evaluation of the Requests` Timeliness.</p>
      <p>The timeliness of the calculations is determined by the probability that the delay in
waiting for service requests do not exceed the established maximum permissible time
t. Timeliness characterizes the functional reliability of the system.</p>
      <p>We assume that the request stream is heterogeneous and contains requests of
different criticality to the execution time.</p>
      <p>
        For the two-machine cluster in question, inoperable and workable states are possible,
in which the input request stream can be executed on two or one of the computers. Each
computer node is represented as a single-channel queueing system with an infinite
queue [
        <xref ref-type="bibr" rid="ref19 ref20">19, 20</xref>
        ].
      </p>
      <p>Let us single out the requests of two grades of criticality to the waiting time t1 and t2
(t1 &lt; t2), arriving with intensities Λ, Λβ and executing for the same average time v.</p>
      <p>In the case of readiness (operability) of one computer out of two and the lack of
priorities in service, the probability of fulfilling requests with waiting for criticality
(maximum allowable waiting time) t1 and t2 (t1 &lt; t2) is calculated respectively as:
With the operability (readiness) of two computers, there are possible options for
organizing the maintenance of a heterogeneous stream of requests, among which we consider
options without and with redundant maintenance of critical requests.</p>
      <p>For the case of non-redundant service, consider the options:
А1: Stream maintenance is divided by computers — the first computer performs
requests for t1 criticality, and the second computer performs t2 criticality.</p>
      <p>А2: Stream maintenance is not divided among computers - any request can with a
certain probability be sent both to the queue of the first and second computers (the
probabilities of sending requests to different computers for different threads may
differ).</p>
      <p>А3: Stream maintenance of criticality to t2 delays is performed exclusively by the
second computer, and criticality to delays t1 is divided between two computers with
probability g.</p>
      <p>For the maintenance organization option B1, the probability of fulfilling requests
with a waiting criticality (maximum allowable waiting time) t1 and t2 (t1 &lt; t2) is
calculated respectively as:
 1v  1 ,</p>
      <p>t
p1(t1)  1 ve
  1v  2 .</p>
      <p>t
p2 (t2 )  1  ve
p12 (t1, t2 )  p1(t1) p2 (t2 ).</p>
      <p>The probability that requests for criticality to the delays of both t1 and t2 will be fulfilled
in a timely manner will determine how:
For the organization of the computational process with duplication of requests of the
first stream and with the execution of copies on different computers, select the
following options:</p>
      <p>B1: the second stream is completely directed to the second computer for
maintenance.</p>
      <p>В2: the second stream with probabilities g and (1-g) is sent to the second or first
computers, respectively.</p>
      <p>For option B1, the probability of timely execution of a copy of requests of the first
most critical waiting stream during time t1 in the first and second computers is defined
respectively as:
(1)
and the probability of timely execution of at least one of the two copies of the request
during t1 is as:</p>
      <p>2  1v t1 1    e 1 1v t1 .</p>
      <p>p1(t1)  1   v e
For the second request stream, the probability of timely execution of requests in a time
not exceeding t2 is calculated as:
 1 1v  2 .</p>
      <p>t
p12 (t1)  1   1    ve
The probability of timely execution of requests for both streams is determined by the
formula (1).</p>
      <p>For option В2, the probability of timely execution of a request copies for the first
stream during time t1 in the first and second computers is defined respectively as:
 1 g1v  1 ,</p>
      <p>t
p11(t1)  1   1   g  ve
 1 g 1v  1 ,</p>
      <p>t
p12 (t1)  1   1    g  ve
the probability of the timely execution of at least one copy of the request for the first
stream during time t1:</p>
      <p> 1 g1v t1 1    g  e 1 g 1v t1 ,
p1(t1)  1   v 2 1   g  e
The probability of timely execution of requests of the second stream in a timeless than
t2 is calculated as:
 1 g 1v  2 .</p>
      <p>t
p12 (t1)  1   1    g  ve
The probability of timely execution of requests for the first and second threads is
determined by the formula (1).</p>
      <p>
        Evaluation of Structural Reliability
A Markov model of a duplicated cluster is constructed in accordance with [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ] to
evaluate the structural reliability determined by the operational readiness ratio.
      </p>
      <p>
        The disciplines of maintenance for a duplicated computer system were investigated
in [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ]:
 D1 – operational recovery, which begins immediately after the failure;
 D2 – a recovery that begins after the system has passed into an inoperative state or
a condition of a certain level of degradation.
      </p>
      <p>The diagram of states and transitions for recovery discipline D2 is shown in fig. 1. In
the diagram, the failure intensity is denoted by λ0 and restoration by μ0 of the server; of
the disk by λ1, μ1; of the commutator by λ2, μ2.</p>
      <p>In the diagram, two lines cross out inefficient nodes, and workable ones that are not
involved in the computation process by one line, the inoperative states of the system
are darkened.</p>
      <p>The system of differential equations in accordance with the diagram of states and
transitions in Fig. 1 has the form:
P2`(t)  (1  0 )P2 (t)  2 P0 (t),
P3`(t)  (1  0 )P3 (t)  21P0 (t),
P4`(t)   40 P4 (t)   P (t)  0 P3 (t),</p>
      <p>1 1
P5`(t)  50 P5 (t)   P (t),</p>
      <p>0 1
P6`(t)   60 P6 (t)  1P2 (t),
P7`(t)   70 P7 (t)  0 P2 (t),

P8`(t)  80 P8 (t)  1P3 (t),
Wherein
P0`(t)  (20  2  21)P0 (t)   40 P4 (t)  50 P5 (t)   60 P6 (t)   70 P7 (t)  80 P8 (t),
P1`(t)  (1  0 )P1(t)  20 P0 (t),
 40   15


 0 
1</p>
      <p>
1 </p>
      <p>1
1</p>
      <p>
1 
Where μ5 data recovery intensity, while μ3 - load intensity of the actual data replica, μ4
- the intensity of work associated with the launch of the VM and user applications on
the backup server.</p>
      <p>If we determine the probabilities of states by solving the presented system of
equations, then we can determine the availability factor as the sum of working states:
3
k   Pi .</p>
      <p>i0</p>
      <p>The probability of timely execution of requests R, taking into account the probability
of requests when one or two computers are ready:
3
R  p2 P0  p1  Pi ,</p>
      <p>i1
where p1 and p2 are the probabilities of timely maintenance of requests when one
and two computers are ready, taking into account the above organization of maintaining
the request stream.</p>
      <p>C4
λ1
μ40</p>
      <p>C1
λ0
C5
ВМ</p>
      <p>2λ0
μ50
μ60
C6
ВМ</p>
      <p>λ2
В
М
C2</p>
      <p>C0
λ0
μ70</p>
      <p>C7
μ80
2λ1</p>
      <p>C3
μ90</p>
      <p>ВМ
λ1</p>
      <p>λ0
C8</p>
      <p>C9</p>
      <p>The example of Calculating the Probability of Timely</p>
      <p>Execution of Requests.</p>
      <p>Let us determine the probability of the timeliness of the redundant service with a
heterogeneity of the input stream, which includes requests for two grades of criticality for
the waiting time t1 = 0.2 s, t1 = 0.4 s for the same query execution time v = 0.1 s.</p>
      <p>The probability`s dependence of requests timely execution of different criticality on
the intensity of the requests stream Λ is shown in Fig. 3. In Fig. 3 at β = 0.5, 0.8, 1.5,
the curves 1-3 correspond to the variant of maintenance organization streams without
redundant maintenances of the first requests stream А1, and the curves 4-6 with
redundant maintenances according to option В2.</p>
      <p>Calculations show the expediency of requests' redundant maintenance that is most
critical to the expectation, however, this effect is lost as the intensity of input streams
Λ increases.
Fig. 2. Dependence of the probability of requests’ timely execution on the intensity of the
input stream with redundant and non-redundant maintenance requests
For the disciplines of redundant maintenance of the first stream B1 and В2 there are in
Fig. 4 the dependence of the probability of timely servicing the requests of two streams
on the intensity of requests Λ and the requests` shares g and (1-g) of the second stream
which are sent in discipline В2 to the queue of the first or second computers. In fig. 2
the curves 1-3 for discipline B1 correspond to β = 0.5, 0.8, 1.5, and the curves 4-6 for
discipline В2 with g = 0.8, correspond to values β = 0.5, 0.8, 1.5. The presented
dependencies show the importance of the stream control`s effect (change g) on the
timeliness of maintaining requests for the total requests` stream of different criticality to
delays. The presented dependencies show the importance of the influence of the control
of requests` streams, which have different criticality to delays (change g), on the
timeliness of service of requests of the total stream.
Fig. 3. Probability`s dependence of timely maintenance requests of two threads with redundant
service for option B2
In Fig. 5 there is the probability`s dependence of timely servicing of requests for two
streams with redundant services for option В2 on the fraction g, requests of the second
stream which sent to the second computer. In the figure at β = 1.5, the curves 1–3, and
at β = 1, the curves 4–6 correspond to the intensity of the input stream Λ = 3, 3.5, 4 1/s.
For duplicate cluster real-time systems, the options for organizing the maintenance of
a heterogeneous requests` stream that has different criticalities to their delays in queues
are proposed.</p>
      <p>The influence`s materiality of the organization of maintaining requests with varying
criticality to delays in the computer nodes` queue, that have remained operable, on
functional reliability and the probability of timely execution of requests for a
heterogeneous stream is shown.</p>
      <p>The effectiveness of the redundant execution of delay-critical requests during load
balancing as a result of the distribution of other requests among workable computers is
shown.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Kopetz</surname>
          </string-name>
          , H.:
          <article-title>Real-Time Systems: Design Principles for Distributed Embedded Applications</article-title>
          . 2nd edn. Springer, Germany (
          <year>2011</year>
          ).
          <source>DOI: 10.1007/978-1-4419-8237-7</source>
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Utkin</surname>
            ,
            <given-names>L.V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Coolen</surname>
            ,
            <given-names>F.P.A.</given-names>
          </string-name>
          ,
          <article-title>Robust weighted SVR-based software reliability growth model</article-title>
          .
          <source>Reliability Engineering &amp; System Safety</source>
          <volume>176</volume>
          ,
          <fpage>93</fpage>
          -
          <lpage>101</lpage>
          (
          <year>2018</year>
          ), DOI: 10.1016/j.ress.
          <year>2018</year>
          .
          <volume>04</volume>
          .007.
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Sorin</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>Fault Tolerant Computer Architecture</article-title>
          . Morgan &amp; Claypool, USA (
          <year>2009</year>
          ), 104 p. DOI:
          <volume>10</volume>
          .2200/S00192ED1V01Y200904CAC005.
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Sahni</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Varma</surname>
          </string-name>
          , V.:
          <article-title>A hybrid approach to live migration of virtual machines</article-title>
          .
          <source>Proc. IEEE Int. Conf. on Cloud Computing for Emerging Markets (CCEM</source>
          <year>2012</year>
          ),
          <fpage>12</fpage>
          -
          <lpage>16</lpage>
          , Bengalore, India (
          <year>2012</year>
          ), DOI: 10.1109/CCEM.
          <year>2012</year>
          .
          <volume>6354587</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <article-title>Knowledge sharing portal UNIX/Linux-systems, open-source systems, networks, and other related things</article-title>
          . Available at: &lt; http://xgu.ru/wiki/Kemari &gt; Last accessed
          <year>2019</year>
          /03/25.
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Dittner</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rule</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>The Best Damn Server Virtualization Book Period. 2nd edn</article-title>
          . Syngress, USA (
          <year>2011</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Chandak</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Jaju</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kanfade</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Dynamic Load Balancing of Virtual Machines using QEMU-KVM</article-title>
          .
          <source>International Journal of Computer Applications (0975 - 8887) 6</source>
          (
          <issue>46</issue>
          ),
          <fpage>10</fpage>
          -
          <lpage>14</lpage>
          (
          <year>2012</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Adamova</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          :
          <article-title>Anomaly Detection with Virtual Service Migration in Cloud Infrastructures</article-title>
          .
          <source>Master Thesis</source>
          <volume>263</volume>
          -0800-
          <fpage>00L</fpage>
          (
          <year>2012</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Hu</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zhao</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Xu</surname>
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ding</surname>
            <given-names>Y</given-names>
          </string-name>
          .
          <source>HMDC: Live Virtual Machine Migration Based on Hybrid Memory Copy and Delta Compression, Appl. Math. Inf. Sci. 7</source>
          , No.
          <year>2L</year>
          ,
          <fpage>639</fpage>
          -
          <lpage>646</lpage>
          , China. (
          <year>2013</year>
          ), DOI: 10.12785/amis/072L38.
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Poymanova</surname>
            ,
            <given-names>E.D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Tatarnikova</surname>
            ,
            <given-names>T.M.</given-names>
          </string-name>
          <string-name>
            <surname>Models</surname>
          </string-name>
          and
          <article-title>Methods for Studying Network Traffic. 2018 Wave Electronics and its Application in Information and Telecommunication Systems</article-title>
          (WECONF) (
          <volume>26</volume>
          -
          <fpage>30</fpage>
          Nov.
          <year>2018</year>
          ), DOI: 10.1109/WECONF.
          <year>2018</year>
          .
          <volume>8604470</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>Kutuzov</surname>
            ,
            <given-names>O.I.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Tatarnikova</surname>
          </string-name>
          ,
          <source>T.M. On the Acceleration of Simulation Modeling. XXI International Conference on Soft Computing and Measurements</source>
          (SCM'
          <year>2018</year>
          ) (
          <fpage>23</fpage>
          -25 May
          <year>2018</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Korobeynikov</surname>
            ,
            <given-names>A.G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Fedosovsky</surname>
            ,
            <given-names>M.E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zharinov</surname>
            ,
            <given-names>I.O.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Shukalov</surname>
            ,
            <given-names>A.V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gurjanov</surname>
            ,
            <given-names>A.V.</given-names>
          </string-name>
          <article-title>Development of conceptual modeling method to solve the tasks of computer-aided design of difficult technical complexes on the basis of category theory</article-title>
          .
          <source>International Journal of Applied Engineering Research</source>
          <volume>6</volume>
          (
          <issue>12</issue>
          ),
          <fpage>1114</fpage>
          -
          <lpage>1122</lpage>
          (
          <year>2017</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>Zhmylev</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Martynchuk</surname>
            ,
            <given-names>I.G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kireev</surname>
            ,
            <given-names>V.I.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Aliev</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          <article-title>Analytical methods of nonstationary processes modeling</article-title>
          .
          <source>CEUR Workshop Proceedings, IET - 2019</source>
          , Vol.
          <volume>2344</volume>
          (
          <year>2019</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>Bogatyrev</surname>
            ,
            <given-names>A.V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bogatyrev</surname>
            ,
            <given-names>S.V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bogatyrev</surname>
            ,
            <given-names>V.A.</given-names>
          </string-name>
          <article-title>Analysis of the Timeliness of Redundant Service in the System of the Parallel-Series Connection of Nodes with Unlimited Queues</article-title>
          .
          <source>2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF)</source>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>4</lpage>
          (
          <year>2018</year>
          ), DOI: 10.1109/WECONF.
          <year>2018</year>
          .
          <volume>8604379</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <surname>Bogatyrev</surname>
            ,
            <given-names>V.</given-names>
          </string-name>
          <article-title>A On interconnection control in redundancy of local network buses with limited availability</article-title>
          .
          <source>Engineering Simulation</source>
          ,
          <volume>16</volume>
          (
          <issue>4</issue>
          ), pp.
          <fpage>463</fpage>
          -
          <lpage>469</lpage>
          (
          <year>1999</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <surname>Bogatyrev</surname>
            ,
            <given-names>V.A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Aleksankov</surname>
            ,
            <given-names>S.M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Derkach</surname>
            ,
            <given-names>A.N.</given-names>
          </string-name>
          <article-title>Model of Cluster Reliability with Migration of Virtual Machines and Restoration on Certain Level of System Degradation</article-title>
          .
          <source>2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF)</source>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>4</lpage>
          (
          <year>2018</year>
          ), DOI: 10.1109/WECONF.
          <year>2018</year>
          .
          <volume>8604317</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          17.
          <string-name>
            <surname>Ageev</surname>
            ,
            <given-names>A.M.:</given-names>
          </string-name>
          <article-title>Configuring of Excessive Onboard Equipment Sets</article-title>
          .
          <source>Journal of Computer and Systems Sciences International</source>
          <volume>4</volume>
          (
          <issue>57</issue>
          ),
          <fpage>640</fpage>
          -
          <lpage>654</lpage>
          (
          <year>2018</year>
          ). DOI:
          <volume>10</volume>
          .1134/S1064230718040020
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          18.
          <string-name>
            <surname>Bogatyrev</surname>
            ,
            <given-names>V.A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bogatyrev</surname>
            ,
            <given-names>A.V.</given-names>
          </string-name>
          <string-name>
            <surname>Functional</surname>
          </string-name>
          <article-title>Reliability of a Real-Time Redundant Computational Process in Cluster Architecture Systems</article-title>
          .
          <source>Automatic Control and Computer Sciences</source>
          , Vol.
          <volume>49</volume>
          No.
          <issue>1</issue>
          , pp.
          <fpage>46</fpage>
          -
          <lpage>56</lpage>
          (
          <year>2015</year>
          ), DOI: 10.3103/S0146411615010022.
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          19.
          <string-name>
            <surname>Kleinrock</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          <string-name>
            <surname>Queueing</surname>
            <given-names>Systems</given-names>
          </string-name>
          , Volume I: Theory. Wiley Interscience, USA. p.
          <volume>417</volume>
          (
          <year>1975</year>
          ), DOI: 10.1002/net.3230060210.
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          20.
          <string-name>
            <surname>Kleinrock</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          <string-name>
            <surname>Queueing</surname>
            <given-names>Systems</given-names>
          </string-name>
          , Volume II: Computer Applications. Wiley Interscience, USA. p.
          <volume>576</volume>
          (
          <year>1976</year>
          ), doi: 10.1002/net.3230070308.
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>