Availability Modeling of Generalized $k$ -Out-of- $n$ :G Warm Standby Systems With PEPA
提出一种基于性能评估过程代数(PEPA)的建模方法，用于分析具有多个非相同部件的k-out-of-n:G温备份可修复系统的可用性，通过自动生成PEPA模型简化了高维马尔可夫链的构建。
Developing analytical availability models for k-out-of-n:G warm standby repairable systems with many nonidentical components is tedious and error-prone, requiring specification of the generator matrix of a high dimensional Markov chain. Using the performance evaluation process algebra (PEPA) as an intermediary, this paper gives a new modeling approach for availability evaluation of such systems with r repair facilities. The components of the system are classified into n different groups that consist of statistically identical components following exponential time-to-failure and repair time distributions. A library of PEPA components and their actions are defined for system component groups, repair facilities, repair queue, and system dynamics. To capture the dependency of system states on components, a signaling mechanism is realized by actions with suitably high rates. A compilation tool is provided to automatically generate the PEPA model from a brief specification of the system, using the library components. This provides input for the PEPA analysis tool and is amenable to availability analysis. Examples are used to illustrate the proposed modeling method. Modeling with PEPA provides an efficient way to deal with availability evaluation of systems considered with many groups of repairable components.