Username   Password       Forgot your password?  Forgot your username? 

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. TRIVEDI1

1 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.Get Free Adobe Reader

 
This site uses encryption for transmitting your passwords. ratmilwebsolutions.com