1. Introduction
Consider n components operating sequentially with random lifetimes such that the first component starts operating at time and has random lifetime while the remaining components do not operate and remain in standby mode. At time , when the first component fails, the second component immediately starts working and has a random lifetime ; at time , when the second component fails, the third component immediately starts working, etc., such that at time the system fails. This is called a cold standby system with n units, in which the components work one after another until then the last component fails. Suppose that at the time , when an operator has performed an inspection, it is determined that the cold standby system is inactive. The idle time of the cold standby system is a dynamic random variable of the system that depends on the time t at which the system was found to be inactive. Thus, it is assumed that an interval of time has elapsed since the system was found to be inactive, implying that the observation of the system’s failure was lagged. It is assumed that are independent; however, in general, they may not be identically distributed, for instance, if different types of components are installed in the system.
Single- and dual-unit redundant systems have been the subject of extensive research in the reliability literature because of their widespread use in modern business and industrial systems. Parallel and standby redundancy are the two main forms. In a standby system, the redundant units are not included in the system from the beginning, and are only included when they are needed, whereas in a parallel system they are included from the beginning. There are three types of standby units: cold, warm, and hot. Cold standby sparing is a reliable way to ensure that a system can continue to function as intended even if some of its components fail. In this technique, redundant standby elements are kept in a powerless cold mode to conserve resources and protect them from workloads. If an online component fails, a cold standby component can be activated to take over. Because a cold standby unit is unplugged and completely inactive, it cannot fail until the primary unit is replaced. Because it is only partially energized, a warm standby unit has a lower load. Although redundant, a hot standby device is fully functional in the system. The lifespan of cold standby systems can be described as being longer than other types of backup systems because they are not actively operated and as such are subject to less wear and tear. This can result in cost savings for organizations, as they do not need to replace or upgrade the system as frequently. However, the life of the system can be affected by factors such as the quality of the hardware and software used, maintenance practices, and frequency of use. Cold standby systems are commonly used in reliability to support critical systems and processes. Example applications of cold standby systems in reliability include:
(1) Data backup and recovery: cold standby systems can be used to store backup data and ensure its availability in the event of a system failure or malfunction.
(2) Emergency power supply: cold standby systems can be used as a backup power supply in the event of a power failure or malfunction to ensure that critical systems remain operational.
(3) Network redundancy: cold standby systems can be used for network redundancy to ensure that critical network services remain available in the event of a network outage or failure.
(4) Server redundancy: cold standby systems can be used for server redundancy to ensure that critical applications and services remain available in the event of a server failure or defect.
(5) Disaster recovery: cold standby systems can be used as part of a disaster recovery plan to provide backup support for critical systems and processes in the event of a natural disaster or other catastrophic event.
Overall, cold standby systems are an important tool for ensuring the reliability and availability of critical systems and processes. They can help organizations to minimize downtime and maintain continuity in the face of unexpected events. For example,
k-out-of-
n systems are a type of reliability system in which a system is considered functional as long as
k or more of
n components are functioning properly; in other words, the system fails only when fewer than
k components are functioning properly. This type of system is often used in engineering and manufacturing applications where redundancy is required to ensure the system’s continued functionality even if some of its components fail. The values of
k and
n can vary depending on the specific application and the level of reliability required. A situation in which such a standby system is used is that of
k-out-of-
n systems (see, e.g., Levitin et al. [
1], Fernández [
2], Barron and Yechiali [
3], Barron [
4], Levitin et al. [
5], Bian et al. [
6], and references therein). The method of cold standby has been widely utilized in crucial scenarios such as flight controls, satellites, chemical process controls, telecommunication systems, and nuclear power plants (see, for instance, Mathur [
7], Wang [
8], Johnson and Julich [
9], Sinaki [
10], Pandey et al. [
11], Coit [
12], Hsieh and Hsieh [
13], Elerath and Pecht [
14], and Wang et al. [
15]).
Cold standby systems have recently attracted the attention of many researchers in the field of reliability enginerring (see, e.g., Wang and Ye [
16], Ramezani Dobani et al. [
17], Danjuma et al. [
18], Malhotra et al. [
19], and Lin et al. [
20]).
In contrast to the residual life of a system, one aspect of engineering systems is their idle time. The idle time is sometimes called the inactivity time or reversed residual lifetime. In view of the idle time, the stochastic properties of coherent systems, a large and well-known class of systems in reliability, have been widely studied during the past decades (see, for instance, Bayramoglu and Ozkut [
21], Zhang and Balakrishnan [
22], Navarro et al. [
23], Kayid et al. [
24], Navarro and Calì [
25], Salehi and Tavangar [
26], Toomaj and Di Crescenzo [
27], Amini-Seresht et al. [
28], Guo et al. [
29], and Kayid and Shrahili [
30]). However, the study of stochastic comparisons between idle (or inactive) time of cold standby systems has not been conducted in literature to date.
In this paper, we present results on a failed cold standby system. Two scenarios using different strategies are compared based on their idle time. The first scenario assumes that a cold standby system with n units (with the first unit being the underlying component in the system and the remaining components the spare components) has failed before a time t at which the operator found the system to be in failure state, resulting in an idle time on the part of the cold standby system. In the second scenario, we assume that n components were used separately in n independent experiments, in which all components failed before t and the idle time of all components was measured at time t; we then consider the sum of the idle times of the n components. The goal of this work is to derive lower and upper bounds for the idle time of the cold standby system with n components with heterogeneous lifetime distributions by using the sum of the idle time of these n components separately.
The remainder of the paper is divided as follows.
Section 2 discusses related research in the relevant fields. In
Section 3, preliminary notion and basic formulas and definitions are provided.
Section 4 presents the main results of the paper. In
Section 5, we conclude the paper with a summary of our results and findings along with further directions for possible future studies.
2. Further Descriptions and Related Works
The concept of stochastic comparisons of the residual life of the convolution of random variables has attracted the attention of many researchers in the context of reliability theory and risk analysis. Thus, Ahmed and Kayid [
31] considered the residual lifetime of convolutions of random lifetimes and derived sufficient conditions under which convolution residuals are preserved under the Laplace transform order. Amiripour et al. [
32] used folding residuals based on observations from one or two samples to construct a set of stochastic orderings. In this way, they found computable constraints on both the predicted values of the convolution residuals and the survival functions. In addition, their work discussed applications in queueing theory and reliability theory. In the same direction, Kayid and Alshehri [
33] recently developed stochastic comparisons between the lifetime of a used cold standby system with a certain age
t (which is still working) and the sum of the remaining lifetimes of the components in the system. They used the usual stochastic order and likelihood ratio order to derive their main results. They obtained a result and presented sufficient conditions under which a used cold standby system is less reliable in terms of likelihood ratio order than a cold standby system with used components when the used components have a common age
t.
In the context of reversed residual lifetime or inactivity time of the convolution of random variables, the stochastic comparisons obtained in the literature are based on mean inactivity time functions. For example, Ahmad et al. [
34] derived a preservation property of the mean inactivity time order under the convolution of random lifetimes. Ortega [
35] presented findings that provide guidelines for the total loss amounts for two insurance portfolios under the collective risk model (random sums). In this way, it is possible to analyze the idle time of a cold standby system using the mean values according to the results of Ahmad et al. [
34] and Ortega [
35]. However, there is a research gap in this area in that there have been no studies analyzing the idle time of cold standby systems using more general distribution measures such as the distribution of inactivity time; thus, there is much room for further research in this area.
In the present paper we consider the idle time of a failed cold standby system to obtain lower and upper bounds for it in terms of the idle time of the failed components in the system. As pointed out and clearly shown by Ahmad et al. [
34], the results for the idle variable (the inactivity time) cannot be concluded from the similar results on the residual lifetime variable. Thus, there is room to fill another gap in the literature, which is the starting point for our study in this paper. Another focus is that the properties we obtain in this paper are quite different from and cannot be acquired using the results in Kayid and Alshehri [
33]. An interesting point is that, in general, in the remaining lifetime of a functioning coherent system. This is because the idle variable takes values at
, while the residual lifetime variable takes values at
; thus, the former is obviously more predictable than the latter. Therefore, the problem of finding the stochastic bounds of the idle time of a cold standby system has a complementary role in refining our knowledge about the lifetime of the system.
It is worth mentioning that the results obtained in this work play a complementary role compared to the previous works in this field (i.e., Kayid and Alshehri [
33]). In that work, the authors were concerned with the remaining lifetime of cold standby systems. In contrast, in the current study we focus on the inactivity time of cold standby systems and the comparison of systems from the point of view of the idle time. The results obtained in this work can be useful in practice for several purposes. The observation time at which a cold standby system is classified as inactive may not correspond exactly to the time at which it actually failed. As a result, there is a time interval during which the system is inactive, which can lead to further costs and losses. Therefore, it is important to control the situation and use an appropriate number of components in the system or even components with a certain reliability level to minimize the idle time of the cold standby system. In this direction, the results of this paper can provide further guidance for engineers to design suitable structures for cold standby systems. The assumptions made in this paper include aging properties of the lifetime distributions of the components of the system along with ordering properties and relationships with the lifetime distributions of the components. Because equipping any system or its components with standby spare parts is a relevant method to increase the reliability of systems with different structures, in the case where a cold standby system with two units or components is considered, the results of this paper may be useful to maintain other kinds of systems to ensure that the main unit is considered as a system with any structure (i.e., not exactly a cold standby system) or a component within it.
The problem of finding stochastic upper and lower bounds for the distribution of convolution of random variables (
, see
Section 3 for further descriptions), and more generally the mathematical expectations of functions of
, is of particular interest in the context of risk theory and actuarial analysis. This is particularly useful; it is not plain to derive the distribution function of the convolution of random variables, as they ordinarily have no closed tractable forms. As mentioned by Ramsay [
36], while the Pareto distribution is an important candidate for actuaries and economists, an exact expression for the distribution of the sum of
n i.i.d. (independent and identically distributed) Pareto random variables is generally difficult to obtain. In the actuarial literature, there is increasing worry about the impact of dependence between individual risks
on the distribution of the total claim
. Research by Dhaene et al. [
37] has resulted in, among other things, the identification of the portfolio producing the smallest and largest stop-loss premiums, resulting in bounds on
for any arbitrary non-decreasing and convex functions in circumstances of dependence between the
s. In order to further these findings, Denuit et al. [
38] demonstrated how to calculate constraints on
, and more broadly on
, for monotone functions that are not always convex.
There has been an increasing interest in evaluating claims and risks in the context of conditional distributions. In risk analysis, the conditional tail expectation is an important metric for right-tailed risk. It indicates the expected level of risk that may occur when an expected risk exceeds a threshold
t. Cai and Li [
39] studied the convolution and extreme values of dependent risks that follow a multivariate phase type distribution; they derived explicit formulas for a set of conditional tail expectations of the convolution and extreme values for such dependent risks. Their method provided structural information about these distributions while providing novel distributional properties for multivariate phase-type distributions by exploiting the underlying Markovian property of these distributions. In another work by Sordo et al. [
40], they studied the marginal behavior of the
i-th risk in a risk portfolio in the presence of adversity, such as a disproportionate loss to the portfolio or, in the case of a portfolio with a positive dependence structure, a disproportionate loss to another risk. They formalized the notion that the
i-th component of the portfolio is riskier when it is part of a positive-dependent random vector than when it is considered alone, which they did in several ways by considering specific conditional risk distributions. In addition, they acquired conditions under which, given two random vectors with a defined dependence structure, the existence of specific stochastic orderings between their marginals implies an ordering between the corresponding conditional risk distributions.
3. Preliminaries
In the remaining parts of the paper, we use the following notation. Let
be a random vector, denote
, and consider a cold standby system comprising
n components. First, one component begins to work and the residual
components are in standby and ready to lie in the system. Upon the failure of the first component, the components that are in queue in standby mode are replaced one by one until all components become inactive and the cold standby system fails. Suppose that
represent the lifetimes of
n described components having cumulative distribution functions (CDFs)
. It is assumed that
are independent. The lifetime of the cold standby system is then identified as
Although in this paper we use the random variable (rv)
in (
1) as the lifetime of an
n-fold cold standby system, there is another description for this rv from the perspective of insurance and risk theory. In such frameworks, convolution manifests itself naturally. In this case, the portfolio consists of a fixed number of different insurance policies and the total loss of the portfolio is the sum (convolution) of the random losses of the individual policies, which is consistent with the model of individual risk. For example, we are interested in how the sum
of claims is distributed across different insurance policies, where
represents the payout on policy
i. It is assumed that the risks
are independent random variables. The risks should be combined into one term in (
1) if this assumption is broken for certain risks, such as fire insurance policies for different floors of the same building. The CDF of the lifetime of the cold standby system is
in which ∗ stands for the convolution operator. It is acknowledged that when
and
, for
are independent, then
where
is the probability density function (PDF) of
, which is the CDF of the convolution of
and
, that is, the CDF of
. From (
2), we can develop the following:
Suppose that
X denotes the life length of a lifetime organism. We assume that at the time
t at which an inspection is carried out, it is found that the organism is not alive or the system is not working. This situation is frequently encountered in different contexts; there is no process to accurately determine the time point at which the organism failed, though there may be signs from which can be realized that the organism has failed. There are many situations in which the observation of events is postponed. Thus; the time
t may be the first time at which a sign has observed. We utilize the rv
, which is well-defined for every
for which
. The rv
is called the inactivity time of the organism (which has a random lifetime
X) at time
t. The rv
has the following CDF.
The associated reliability function of
is obviously
and the PDF of
is derived by taking derivation of Equation (
4), as shown below.
Note that
is the normalizing constant, as in view of Equation (
6) we have
. There are two well-known reliability measures which are constructed using the rv
, namely, the reversed hazard rate (RHR) function and the mean inactivity (MIT) time function. In view of (
6), the RHR of a lifetime rv (
) is defined as
The MIT function of
X, as the mathematical expectation of the rv
, is derived as follows:
For the preliminary properties of the RHR function, we refer readers to Block et al. [
41] and Finkelstein [
42]; for the initial aspects and properties of MIT functions, see Kayid and Izadkhah [
43] and Khan et al. [
44].
Stochastic orders which have been utilized to compare probability distributions provide useful procedures for comparing reliability systems. Two reputable and frequently used stochastic orders are adopted in this paper to construct stochastic orders between the idle times of inactive systems. The following definition is adopted from Shaked and Shanthikumar [
45]. Suppose that
X and
Y have CDFs
and
, respectively, for which the survival functions (SFs) of
X and
Y are defined as
and
, respectively.
Definition 1. Suppose that X and Y are two non-negative rvs with PDFs and and survival functions and , respectively. Then, we say that X is smaller than or equal to Y in:
(i) the likelihood ratio order (denoted as ) if is increasing in ;
(ii) the usual stochastic order (denoted as ) if for all .
The two stochastic orders provided in Definition 1 are in a relation with each other such that
yields
(for an example, see Theorem 1.C.1 in Shaked and Shanthikumar [
45]). The usual stochastic ordering is useful for comparing the reliability of two systems directly and completely in the whole time interval. On the other hand, the likelihood ratio ordering is a powerful tool for comparing the strengths of random variables such that
holds if and only if
that is, the likelihood ratio order is able to compare two systems with lifetimes
X and
Y based on their reliability functions at specific times. The likelihood ratio order is useful for constructing rejection regions when testing certain statistical hypotheses in a parametric family of distribution in order to choose between two values of the parameter. For more properties and details on these stochastic orders, we refer readers to Shaked and Shanthikumar [
45].
New classes of lifetime distributions can be generated in accordance with the comparison between and for all according to the likelihood ratio order and the usual stochastic order. In the sequel to the above-cited paper, the following classes are used.
Definition 2. The rv X with PDF is said to have the following:
(i) The increasing likelihood ratio property (denoted by ) whenever is log-concave in ;
(ii) A decreasing reversed hazard rate (denoted by ) whenever is log-concave in .
For instance, as a standard lifetime distribution, the exponential distribution fulfills both the
and
properties. The Weibull distribution with a shape parameter
, scale parameter
, and reliability function (SF)
has the
and
properties if
. For further properties of the
and the
classes of lifetime distributions, readers are referred to Lai and Xie [
46]. The following definition is from to Karlin [
47].
Definition 3. Let be a non-negative function defined for and ; then, is said to be totally positive with order 2 (denoted as ) in provided that for all and for all
4. Main Results
Our main results are stated in this section. It is assumed that while the failure of the cold standby system is recognized at time
t, the actual time of failure is a time prior to
t. The idle time of the inactive cold standby system is measured as the time between the exact time of failure, which is a random variable, and the time
t. Here, we use the idle times of the components of the system to obtain lower and upper bounds on the lifetime of the standby system within which they are assembled. Specifically, we show that the idle time of a failed cold standby system with
n components at time
t is greater than the sum of the idle times of the components in the system minus
in the sense of the usual stochastic ordering. The idle time of a cold standby system with
n components (one of which active with a random lifetime
and the remaining inactive ones
with random lifetimes
are ready to function upon the failure of the active component) is characterized by the rv:
where
t is the time at which the failure of the system is first observed. The results obtained in this paper are derived based on techniques in probability and distribution theory, including the total probability formula.
4.1. Usual Stochastic Order-Based Bounds for the Idle Time of Cold Standby Systems with n Components
In the following theorem we derive a lower bound for the inactivity time of a standby system, in the sense of the usual stochastic order, in terms of the inactivity time of its components.
Theorem 1. Let be independent and non-negative rvs such that are independent as well; then, for fixed , Proof. We proceed to prove the above theorem using the method of induction. Let
and denote
and
, where
is a fixed time. First, we show that
for all
. Because for every
and
, we have
for all
as well as for all
. This is sufficient to show that
holds true for all
, which in turn is sufficient to claim that
For
, we can obtain
where the first identity follows from Equation (
4), the second is obtained using the total probability formula along with the fact that
and
are independent, and the third is acquired after changing of variable
. On the other hand,
in which the second equality is due to the total probability formula,
and
are independent, and the second equality is obtained using Equations (
5) and (
6). Because we have
for
,
Therefore, for all
,
Let us assume now that (
8) holds for
, that is,
We can now prove that (
8) holds for
. We observe that
where the first stochastic order is due to (
9), the second stochastic order follows from (
10), and
means the equality in the distribution. Thus, the proof is validated. □
The lower bound in (
8) in Theorem 1 can take negative values for certain
. If the lower bound is negative for a given
, the result of Theorem 1 becomes trivial; however, in the following example we present a situation in which (
8) produces a meaningful lower bound for the MIT of a gamma-distributed random lifetime.
Example 1. Suppose that , an exponential distribution with mean . Then, has MIT It is known that has a gamma distribution with shape and scale λ. From Theorem 1, as the usual stochastic order implies the expectation order, we obtain a lower bound for the MIT of , as follows: We show that the obtained lower bound for the MIT of is non-negative. It can be readily seen that for all if and only if for all . Because for all , it is the case that for all .
The following example clarifies another utilization of the result of Theorem 1.
Example 2. We say that X has a gamma distribution with shape parameter and the scale parameter λ and denote it by whenever X has a PDF . Considering two lifetime organisms or devices working one after another in a system (a standby structure) and letting denote the lifetime of the ith organism, we can consider two situations for : first, when both organisms fail before time , and second when the system fails before time . Suppose that and . Note that if , where , the the CDF of X is derived via Denote . In the spirit of the Equation (11), we find the CDF of the rv when as follows: On the other hand, from (11), the rv for has the following SF: From Theorem 1, ; thus, for all . Figure 1 plots the graphs of and for (for the values out of , the ordering relation is obviously fulfilled) to exhibit the stochastic ordering property. 4.2. Likelihood Ratio Order-Based Bounds for the Idle Time of Cold Standby Systems with n Components
Before stating the next result, we need to introduce additional notation. We assume that
, which is known in the literature as the past lifetime of
. Note that
has a distribution which corresponds to the conditional distribution of
, given that
for any
. In what follows, we take
In the following result, it is demonstrated that at a certain time t, for a cold standby system where the system and all the components in it are inactive, the overall idle time of the components is stochastically greater (with respect to likelihood ratio order) than the idle time of the cold standby unit.
Theorem 2. Let be independent rvs such that follows an exponential distribution with parameter . In addition, let be independent for a fixed . Then, Proof. Notice that
has support
, while
has support
. Thus, we need to prove that
is increasing in
for every
, as for
we have
. Thus, we have
Using Equation (
6) and then applying the convolution formula on the density function of
, for every
we obtain
Next, by imposing the convolution formula on the density function of
, we have
Therefore,
where a change in the variable
is made to derive the last equality. Because
,
Hence, for all
we obtain
which is non-negative. Thus, the proof of theorem is completed. □
We provide a situation to examine the result of Theorem 2 in Example 3 below.
Example 3. Suppose that and with . Following Arnold and Villaseñor [48], we can deduce that has a PDFand CDF For all , the rv has a PDF The rv has a PDF Therefore, if and only if Let us choose and . We show in Figure 2 that is an increasing function. This confirms the result of Theorem 2. Consider a cold standby system composed of a single component with a general continuous lifetime distribution equipped with one additional component with an exponential distribution lifetime. In this case, it can be realized from Theorem 2 that the idle time of the cold standby system is smaller with respect to the likelihood ratio order than the sum of the inactivity times of both components measured at a specified time t. Note that the time t is considered to be the time at which the system and its components are inactive and not functioning.
The following technical lemma is useful and is applied in the following.
Lemma 1. Suppose that are m points in time with a mean and that are m non-negative rvs; then, , where refers to the equality in the distribution.
Theorem 3. Let be independent non-negative rvs such that and , where are independent and where are m fixed time points, and as such are . Let , then if
- (i)
, where , in which and ,
- (ii)
and have identical distributions, and
- (iii)
for ,
Proof. We first prove that
. The result is then proved following our discussions here. From Theorem 1.C.8 in Shaked and Shanthikumar [
45], if
is a decreasing function, then
implies that
. Thus, if
, because
, it follows that
. Using Lemma 1, it can be realized that
, and in addition that
. Hence, it follows that
. Thus, it is sufficient to prove that
is increasing in
. We assume that
is the indicator function of the set
, which is equal to one if
and is equal to 0 if
, where
is the complement of the set
A. For every
, we can write
where
stands for the maximum of
a and
b and the last identity follows from the fact that for all
, from assumption (i) above we have
, meaning that
. Therefore, because
and
are identical in distribution (assumption (ii)), for every
we have
where
. From assumption (iii),
for all
; thus, because the convolution of log-concave densities is log-concave,
. From Theorem 1.C.53 of Shaked and Shanthikumar [
45], we conclude that
Moreover, because
implies that
, we have
Furthermore, from assumption (iii), the function
is increasing in
. From (
13) and (
14), it follows that
is increasing in
, which validates the proof. □
The following example shows that the conditions in Theorem 3 are accessible.
Example 4. Choose and such that and . It can be readily seen that and , that is, condition (i) in Theorem 3 holds. Further, let , i.e., the s are distributed uniformly over . Thus, and are equal in distribution, and condition (ii) in Theorem 3 is satisfied. It can be seen that is log-concave in x, i.e., , for all ; therefore, another sufficient condition in Theorem 3 holds true. It is not hard to prove that . In addition, we can prove after calculation that It is easily observable that is non-decreasing in , meaning that condition (iii) in Theorem 3 is valid. Therefore, as follows from Theorem 3, we can conclude that the ordering relation provided in (12) is satisfied. 4.3. Further Bounds for the Idle Time of Cold Standby Systems with 2 Components
Cold standby systems with two components are very important in reliability and systems analysis. This is because redundancy methods usually assume that there is only one spare part for certain components of a given system with a specified structure, as the first unit is considered the main working unit and the second component the standby unit. The following lemma is useful in proving the next result.
Lemma 2. Let be m dependent rvs which are non-negative; further, let be independent. Then,in which are m points of time such that . Proof. It suffices to prove that
and
have a common moment generating function. Denote
and let
have a conditional PDF
. Because the
s are independent, for all
we have
Now, we can write
where the last identity follows from the assumption that
are independent. The proof is completed. □
The following result presents a sufficient condition for the usual stochastic ordering between the idle time of an inactive standby system of size two and the sum of the idle times of the inactive components. It is worth mentioning that as standby systems of size two are very important as an effective redundancy method in engineering reliability systems, the previous results are of particular interest when .
Theorem 4. Let and be two independent rvs such that and are independent for as two specified points of time. Suppose that for all ; then, Proof. In a similar manner as in the proof of Theorem 3, it is sufficient to show that
. From Lemma 2, when
, because
and
as well as
and
are independent, we have
. Thus, we can prove that
By routine calculation, it is evident that (
15) is satisfied if and only if
which holds if and only if
The inequality in (
16) holds true for
, as it can be obviously seen that
Thus, we only need to prove that the inequality in (
16) is satisfied for
. Note that
where
. Thus, we can obtain
Therefore, to prove (
15) it is sufficient to show the following for all
:
Because we have
for all
, it suffices to prove that
holds for all
, that is, it is enough to demonstrate that for all
we have
where
Let us assume that
; then, we can show that
Because
, it is the case that
for all
; hence,
. Therefore,
which is non-negative if
is decreasing in
. This is additionally satisfied if the assumption that
for all
holds. Now, assuming that
,
In a similar manner to the case when
, we can now establish that
As a result, we have for all . The proof of the theorem is now completed. □
In the context of the conditions of Theorem 4, it is possible to question whether the assumption that for all is attainable. The following remark clarifies this issue.
Remark 1. Suppose that and respectively represent the lifetime of a component and the lifetime of the standby unit which, are assumed to be independent. Note that for all we have . We can writewhere is a non-negative rv with a PDF provided by Note that . Now, consider an such that and for which . Supposing that has a decreasing convex reversed hazard rate function, on using Jensen’s inequality, for all we have Now, Theorem 4 is applicable, as the sufficient condition of this theorem is satisfied.
We provide the next example to fulfill the conditions in Theorem 4 in the case of heterogenous exponential components.
Example 5. Suppose that and have an exponential distribution with parameters and , respectively. It can be checked that the reversed hazard rate function of exponential distribution is decreasing and convex. Thus, is a decreasing function in x which is further convex in x. The rv , as introduced in Remark 1 with PDF (17), has a PDF It is straightforward that if , then is in . As a result, from (17), is in , that is, for every . Because implies , we can conclude that for all . Therefore, for all . For example, if and , then after calculation we can obtainwhich is an increasing function. Hence, if one chooses , following the discussion in Remark 1 and noting that for all we have , the assumption in Theorem 4 that for all is fulfilled on this account, and consequently, , or more accurately, . Before concluding the paper, we would like to point out that the study conducted in this paper has a number of limitations. For example, the random variables representing the component lifetime in a cold standby system are considered to be independent. In the literature, this condition is usually associated with the problem of convolution of random variables. There is another limitation to the research conducted in this study, namely, that we considered general cold standby systems and not specific ones installed in a particular interconnected system (e.g., systems with parallel or series structures containing redundant standby units). This could represent helpful approach to determine whether the results of the present work are useful for coherent systems as well.
5. Conclusions
In this study, we have presented results for obtaining upper and lower stochastic bounds for the idle time of standby systems after their failure in the context of random lifetimes. These bounds are in fact functions of the idle times of the components of the standby system. In this way, it is possible to evaluate whether it is reasonable to equip a component with redundant standby units in order to minimize the idle time of a standby system. We used two informative and commonly applied stochastic orderings, namely, the likelihood ratio ordering and the usual stochastic ordering. The problem of maintaining systems and replacing them with new systems, along with the similar problem of tuning their components, plays an important role in reliability engineering. This is because there are certain systems, e.g., systems that gradually fail under certain degradation processes, that need to be in operation uniformly, and it is very beneficial for such systems to have less idle time. The results obtained in this work may be useful in identifying situations where the idle time of inactive standby systems and the idle time of components in the system (or a function thereof) have a stochastic ordering property. Because the number of standby units can play a key role in reducing or even increasing costs and preventing further losses due to early component failures, it becomes increasingly important to identify whether a standby system is highly survivable, or equivalently whether it has lower inactivity compared to components that failed earlier.
In future additions to this study, we intend to consider two standby systems with different component lifetimes and possibly different numbers of components, and to investigate stochastic comparisons between the idle time of one system and the sum of the idle times of the components in the other system. We intend to look for the conditions for stochastic comparisons between the idle times of two standby systems. To provide further guidance for future research, the results of this paper can be taken up and, for example, the upper or lower bounds obtained in this paper for the idle time of standby systems can be considered to obtain sharper bounds.