Largeness Avoidance in Availability Modeling using Hierarchical and Fixed-point Iterative Techniques
Volume 11, Number 4, July 2015 - Paper 1 - pp. 305-319
HARISH SUKHWANI1, ANDREA BOBBIO2, AND KISHOR S. TRIVEDI11 Duke University, Durham, U.S.A.
2 Università del Piemonte Orientale, Alessandria, ITALY
(Received on December 25, 2014, revised on March 05, 2015)
Accurate modeling of availability is a practical problem in today’s complex high-availability systems. But as the system gets more complex, the state-space required for accurate modeling tends to grow very fast. In order to mitigate the largeness in model generation / solution, the system model could be divided into subsystem models, and solution for sub-models can be combined to yield overall model solution. Such hierarchical composition techniques reduce the state-space tremendously. But simple hierarchical techniques provide exact results only when sub-model solutions are independent. In many scenarios, some components or procedures are shared across subsystems, which violate independence in sub-model solution. Hence approximation techniques like nearly independent systems are required to model systems where sub-model solutions are dependent. This paper demonstrates approximation techniques for availability modeling for a fluid pressure control system using the concepts of nearly independent subsystems and fixed-point iteration.
Click here to download the paper.
Please note : You will need Adobe Acrobat viewer to view the full articles.