Largeness Avoidance in Availability Modeling using Hierarchical and Fixed-point Iterative TechniquesVolume 11, Number 4, July 2015 - Paper 1 - pp. 305-319HARISH 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) Abstract: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.
References: 15 Click here to download the paper. Please note : You will need Adobe Acrobat viewer to view the full articles. |