Int J Performability Eng ›› 2015, Vol. 11 ›› Issue (4): 305-319.doi: 10.23940/ijpe.15.4.p305.mag
• Original articles • Previous Articles Next Articles
HARISH SUKHWANI1, ANDREA BOBBIO2, AND KISHOR S. TRIVEDI1
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.
HARISH SUKHWANI, ANDREA BOBBIO, and KISHOR S. TRIVEDI. Largeness Avoidance in Availability Modeling using Hierarchical and Fixed-point Iterative Techniques [J]. Int J Performability Eng, 2015, 11(4): 305-319.
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
/ / Recommend
URL: https://www.ijpe-online.com/EN/10.23940/ijpe.15.4.p305.mag
https://www.ijpe-online.com/EN/Y2015/V11/I4/305