高可用性系统设计中的量化分析方法

【作者】 陈伟；

【导师】 杨小虎；

【作者基本信息】 浙江大学 ， 计算机应用， 2006， 硕士

【摘要】 本论文研究的主要内容是运用数学建模的方法,对高可用性系统的设计进行量化分析。主要研究了高可用性系统设计中的量化分析方法。针对高可用性系统的设计提出了一个量化分析的框架:以UML建模为基础,从UML转换到随机Petri网(SPN)的建模方案。将提出一个UML转换SPN的算法,并基于SPN,运用与SPN同构的马尔可夫(Markov)随机过程来进行量化数值分析,得出系统设计的性能参数,并且利用这些性能参数来优化系统设计。 随着计算机应用的不断深入,企业对计算机系统的依赖程度也日渐增加。尤其在一些关键行业的关键应用上,应用的后台核心系统是否具有保护业务关键数据的完整和维持应用程序的高可用性的能力,已经成为影响一个公司业务成败的关键因素。高可用性是目前对于计算机系统的一个重要的非功能性需求。 高可用性系统的设计比一般的软件设计要复杂得多。如何在设计阶段来预测目标系统的量化参数是一个问题。这就是本论文的出发点。 在高可用性系统的设计阶段引入量化分析的方法,有着三方面的优点:一是对于系统的投资者,可以在快速知道目标系统的性能投资,可以在项目的初期阶段对投资的回报作出接价;二是对于高可用性系统的设计者来说,可以根据量化分析的结果来合理选择合适的技术方案和改进系统的设计方案;三是对于软件的质量保证(Quality Assurance)来说,可以把量化分析的结果和实际的测试结果进行分析,进一步验证系统的实现。更多还原

【Abstract】 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.更多还原