Quantitative Availability Prediction for a High Availability Messaging System

How to predict the high availability (HA) using quantitative approach becomes important during system design phase. Stochastic reward nets (SRN) is used to model the behavior of the system. In this paper, we will adopt SRN as an analytic model to compute several interesting output measures that characterize availability features of a HA messaging system. This messaging service is the core part of a 24-hour non-stop safety-critical financial service. During the system design phase, this prediction model is used to provide useful information for aiding special technology choosing.