How to integrate inter-component dependencies into combinatorial availability models

In this paper, a novel modeling method for highly available systems is proposed. As an input, the model accepts common Reliability Block Diagrams, which are widely used because of their excellent manageability. However, unlike traditional solution methods for Block Diagrams, the proposed method also supports the attribution of the model with several kinds of inter-component dependencies. Thus, the evaluation of such a model will yield much more realistic results, similar to using state-based models like Markovian Chains (MC) or Generalized Stochastic Petri Nets (GSPN, [1, 15]). However, compared to traditional state-based models, the proposed method offers a much better manageability. This means that all models are intuitive, clear, and can easily be modified, as well as created and refined in a stepwise manner. These advantages are exemplified by a realistic industrial application from the area of telecommunications. As the proposed models cannot be solved with classical solution methods for combinatorial availability models, we propose a new evaluation technique which is based on a transformation of the input models into semantically equivalent state-based models. This solution technique was implemented in the software tool OpenSESAME (Simple but Extensive Structured Availability Modeling Environment).