Quantitative Analysis Of High-availability System Design Methods

The primary research scope of this thesis is quantitative analysis to high availability system design using modeling method. A quantitative analysis framework for estimating the high available system design has been presented in this thesis. The steps for quantitative analysis are like these: using Unified Modeling Language (UML) to create a model of system design; then based on a conversion algorithm, translate the UML statechart graph into Stochastic Petri Net (SPN); after that, using a Markov Chain that is isomorphic to SPN to do the performance evaluation and get the performance benchmarks. Such data can be used for refining the system design.With the enormous computational power, enterprises become more dependent on the computer systems, especially for some critical industry application. It is quite important to protect the consistence of the data and maintain the high availability of application. How to provide a High Available Service becomes a popular non-functional requirement for a computer system.However, the design to a High Available system is more complicate than a common computer system. How to predict the quantitative parameters of target system is the main problem that will be tried to solve.There are three benefits by bringing quantitative analysis method to high available system design. For the system investor, this method can provide the interesting number which can be used for return assessment at the beginning of system design. For the system architect, this method can assist the decision to technical choice and refine the system design. For the software quality assurance (SQA), this method can help them to verify the system implemtation.