Abstract

The family of consecutive-type reliability systems is under investigation. More specifically, an up-to-date presentation of almost all generalizations of the well-known consecutive -out-of-: system that have been proposed in the literature is displayed, while several recent and fundamental results for each member of the aforementioned family are stated.

1. Introduction

A linear (circular) consecutive -out-of-: system consists of components which are linearly (circularly) arranged and the system fails if and only if at least consecutive components fail. The most popular applications of these systems pertain to computer network, telecommunication, pipeline network modeling, engineering, or integrated circuitry design. The consecutive -out-of-: system has been subject of substantial research interest for many years and a lot of generalizations have been suggested in order to accommodate more flexible operation principles. For a detailed presentation of the consecutive -out-of-: systems and some generalizations, the interested reader is referred to the excellent monograph of Kuo and Zuo [1] or the work of Chang et al. [2].

Let be the lifetime of a reliability system with components and its components’ lifetimes. If we assume that are exchangeable (and therefore identically distributed but not necessarily independent), the signature of the system is defined as the probability vector with where are the order statistics of the sample . It can be easily verified that, in the exchangeable case, the signature of a reliability system depends only on its structure and not on the specific underlying distribution of . In other words, is the proportion of permutations, among the equally likely permutations of , which result in a minimal cut set failing upon the occurrence of .

The signature of the system, which was first introduced by Samaniego [3], is closely related to many well-known reliability characteristics, a fact turning it to a very useful tool for studying coherent systems and their ageing properties. For example, the reliability polynomial of a structure can be easily expressed in terms of its signature. More precisely, Samaniego [3] proved that for any coherent system with independent and identical components which have absolutely continuous cumulative density functions, system’s reliability can be expressed as Navarro and Rychlik [4] proved that the above representation also holds true when the lifetimes have an absolutely continuous exchangeable distribution (this property had been mentioned earlier by Kochar et al. [5]). Moreover, Eryilmaz and Bayramoglu [6] used the system signature in order to evaluate the extreme residual lifetimes of the remaining components after the complete failure of the system.

Both reliability function and signature of a structure can be evaluated based on either recursive formulas or explicit expressions. In some cases, where neither of the aforementioned methods can be established for a specific system, approximating and limiting results are available. In the present review article, the family of consecutive-type reliability systems is under investigation. More specifically, Section 2 offers an up-to-date presentation of almost all generalizations of the well-known consecutive -out-of-: system that have been proposed and studied in the literature. For each structure, the corresponding fundamental work and selected results are displayed either briefly or in detail. In Section 3, applications of these reliability systems in several fields are described, while Section 4 presents a full-detailed diagram which connects the aforementioned structures by giving the information under which conditions a system can be treated as a special case of another one.

2. Family of Consecutive-Type Reliability Systems

In this section, we study in detail almost all generalizations of the well-known consecutive -out-of-: systems that have been proposed in the literature till now. For each reliability structure that is included in the family of consecutive-type systems, the general operational structure is described, while several important and some recent relevant results are displayed.

2.1. -Consecutive--out-of-: Systems

An -consecutive--out-of-: system consists of components and fails if and only if there exist at least nonoverlapping runs of consecutive failed components. This system was first introduced by Griffith [7] and since then it has attracted a considerable research attraction. In the sequel, we present the main results appearing in the literature, such as recurrence relations and closed formulas for the evaluation of the reliability function and signature vector of -consecutive--out-of-: systems. It is worth mentioning that the aforementioned system generalizes the well-known consecutive--out-of-: system (for ), while for the -consecutive--out-of-: system reduces to an ordinary -out-of-: system.

2.1.1. Recursive Schemes for the Reliability of -Consecutive--out-of-: Systems

The following theorems provide recurrence for the calculation of reliability of an -consecutive--out-of-: system.

Theorem 1 (Papastavridis [8]). Let denote the reliability function of a linear -consecutive--out-of-: system, where is the reliability of its th component. Then satisfies the following recurrence relation:where and .
In order to launch the above recurrence scheme, a set of initial of conditions would be necessary. Observing that for the following ensueswhile we have at hand the set of initial values needed to evaluate reliability of the system.
Note that for the i.i.d case (e.g., ), the recurrence of Theorem 1 reduces to the following form:

Theorem 2 (Alevizos et al. [9]). Let denote the reliability function of a circular -consecutive--out-of-: system, where is the reliability (unreliability) of its th component. Then satisfies the following recurrence: where and denotes the reliability of a linear -consecutive--out-of-: subsystem with components .
To launch the above recursive scheme, a set of initial of conditions would be necessary. Observing that the following ensue(i), for ,(ii), for ,(iii), for ,
we have at hand the set of initial values needed to evaluate reliability of the system.
Note that for the i.i.d case (e.g., ), the recurrence of Theorem 2 reduces to the following form:It is worth mentioning that the computational complexity of recurrence included in Theorem 1 is equal to , while the corresponding one for equations of Theorem 2 equals .

2.1.2. Exact Formulas for the Reliability of -Consecutive--out-of-: Systems

The following theorems offer closed expressions for the evaluation of reliability of an -consecutive--out-of-: system.

Theorem 3 (Papastavridis [8]). Let denote the reliability function of a linear -consecutive--out-of-: system, where is the common reliability of its i.i.d. components. Then is given as follows: where , denotes the greatest integer lower bound of and can be expressed as

Theorem 4 (Makri and Philippou [10]). Let denote the reliability function of a linear -consecutive--out-of-: system composed by i.i.d. components, where is their common reliability. Then is given as follows: where is the well-known multinomial coefficient, while the inner summation is over all nonnegative integers such that .

Theorem 5 (Makri and Philippou [10]). Let denote the reliability function of a circular -consecutive--out-of-: system, where is the common reliability (unreliability) of its components. Then, can be expressed as follows: (i)where is the well-known multinomial coefficient, while the inner summation is overall nonnegative integers such that . Moreover, in the above expression denotes the greatest integer in , while is the Kronecker delta function.(ii) Considerwhere

2.1.3. Approximations for the Reliability of -Consecutive--out-of-: Systems

The following theorems offer some limiting results for the evaluation of reliability of an -consecutive--out-of-: system.

Theorem 6 (Papastavridis [8]). Let be the common failure distribution of the components of an -consecutive--out-of-: system, where , are positive constants. Then the following ensueswhere is the time of first failure of the system.

Theorem 7 (Godbole [11]). Let , be the failure probability of the th component of an -consecutive--out-of-: system. Then the reliability of the system satisfies the following inequality:where and .

2.1.4. Signature Vector of -Consecutive--out-of-: Systems

Let denote the common reliability of the components of an -consecutive--out-of-: system. The following theorem offers a generating function approach of the aforementioned system.

Theorem 8. Let and be the signature and the reliability function of an -consecutive--out-of-: system, respectively. Then (a)the double generating function of is given by (Eryilmaz et al. [12]),(b)the generating function of is given as follows:(Koutras [13]).
The next theorem offers expressions for the evaluation of the signature vector of an -consecutive--out-of-: system.

Theorem 9 (Eryilmaz et al. [12]). Let be the signature vector of an -consecutive--out-of-: system. Then the following ensues(a)the quantities satisfy the recurrence relation:for and .(b)the quantities can be expressed as for and if , where

2.1.5. Additional Results for -Consecutive--out-of-: Systems

Beyond the results mentioned in the previous subsections, additional studies have appeared in the literature for the -consecutive--out-of-: system. Eryilmaz [14] derived explicit expressions for the component importance measures for the aforementioned structure consisting of exchangeable components. More specifically, Eryilmaz [14] studied in detail the well-known Birnbaum and Barlow-Proschan importance measures for a -consecutive--out-of-: system. Furthermore, Ghoraf [15] offered recursive formulas for calculating the reliability function of the circular case of the aforementioned structure couching on the corresponding recurrence equations for the linear one.

2.2. -within-Consecutive--out-of-: Systems

An -within-consecutive--out-of-: system consists of components and fails if and only if there exist consecutive components which include among them at least failed components. This system was first introduced by Griffith [7], but its mathematical modelling has been done earlier by Greenberg [16] and Saperstein [17]. In the sequel, we present the main results appearing in the literature, such as recurrence relations and closed formulas for the evaluation of the reliability function and signature vector of -within-consecutive--out-of-: systems. It is worth mentioning that the aforementioned system generalizes the well-known consecutive--out-of-: system (for ), while for the -within-consecutive--out-of-: system reduces to an ordinary -out-of-: system.

2.2.1. Recursive Schemes for the Reliability of -within-Consecutive--out-of-: Systems

The following theorems provide recurrence for the calculation of reliability of an -within-consecutive--out-of-: system.

Theorem 10 (Sfakianakis et al. [18]). Let denote the reliability function of a linear -within-consecutive--out-of-: system, where is the common reliability of its components. Then, for , , satisfies the following recurrence relation:where , if .

Theorem 11 (Eryilmaz [19]). Let denote the reliability function of a linear -within-consecutive--out-of-: system, where is the common reliability of its components. Then, for , satisfies the following recurrence relation:where is the reliability of -within-consecutive-()-out-of-2(): system with components , while denotes the lifetime of -out-of-: subsystem of components with the lifetimes , .

Theorem 12 (Koutras [13]). Let denote the reliability function of a linear r-within-consecutive--out-of-: system, where is the common reliability of its components. Then, satisfies the following recurrence relation:

2.2.2. Exact Formulas for the Reliability of -within-Consecutive--out-of-: Systems

The following Theorem offers closed expressions for the evaluation of reliability of an -within-consecutive--out-of-: system.

Theorem 13 (Sfakianakis et al. [18]). Let ( denote the reliability function of a linear (circular) 2-within-consecutive--out-of-: system, where is the common reliability of its components. Then the following recurrences ensue:(i)where ,(ii)where .

2.2.3. Approximations for the Reliability of -within-Consecutive--out-of-: Systems

The following theorems offer some limiting results for the evaluation of reliability of an -within-consecutive--out-of-: system.

Theorem 14 (Eryilmaz et al. [20]). Let denote the reliability function of a linear -within-consecutive--out-of-: system. Then, for , satisfies the following inequalities:(i) where is the th smallest lifetime among , , and(ii) Considerwhere and Let us next denote by the event where there are at least failed components from to , for , while , , are defined as follows:

Theorem 15 (Sfakianakis et al. [18]). Let denote the reliability function of a linear -within-consecutive--out-of-: system, where p is the common reliability of its components. Then satisfies the following inequalities:(i)where(ii)whereFor the next Theorem, the following definitions are necessary:(i) denotes the event that the linear -within-consecutive--out-of-: system consisting of the components is good ().(ii) denotes the event that the th component fails and there are at least failures among components , ().(iii) denotes the event that there are at most failures among components , ().(iv) denotes the event that, for , there is no failure among components , for .

Theorem 16 (Papastavridis and Koutras [21]). Let denote the reliability function of a linear -within-consecutive--out-of-: system. Then satisfies the following inequalities:where is the unreliability of the th component, while .

2.2.4. Signature Vector of -within-Consecutive--out-of-: Systems

Let denote the common reliability of the components of an -within-consecutive--out-of-: system. The following theorem offers a generating function approach of the aforementioned system.

Theorem 17. Let and be the signature and the reliability function of an 2-within-consecutive--out-of-: system, respectively. Then (a)the double generating function of is given by (Triantafyllou and Koutras [22]),(b)the generating function of is given as follows: (Koutras [13]).The next theorem offers expressions for the evaluation of the signature vector of an 2-within-consecutive--out-of-: system.

Theorem 18 (Triantafyllou and Koutras [22]). Let be the signature vector of an 2-within-consecutive--out-of-: system. Then the following ensues:(i)The quantities , , where , satisfy the recurrence relation:for and .(ii)The quantities can be expressed as It is worth mentioning that well-performed simulations study of an -within-consecutive--out-of-: system has been developed by Eryilmaz et al. [20]. Moreover, Kan et al. [23] studied the circular case of the aforementioned structure and offered a new approximation for its reliability.

2.3. Systems

An system involves two common failure criteria. More specifically, it consists of components (ordered in a line or a circle) and fails if and only if there exist at least failed components or at least consecutive failed components. It is worth of mentioning that the configuration of an system was first introduced by Tung [24] as an application to a complex infrared detecting system and since then it has attracted considerable research attention. In the sequel, we present the main results for systems appearing in the literature, such as recurrence relations and closed formulas for the evaluation of the reliability function and signature vector. It is worth mentioning that the aforementioned system generalizes the well-known consecutive--out-of-: system (for ), while for the () system reduces to an ordinary -out-of-: system.

2.3.1. Recursive Schemes for the Reliability of Systems

The following theorems provide recurrence for the calculation of reliability of an system.

Theorem 19 (Zuo et al. [25]). Let be the event that the subsystem fails (the subsystem consists of components , , ), while denotes the corresponding failure probability . Then the unreliability function of the system satisfies the following recurrence relation:where is the reliability (unreliability) of the th component.

In order to launch the aforementioned recursive scheme, the following set of initial conditions is necessary:The complexity for calculating using the above recurrence relation is equal to . The next theorem provides an alternative recursive scheme for the evaluation of the reliability function of the system.

Theorem 20 (Triantafyllou and Koutras [26]). The reliability function of an system with i.i.d. components satisfies the following recurrence relation: where denotes the common reliability of its components.

In order to launch the recursive scheme established above, an adequate number of initial conditions is necessary. These conditions are given as followswhere is the reliability of a -out-of: : system; that is, .

2.3.2. Exact Formulas for the Reliability of Systems

Let us first consider an system, where ; we recall that for the case the system coincides with the well-known -out-of-: system and its reliability properties have been extensively studied in the past. Chang et al. [27] established a Markov chain representation of the system, which leads to the computation of the reliability function of the aforementioned structure. More specifically, for the system with , let us define the state space for process aswhere indicates a working state in which the system consisting of components has failed components, its last components have failed, and the th component is working. State indicates the system fails. Then is a Markov chain with transition matrix of the formwhere and .

As proved in Koutras [13], the reliability of a structure can be expressed as where is the transition probability matrix associated to the structure andTherefore, applying the above expression obtained for the transition matrix of an system, one may easily calculate the reliability function of the aforementioned structure.

Let us next consider the following probabilities:where is the state of th component , for . The following theorem offers a closed expression for the evaluation of reliability of an system.

Theorem 21 (Eryilmaz [28]). The reliability function of an system with exchangeable components can be expressed as follows: whereIn the sequel, we present results for an system with Markov dependent components. Let denote the states of the Markov dependent components with transition probabilitieswith and initial probabilities , . If we define as the following theorem provides an expression for the evaluation of reliability of systems.

Theorem 22 (Demir [29]). The reliability function of an system with Markov dependent components can be expressed as follows:

2.3.3. Signature Vector of Systems

Let denote the common reliability of the components of an system. The following theorem offers a generating function approach of the aforementioned system.

Theorem 23 (Triantafyllou and Koutras [26]). Let be the signature of an system, respectively. Then the double generating function of is given by whereTheorem 24 offers recursive relations for the evaluation of the signature vector of an system.

Theorem 24 (Triantafyllou [30]). The coordinates of the signature vector of an system satisfy the following recurrence relation: Let be the lifetime of a system whose components’ lifetimes are and the order statistics associated with them. It is easy to observe that the lifetime of an system can be represented as a function of the lifetimes of consecutive -out-of-: and -out-of-: systems. Generally speaking, the lifetimes of systems involving two common failure criteria can be expressed as either where denotes the lifetime associated with the system different from -out-of- structure but having the same components’ lifetimes . The next theorem presents an alternative way of computing the signature of an system.

Theorem 25 (Eryilmaz and Zuo [31]). Let be the signature of the system with lifetime . Then the signatures of the systems with lifetimes and are given, respectively, as It is noteworthy that the dual system of an structure has been studied by Cui et al. [32], while a generalization of these systems, named systems, with weighted components has been introduced by Eryilmaz and Aksoy [33]. Gera [34] studied reliability systems with two working criteria and presented some results associated with the well-known qualification tests, while Kamalja [35] derived expressions for the Birnbaum importance measures for both structures.

2.4. Reliability Systems with Weighted Components

The idea that all components in a reliability structure are not created equal is seemingly an obvious concept. In other words, it is not quaint to assume that different components may have different failure probabilities. Generally speaking, a reliability system which consists of weighted components, for example, each component carries its own positive weight, fails if and only if the total weight of the failed components exceeds a specific benchmark. In the sequel, the literature on weighted reliability structures is briefly reviewed. Consider a system with components and suppose that the th component is associated with a weight , . Then the system is still working if and only if the sum of weights of the failed components is less than (or equal to) a certain threshold .

2.4.1. Weighted -out-of- Systems

A weighted -out-of-: system consists of components, each with its own positive weight (total system weight equal to ), such that the system works (fails) if and only if the total weight of the working (failed) components is at least . It is noteworthy that the reliability of a weighted -out-of-: system is the complement of the unreliability of a weighted -out-of-: system. It goes without saying that the -out-of-: system is a special case of the corresponding weighted -out-of-: system wherein the weight of each component equals 1. The next theorem offers an efficient algorithm for the evaluation of the reliability of the weighted -out-of-: system.

Theorem 26 (Wu and Chen [36]). Let be the reliability of the weighted -out-of-: system, while is the weight of the th component. Then if we denote by the reliability (unreliability) of the th component, the reliability of the structure satisfies the following recurrence relation:The following theorem provides a similar result concerning the dual structure.

Theorem 27 (Chen and Yang [37]). Let be the reliability of the weighted -out-of-: system, while is the weight of the th component. Then if we denote by the reliability (unreliability) of the th component, the reliability of the structure satisfies the following recurrence relation:An extension of the aforementioned one-stage weighted -out-of- model has been proposed by Chen and Yang [37]. More specifically, Chen and Yang [37] considered a two-stage weighted -out-of- system, which consists of subsystems. Each subsystem has a (one-stage) weighted -out-of- structure, which is called the second level structure. The interrelationship between the subsystems follows a certain coherent structure, which is called the first-level structure. Generally speaking, a two-stage weighted -out-of- system can be decomposed into two hierarchical levels: the first (higher) level can be of any coherent structure and the second (lower) level has a weighted -out-of- structure.

An additional generalization of the well-known weighted -out-of- system has been introduced by Eryilmaz [38]. More specifically, Eryilmaz [38] assumed that the system has a performance level above if there are at least working components and the sum of the weights of all working components is above . Among others, Eryilmaz [38] deduced recursive relations for the calculation of the system state probabilities, while a detailed simulation study has been taken into play in order to observe the time spent by the system in state or above. Finally, Li and Zuo [39] studied the multistate weighted -out-of- systems, where each component may be in more than 2 states and therefore its contribution to the system’s weight can be differentiated analogously.

2.4.2. Consecutive Weighted -out-of- Systems

A weighted consecutive -out-of-: system consists of components, each with its own positive weight (total system weight equal to ), such that the system fails if and only if the total weight of the failed components is at least . It goes without saying that the consecutive -out-of-: system is a special case of the corresponding weighted consecutive -out-of-: system wherein the weight of each component equals 1. Efficient algorithms for the evaluation of the reliability of the linear weighted consecutive -out-of-: system have appeared in the literature (for more details see Kuo and Zuo [1]), while Samaniego and Shaked [40] extended the idea of weighted components, by giving to the components weights that can take any positive value (not necessary integer-valued).

2.5. Systems

Cui and Xie [41] introduced a generalized -out-of- system, denoted by . Such a system consists of modules ordered in a line or a circle, while the th module is composed of components in parallel. In other words, the system fails if and only if there are at least failed components or at least consecutive failed modules. It goes without saying that, for , an system reduces to a simple while for coincides with the well-known consecutive -out-of-: system and for with the ordinary -out-of-: structure. The following theorem offers recursive relations for the evaluation of the reliability function of a linear and circular system, respectively.

Theorem 28 (Cui and Xie [41]). (i) For a linear system, the reliability function satisfies the following recurrence: where is the probability that, in module , there are failed components.
(ii) For a circular system, the reliability function satisfies the following recurrence:It is worth mentioning that the system can be obtained by adding more components in parallel to the basic components of an structure. Since the aforementioned system involves multiple failure criteria, Cui and Xie [41] studied the Birnbaum importance with respect to the th failure criterion as an importance measure computed only under this failure criterion. Firstly, for a reliability system with failure criteria, they assumed that, for any one of , the Birnbaum importance is different, while, for any one of failure criteria, the Birnbaum importance is the same. Moreover, Cui and Xie [41] denoted by works under failure criteria and works under failure criteria the specific disjoint events and they proved that the Birnbaum importance of the reliability system depends upon these failure criteria. Finally, note that the well-known series and parallel reliability systems are included in the more general systems’ family as special cases (for and and , resp.).

2.6. and Systems

Guo et al. [42] generalized the idea of the system, studied by Chang et al. [27] and Zuo et al. [25]. More specifically, they introduced a reliability structure, named the : system, which consists of components ordered in a line or circle and fails if and only if there exist at least failed components or at least consecutive failed components among components . It is noteworthy that, for the circular case, component index should have modulo property, that is, components and indicate the same one, while the following requirements should be satisfied:(i), if ,(ii), if .

Otherwise, the consecutive failure criterion can be removed. It goes without saying that when , , or , the : system becomes the well-known structure. Furthermore, Guo et al. [42] mentioned an additional justification of the aforementioned reliability systems. More precisely, they introduced the : system, which consists of components ordered in a line or circle, and fails if and only if there exist at least failed components and at least consecutive failed components among components . Finally, Guo et al. [42] considered the dual structures of the : and : systems, taking into account the argumentation applied by Cui et al. [32].

The main result of the aforementioned paper is the employment of a two-stage Markov chain in order to give the system reliability in the form of product of matrices. Generally speaking, the finite Markov chain imbedding technique is to embed a Markov chain defined on the state space and the discrete index space into a given system, while the system fails if there exists , , such that , for all .

The unique justification is to divide the discrete index space and the nonabsorbing state space into two disjoined parts. For example, if we consider the : (: ) system with component reliabilities , , by rearranging their components without changing the system reliability, we can transform it into the linear : (: ) system with component reliabilities (), where , and , satisfy the following relations: The rearrangement is as follows by a transform:where the first line (old-component order) denotes the components order before rearrangement, the second line (New-component order) denotes the components order after rearrangement, that is, we move to the end of the line that section to which the consecutive criterion applies so that the new system consists of components in an ordered line. Thus, the study of the aforementioned reliability structures is covered by the linear case : (: ) system with component reliabilities .

It is worth noting that Guo et al. [42] presented a detailed study for the evaluation of the reliability function of the : (: ) systems, by employing a two-stage Markov chain procedure and illustrating numerical examples.

2.7. Consecutive -out-of-: Systems with Cycle

An consecutive -out-of-: system consists of linearly arranged components and the system fails if and only if at least nonoverlapping runs of components fail. Boland and Papastavridis [43] studied the case where there are distinct components with failure probabilities and where the failure probability of the th component is . In other words, they focused on the special case of an consecutive -out-of-: system where there is a “cyclical” pattern in failure probabilities of the components. More precisely, Boland and Papastavridis [43] were interested in how the order of affects the failure probability of this new structure, named consecutive -out-of-: system with cycle .

Let us next denote by the failure probability of an consecutive -out-of-: system with cycle , while is the reliability (unreliability) of the th component. The following theorems offer recursive expressions for the unreliability of the aforementioned structure.

Theorem 29 (Boland and Papastavridis [43]). Consider an consecutive -out-of-: system with cycle , where , and . Then for any integer (except for and ), the unreliability function of the system satisfies the following recurrence: where .

Theorem 30 (Boland and Papastavridis [43]). Consider an consecutive -out-of-: system with cycle , where and . Then the unreliability function of the system satisfies the following recurrence: It is clear from the above result that the unreliability is independent of the order when is a multiple of . For , it follows that and therefore we deduce that the quantity is maximized by maximizing or, generally speaking, the is maximized (minimized) when (). It is worth mentioning that Boland and Papastavridis [43] provided additionally interesting applications of the consecutive -out-of-: system with cycle for the arrangement of sport competitions and inspections procedures in quality control.

2.8. -Consecutive -out-of-: Systems with Overlapping Runs

Agarwal and Mohan [44] introduced and studied the -consecutive--out-of-: system with overlapping runs. This reliability structure consists of linearly ordered components and fails if and only if there exist at least overlapping sequences of consecutive failed components (. It is straightforward that for the aforementioned system coincides with an ordinary consecutive--out-of-: structure. Graphical Evaluation and Review Technique (GERT) analysis is used for reliability evaluation of the system for both i.i.d. and ()-step Markov dependent components, in a unified manner. More specifically, Agarwal and Mohan [44] proved the following results:(i)For a -consecutive--out-of-: system with overlapping runs composed by i.i.d components, the generating function of the waiting time for the occurrence of the system failure is given as Hence the reliability function of the above structure can be expressed as where is the coefficient of in the power series expansion of the generating function .(ii)For a -consecutive--out-of-: system with overlapping runs composed by -step Markov dependent components, the generating function of the waiting time for the occurrence of the system failure is given as Hence, the reliability function of the above structure can be expressed as where is the coefficient of in the power series expansion of the generating function .

In addition, Eryilmaz [45] derived an explicit combinatorial expression for the number of its path sets including a specified number of working components. More specifically, Eryilmaz [45] proved the following result.

Theorem 31 (Eryilmaz [45]). The number of path sets of an -consecutive--out-of-: system with overlapping runs including working components can be expressed as follows: where , and Having at hand the above expression for the determination of , one may easily compute important characteristics of the -consecutive--out-of-: system with overlapping runs, such as its reliability function or its signature vector. Indeed, let us first denote by the maximum number of failed components such that the system with structure function can still work successfully and by the common reliability of its components. Since the reliability and the signature of a coherent structure can be expressed as respectively (for more details, see Boland [46] and Samaniego [3]), it is goes without saying that Theorem 31 leads immediately to the desired results.

2.9. Combined -Consecutive -out-of-: and Consecutive--out-of-: Systems

Mohan et al. [47] proposed and studied a new model, named the combined -consecutive--out-of-: and consecutive--out-of-: systems. This reliability structure consists of linearly ordered components and fails if and only if there exist at least consecutive failed components or at least nonoverlapping runs of consecutive failed components, where . By assuming that the components are i.i.d., Mohan et al. [47] employed the well-known GERT analysis to evaluate the reliability function and presented interesting applications of the aforementioned structure in several areas, such as signal processing or bank automatic payment systems. More specifically, the failure probability of the aforementioned system is explained as a tree structure, while the direction of the calculating procedure is from the root node to a leaf node via intermediate ones. The main steps of the algorithm can be briefly described as follows:(i)At step 1, the failure probability at root node is determined as where is the coefficient of in the power series expansion of the generating function of the waiting time for the occurrence of the system failure at root node .(ii)At step 2, the failure probability at node is deduced as follows:where is the coefficient of in the power series expansion of the generating function of the waiting time for the occurrence of the system failure at root node .(iii)At step 3, the total failure probability of the system is calculated as It is noteworthy that the complexity of the proposed algorithm for the calculation of the reliability of a combined -consecutive--out-of-: and consecutive--out-of-: systems has been determined to be equal to . For an up-to-date overview of GERT analysis results of consecutive- systems, the interested reader is referred to Sen et al. [48].

Moreover, Eryilmaz [49] derived an explicit expression for the number of its path sets including a specified number of working components. More specifically, Eryilmaz [49] proved the following result.

Theorem 32 (Eryilmaz [49]). The number of path sets of a combined -consecutive--out-of-: and consecutive--out-of-: systems with i.i.d. components including working ones can be expressed as follows: where ( indicates the minimum number of failed components at the moment of system failure) and the quantities can be calculated via the following recurrence: with Having at hand the above expression for and applying the well-known equalities for the evaluation of reliability function and signature of a coherent system in terms of (these equations have been already mentioned in previous section), one may easily compute these important characteristics of the combined -consecutive--out-of-: and consecutive--out-of-: systems with i.i.d. components. Finally, note that Eryilmaz [49] studied also the aforementioned structure under the assumption of Markovian type dependence between its components and derived an expression for its reliability.

2.10. Constrained -out-of- Systems

Eryilmaz and Zuo [50] proposed and studied two new models, which generalize the well-known -out-of-: and consecutive -out-of-: systems. These extensions consider an additional constraint on the number of working components between successive failures. More precisely, in addition to the working conditions of -out-of-: and consecutive -out-of-: systems there must be at least consecutive working components between any of two successive failures.

The first reliability structure introduced by Eryilmaz and Zuo [50] is called a constrained -out-of-: system consisting of linearly ordered components. This system fails if and only if there at least failed components or there are less than consecutive working components between any of two failed ones. It goes without saying that, for , the constrained -out-of-: system reduces to the ordinary -out-of- system.

Let denote the set of all binary sequences of length where the runs of successes between two consecutive failures have length at least . Then the reliability of constrained -out-of-: system is given as follows: where denotes the states of components ( if the th component is operating, and , otherwise), while represents the total number of failed components. The following theorem offers expressions for the evaluation of the reliability function of the constrained -out-of-: system with i.i.d. and Markov dependent components, respectively.

Theorem 33 (Eryilmaz and Zuo [50]). (i) For a constrained -out-of-: system consisting of independent and identical components with common reliability , the reliability function is given as follows:(ii) For a constrained -out-of-: system consisting of Markov dependent components with transition probabilities , , , and initial probabilities , , the reliability function is given as follows:

Moreover, an alternative reliability structure introduced by Eryilmaz and Zuo [50] is called a constrained consecutive -out-of-: system consisting of linearly ordered components. This system works if and only if there at least consecutive working components and there are a least consecutive working components between any of two failed ones. It goes without saying that, for , the constrained consecutive -out-of-: system reduces to the ordinary consecutive -out-of-: system.

Let denote the longest run of successes. Then the reliability of a constrained consecutive ()-out-of-: system is given as follows: where denotes the states of components. Theorem 34 offers expressions for the evaluation of the reliability function of the constrained consecutive ()-out-of-: system with i.i.d. and Markov dependent components, respectively.

Theorem 34 (Eryilmaz and Zuo [50]). (i) For a constrained consecutive -out-of-: system consisting of independent and identical components with common reliability , the reliability function is given as follows:where(ii) For a constrained consecutive -out-of-: system consisting of Markov dependent components with transition probabilitiesand initial probabilities , , the reliability is given asIt is noteworthy that Eryilmaz and Zuo [50] proved explicit formulas for the calculation of the signature of both constrained ()-out-of- systems they considered.

2.11. Combined -Consecutive -out-of- and -Consecutive--out-of- Systems

The common -consecutive -out-of-: system consists of linearly ordered components and fails if and only if there exist at least nonoverlapping runs of consecutive failed components. Gera [51] considered a more general reliability model, named the combined -consecutive -out-of- and -consecutive--out-of- systems. The new structure consists of components and fails if and only if there exist at least nonoverlapping runs of consecutive failed components or at least nonoverlapping runs of consecutive failed ones. Gera [51] shed light on the cases where , and additionally is not an integer divisor of ; that is, is not integer-valued. It goes without saying that otherwise the aforementioned system reduces to an ordinary -consecutive -out-of- structure.

Let denote the total number of components such that the system fails due to the specific requirements as mentioned, while represents the state of the th component ( (0) for success (failure)). In order to determine the reliability function of combined -consecutive -out-of- and -consecutive--out-of- systems, it is necessary to evaluate the following probabilities:Gera [51] managed to express the above quantities as follows: where , are the unit step and delta function, respectively, and is the common reliability (unreliability) of the components, while The following theorem gives the reliability of any subsystem including elements of a combined -consecutive -out-of- and -consecutive--out-of- systems.

Theorem 35 (Gera [51]). For combined -consecutive -out-of- and -consecutive--out-of- systems consisting of independent and identical components with common reliability , the reliability function of any subsystem including elements is given as follows:

2.12. Linear -Consecutive -out-of--from-: Systems

Levitin and Dai [52] proposed a new reliability model that generalizes the linear -within-consecutive--out-of-: system (or consecutive--out-of--from-: system) to the case of consecutive overlapping runs of elements. More specifically, the linear -consecutive -out-of--from-: system consists of linearly ordered -independent components and fails if and only if in each one of at least consecutive overlapping groups of consecutive elements at least of them fail.

For the evaluation of the reliability function of the aforementioned structure, Levitin and Dai [52] noticed that the following equality ensuesand developed an efficient algorithm for calculating the function , by employing a procedure based on the universal -transform (for more details about the universal moment generating function approach, the interested reader is referred to Ushakov [53]). It is noticeable that the linear -consecutive -out-of--from-: system meets interesting applications in different areas, such as heating systems’ modeling.

2.13. Linear -Gap-Consecutive -out-of--from-: Systems

Levitin [54] introduced a new reliability model that generalizes the linear -within-consecutive--out-of-: system (or consecutive--out-of--from-: system). More specifically, the linear -gap-consecutive -out-of--from-: system consists of linearly ordered, identical, and statistically independent components and fails if and only if the gap between any pair of groups of consecutive elements containing at least failed components is less than components. For the evaluation of the reliability function of the aforementioned structure, Levitin [54] employed the universal moment generating function technique and deduced a recursive algorithm that leads to the exact value of system’s reliability.

2.14. Linear -Consecutive-, -out-of-: Systems

Eryilmaz and Mahmoud [55] proposed a new reliability model that generalizes the linear -consecutive--out-of-: system to the case of -overlapping runs. More specifically, the linear -consecutive -out-of-: system consists of linearly ordered components and fails if and only if there are at least -overlapping runs of consecutive failed components (). The number of -overlapping runs of length , each of which may have a part of length at most overlapping with the previous run of length . The inclusion of the new system parameter provides flexibility for wider application of the model.

Moreover, Eryilmaz and Mahmoud [55] derived an explicit expression for the number of its path sets including a specified number of working components. More specifically, they proved the following result.

Theorem 36 (Eryilmaz and Mahmoud [55]). The number of path sets of a linear -consecutive -out-of-: system including working components can be expressed as follows: for , where denotes the maximum number of failed components such that the system can still work successfully, and the quantities can be calculated via the following formula (see, e.g., Makri et al. [56]):Having at hand the above expression for and applying the well-known equalities for the evaluation of reliability and signature of a coherent system in terms of (see, e.g., Triantafyllou and Koutras [57]), one may easily compute these important characteristics of the linear m-consecutive k,l-out-of-: system.

2.15. Sparsely Connected Consecutive- Systems

Zhao et al. [58] introduced generalized consecutive- systems with sparse . The consecutive failures with sparse are defined as follows. When components are ordered in a line, two adjacent failed components have no failed components between them and the number of working components between the two failed components is equal to ; then the two failed components are called consecutive failures with sparse . Zhao et al. [58] proposed the following reliability models:(i)The linear consecutive -out-of-: system with sparse , which consists of linearly ordered components and fails if and only if there exist at least consecutive failures with sparse . For the aforementioned structure, Zhao et al. [58] employed the well-known Markov Chain Imbedding technique in order to achieve expressions for the reliability function of such systems. Moreover, Mohan et al. [59] proved that the generating function of the waiting time for the occurrence of the system failure is given as Hence, the reliability function of the above structure can be expressed as where is the coefficient of in the power series expansion of the generating function .(ii)The -consecutive -out-of-: system with sparse consists of linearly ordered components and fails if and only if there exist at least nonoverlapping runs of consecutive failures with sparse . For the aforementioned structure, Zhao et al. [58] employed the well-known Markov Chain Imbedding technique in order to achieve expressions for the reliability function of such systems. Moreover, Mohan et al. [59] proved that the generating function of the waiting time for the occurrence of the system failure is given as (iii)The linear : system with sparse consists of linearly ordered components and fails if and only if there exist at least total failures or at least consecutive failures with sparse . For the aforementioned structure, Zhao et al. [58] employed the well-known Markov Chain Imbedding technique in order to achieve expressions for the reliability function of such systems. Moreover, Mohan et al. [59] proposed an algorithm for the evaluation of the corresponding reliability function.

It is worth mentioning that, in case of , the consecutive- systems with sparse reduce to the ordinary consecutive -out-of-: structures.

3. Applications

Applications of reliability models can range from electrical or engineering and mechanical field up to several contexts referring to humans’ activity. For example, an emergency backup power supply in a hospital or a power production at a specific voltage at the microscale may be viewed as direct implementations of reliability modeling. Moreover, double-loop computer networks, such as the daisy chain or the brained ring, can be studied through the lines of a reliability structure.

Let us consider a television screen characterized by a certain number of pixels and assume that the visual quality is not acceptable if and only if one of the following ensues:(i)there exist at least failed pixels,(ii)there exist at least consecutive failed pixels.

It is clear that the aforementioned device can be studied as an system.

In addition, it is of some interest that vacuum systems in accelerators or belt conveyors in open-cast mining operate within the framework of the well-known consecutive -out-of- system. Among applications of -out-of- systems, the design of electronic circuits such as very large scale integrated (VLSI) and the automatic repairs of faults in an online system would be the most conspicuous. This type of structure consists of several parallel outputs channeled through a decision-making device that provides the required system function as long as at least a predetermined number of parallel outputs are in agreement.

It is worth mentioning that Kalyan and Kumar [60] studied in detail the redundancy optimization in consecutive -out-of-: systems. More specifically, for a consecutive -out-of- structure that has a fluctuation of demand on the system performance, Kalyan and Kumar [60] considered extra resources in order to improve the system performance and developed alternative methods for the maximization of the structures’ reliability. It goes without saying that the reliability systems studied in the article of Kalyan and Kumar [60] can be classed under the so-called Protean systems.

Zhang et al. [61] presented an application of the well-known consecutive -out-of-: system to a railroad operation. More specifically, they studied a railroad system consisting of 17 lines (numbered from 1 to 17), which was formulated as a reliability study of a linear consecutive -out-of-: structure.

Zuo et al. [62] reported an application of -out-of-: and consecutive--out-of-: systems in evaluation of the lifetime distribution of furnaces used in a petrochemical company. More precisely, different scenarios were investigated in modeling the reliability behaviors of the furnaces as a function of the reliabilities of the tubes used in the furnaces.

Lu and Liu [63] used the well-known -out-of-: structure to quantify the reliability benefit of redundancy units in main circuit of prevailing static generators, called Static Synchronous Compensators (STATCOMs). The fundamental aim of applying a reliability study in the aforementioned operation is to maintain specific parameters of the electric power system by using the variation of the outputs of the so-called STATCOM and describe the effect of the redundancy technique to the total device reliability performance. More specifically, Lu and Liu [63] provided the probabilistic model of the 50 MVA STATCOM devices which were brought into operation at a certain substation in Shanghai, China.

Many safety-critical applications including nuclear power plants are equipped with -out-of- or specific-voting-logic redundant safety signal generation systems for ensuring both safety and economy. Kang and Kim [64] developed a quantification method for the evaluation of the unreliability of a reactor protection system (RPS), while several configurations of -out-of- models are investigated.

4. How Members of the Consecutive-Type Systems’ Family Are Connected

In the literature, there exist a lot of references that mark down the connection between two well-known reliability systems. It is really often for a newly introduced reliability structure to coincide with an older one under some specific restrictions concerning their design parameters. In this section, we attempt to harvest all information that refers to relations among all members of the generalized consecutive-type systems’ family.

Figure 1 displays for each system that is included in the consecutive-type systems’ family the way that is connected to one or more of its members. It goes without saying that both the -out-of- system and the consecutive -out-of- system play a crucial role in the aforementioned group of reliability structures. For example, based on Figure 1, one may easily observe that the constrained -out-of- system reduces to the well-known -out-of- structure if its design parameters are adjusted properly (e.g., , ).

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The author is grateful to the Editor X. Li and the referees for their helpful comments and suggestions, which led to some improvements of the paper.