The Well-Posedness and Stability Analysis of a Computer Series System

A repairable computer system model which consists of hardware and software in series is established in this paper. This study is devoted to discussing the unique existence of the solution and the stability of the studied system. In view of c 0 semigroup theory, we prove the existence of a unique nonnegative solution of the system. Then by analyzing the spectra distribution of the system operator, we deduce that the transient solution of the system strongly converges to the nonnegative steady-state solution which is the eigenvector corresponding to eigenvalue 0 of the system operator. Finally, some reliability indices of the system are provided at the end of the paper with a new method.


Introduction
With the development of the modern technology and the extensive use of the electronic products, the reliability problem of the repairable systems has become a hot topic.It is well known that the reliability of a system is an important concept in engineering.The high degree of reliability is usually achieved by introducing redundancy or repairman (e.g., [1][2][3][4]) or applying preventive maintenance (e.g., [5,6]), optimal inspection plans (e.g., [7][8][9]), or optimal replacement policy (e.g., [10]).The aim is to increase the performance of the system by reducing the downtime or the maintenance and inspection cost of the system.
In the general reliability analysis of the computer system, however, because of different characteristics of the hardware and software, we cannot simply take the hardware and software as a unit or two different types of units [9].Then, it is rare to analyze synthetically [11].With the passage of the using time and the number of failures increasing, the reliability of the hardware would descend, and the repair time would be longer [12].During the software debugging and testing stages, as the failures occur, potential software error is discovered and corrected constantly which make the software reliability grow [13].Since the hardware failure or software failure leads to the whole computer system failure, the computer system can be formulated as a series system with hardware and software (namely, hardware and software in series).There are some obstacles to overcome to obtain the main result since our model is more complicated than that of [11][12][13].
In this paper, we study a repairable computer system which is composed of hardware and software in series.The unique existence of the system solution is obtained by using  0 semigroup theory.The exponential stability of the system is further achieved by analyzing the spectrum distribution of the system operator given by ( 2)- (4), which shows that the solution to the system (2)-( 4) is exponentially stable.Thus we not only provide strict theoretical foundation for reliability study but also make it more valuable in practice.
The remainder of the paper is organized as follows.In Section 2 we formulate the mathematical model of the system with concerned notations; in Section 3.1 we show the unique existence of the dynamic solution of the system.In Section 3.2 we study the unique existence of the solution of the abstract Cauchy problem corresponding to the system and present a detailed spectral analysis of the system operator; some steady-state reliability indices of the system are presented in Section 4, and Section 5 concludes the paper.

Mathematical Model Formulation
In the reliability analysis of repair system, it is usually assumed that the repaired units which compose system are as good as new, and the failed units are repaired immediately.However, in reality it is usually not the case.In real life, it is possible that the reliability reduces after the software failure each time.That is, the condition  ()   () =   ( −1 ) = 1−  − −1    ,  ≥ 0,   > 0, and the coefficient  > 1.With the number of repair times increasing, the failure rate is increasing gradually.In view of the aging and accumulative wear, the repair time will become longer and longer and tend towards infinity; that is, the system is nonrepairable.Therefore, we first suppose that the software is overhauled (replaced) to be as good as new after the ( − 1)th minimal repair, and studying the number of minimal repair before overhaul repair is more appropriate.And we will also discuss how its reliability will be affected by the number of minimal repair and overhaul.In [14], the author supposed that the software cannot be repaired as good as new and utilized the geometric process and supplementary variable technique to analyze the system reliability.However, the life and repair times of the hardware and software are supposed to follow exponential distribution.In this paper, under assumption that the life time of the hardware and software follows exponential distribution and repair time is subject to the general distribution, we set up a mathematical model of the repairable computer system by the supplementary variable method, which is composed of the hardware and software in series.The hardware is repaired to be as good as new, the software is repaired periodically, and restored software life decreases.After a period of time, an overhaul makes it as a new one.
The system model is formulated specifically as follows.
(i) The computer system is composed of hardware  and software  in series.
(v) The hardware  is repaired as good as new.The software  is performed by a minimal repair (e.g., a maintenance action performed on a failed system by which its survival time is decreasing) during its th ( = 1, 2, . . .,  − 1) period and an overhaul repair (e.g., a maintenance action performed on a failed system by which it is repaired as good as new) during its th period.The above stochastic variables are independent of each other.
Let () be the system state at time , and assume all the possible states as below.
2 ( = 1, 2, . . ., ) the system has in failure state because the failure software  is being repaired minimally in the th time ( = 1, 2, . . .,  − 1) and the software  is being overhauled in the th time.
When () =  ( = 0, 1, 2;  = 1, 2, . . ., ) supplement variable   () ( = 1, 2, 3) which denotes the elapsed repair time of hardware , the elapsed minimal repair time of software , and its elapsed overhaul time at time , respectively, then {(),   ()} constitutes a matrix Markov process whose state probabilities are defined as follows: Then by using the method of probability analysis, the system under consideration can be formulated as the following equations: The boundary conditions are The initial conditions are  01 (0) = 1, and the others are equal to 0.
Taking into account the practical background, we assume that And then, we may know that many repairs/services are done periodically in practice.So we can suppose that the mean of repair/service rate exists and does not equal to 0 ( [15,16]):

Stability Analysis
In this section, we firstly study the unique existence of the classical solution of the system by pure analysis method in Section 3.1.In Section 3.2, we will formulate the problem into a suitable Banach space.Then we explain that the system has a unique generalized solution, and it is just the classical one when  > 0. We also carry out a detailed spectral analysis of the system operator  + .Finally, the exponential stability of the system can be readily achieved.

Exponential Stability.
In this subsection, in order to further study the properties of the studied system, we will formulate the problem into a suitable Banach space.Then we study the unique existence of its solution and explain the exponential stability of the system by analyzing the spectrum distribution of the system operator in detail.
Firstly, let the state space  be where  = ( 0 , It is obvious that  is a Banach space.
Secondly, we will introduce some operators in .
For convenience, we will present four useful lemmas.
Secondly, we will prove that this operator is also an injective mapping.That is, the operator equation [ − ( + )] = 0 has a unique solution 0. Set  = 0 in the former discussion.Then we can obtain the following matrix equation by combing ( 18)-( 19) with ( 24): where for  > 0 or  = ,  ∈  \ {0}.From Lemma 3, we can obtain |  | < 1,  = 1, 2, 3. Thus the matrix of coefficients of the linear equations ( 25) is a strictly diagonal-dominant matrix about column.Therefore, this matrix is invertible, which manifests that operator [ − ( + )] is a one-to-one mapping.
Because [ − ( + )] is densely defined closed in , we can derive that [ − ( + )] −1 exists and is bounded by recalling inverse operator theorem and closed graph theorem.That is, set { ∈ C | Re  > 0 or  = ,  ∈  \ {0}} belongs to the resolvent set of the system operator  + .Thus we complete the proof of Lemma 5. Theorem 6.The simple eigenvalue of system operator  +  is 0.
Proof.Firstly, we will explain that 0 is the eigenvalue of  +  with positive eigenvector.
Consider ( + ) = 0 and assume that  satisfies the boundary conditions (23).Then repeating the proof process of the injective mapping in Lemma 5 with  = 0, we can get the following solutions: where  0 is an arbitrary real number.is the positive eigenvector corresponding to eigenvalue 0 of the system operator  +  and it is also the positive steadystate solution of the system, here  * 0 and  *  (), respectively, signify  0 and   () showed in (28),  = 1, 2,  = 1, 2, . . ., .In addition, it is easy to see that the geometric multiplicity of eigenvalue 0 in  is one.
Secondly, we will explain that the algebraic multiplicity of eigenvalue 0 is one.
(30) However, Equation ( 30) contradicts (31).Then the algebraic index of 0 in  is one.Then the algebraic multiplicity of 0 in  is one.The proof of Theorem 6 is complete.
Lemma 5 and Theorem 6 can imply that several important results hold.Firstly, they imply that the spectral bound ( + ) of  +  is zero.Secondly, Lemma 5 and Theorem 6 illustrate 0 is a strictly dominant eigenvalue of the operator  + .
The following task is to verify the operator + generates some  0 semigroups ().Theorem 7. The system operator + generates a positive contraction  0 semigroup ().
Proof.We can get the proof of Theorem 7 by the Phillips theorem (see [25]), Lemma 4, and Lemma 5.
Because  0 ∉ (), (32) is the mild solution of the system.However, Theorem 1 implies that the classical solution of the system uniquely exists for  > 0. Hence, the mild solution (⋅, ) = () 0 is just the classical one for  > 0. Thus the abstract Cauchy problem ( 15) is well posed.Theorem 9.The time-dependent solution of the system (2)-( 4) strongly converges to its steady-state solution.That is, lim  → ∞ (⋅, ) =  * , where  * is the eigenvector corresponding to 0 in  satisfying ‖ * ‖ = 1.
Thus we show that the studied system has exponential stability.Exponential stability is a very important property in reliability study.We can overcome some problems readily and deduce some better conclusions by using it.For example, by using the property, the governors can make up their mind how to arrange the repairman to do minimal repair or overhaul in his work time to increase the profit of the system benefit.
As far as such a problem is concerned, previous literatures such as [27] only pointed out to when the profit of the system benefit with repairman vacation in steady state is larger than that of the classical system benefit.But this is a less practical condition because they cannot solve the following problems.Firstly, how long time the system will take to get the stability state.Secondly, whether the steady-state indices such as steady-state availability can substitute for the transient ones.Thirdly, what is the probability that the repairman can carry out minimal repair.
However, by studying the exponential stability of the system, all these problems can be solved easily.Actually, for a given fault, the system can get to the steady state at a very fast speed and its steady-state availability can substitute for the dynamic one by considering a safety factor.Moreover,  0 () ( = 1, 2, . . ., ) means the probability that the system is operating normally after every minimal repair, and the repairman is on vacation at time  ≥ 0 and  0 () →  0 > 0; here  0 ( = 1, 2, . . ., ) is the first  coordinate of the eigenvector  * in Theorem 9. Then Theorem 9 indicates that, after a certain time  > 0, the repairman can always be urged to overhaul with a fixed probability to increase the total profit of the system benefit.

Reliability Indices
In this section, we first present the steady-state probability and frequency of failure of the system with traditional method.Second, we propose the steady-state availability and the failure frequency of the system with one new method different from the traditional one (see [28]).And the two methods were compared; we have the second method is more practical and simple.
Firstly, the above equations ( 2) are valid for any  ≥ 0. Since we are interested in the steady-state behavior of our system, we will seek the long-run probabilities which are the solution of the following equations obtained from (2) taking the limits as  → ∞: Equations ( 35) are to be solved under the following conditions: The steady-state probabilities are  0 ,  1 = ∫ (37) Probability and frequency of failure are given by   = ∑  =1 ( 1 +  2 ) and   = ∑  =1 ( ℎ +  −1   ) 0 .Next, we obtain the steady-state availability and the failure frequency of the system by using the proposed method in this paper.
From the above availability expression, the system steadystate availability decreases with the number of the minimal repair times increasing.So, the system steady-state availability is gradually decreasing (for  > 1).The proof of Theorem 11 is the same as Theorem 4.1 in [28].
Of course, we can receive the formulations of the instantaneous reliability indices and their corresponding steady-state values as well, such as the reliability of the system and the probability of the repairman being busy.
As we all know, the reliability indices are ordinarily obtained by the Tauberian theorem and Laplacian transformation.However, the proposed method in this paper is probably more simply and more valuable in some practice applications, because the only thing needs to be considered is the eigenvector corresponding to eigenvalue 0 of the system operator.
In the light of these two methods, the first method is more idealistic and does not exist in real life.Compared with the first method, the second method is more practical and simple.

Conclusion
In this paper, we dealt with a repairable computer system which composed of hardware and software in series.We were dedicated to studying the unique existence and the exponential stability of the solution of the system.The exponential stability of the system guaranteed that the stability of the system was not easy to be affected by some factors such as failure rate and repair rate.And we presented a new method to receive the steady-state indices of the system by using the eigenvector corresponding to eigenvalue 0 of the system operator.It was more simple and practical than the traditional one.
However, it was well known that it was difficult or even impossible to obtain the time-dependent solution and the dynamic indices of the system.This paper presented a new method to overcome these problems from the view point of theory.