Abstract
|
Article Information:
Towards the Availability of the Distributed Cluster Rendering System: Automatic Modeling and Verification
Kemin Wang, Zhengtao Jiang, Yongbin Wang, Youshan Yang and Wei Jiang
Corresponding Author: Kemin Wang
Submitted: May 01, 2012
Accepted: June 08, 2012
Published: November 01, 2012 |
Abstract:
|
In this study, we proposed a Continuous Time Markov Chain Model towards the availability of
n-node clusters of Distributed Rendering System. It’s an infinite one, we formalized it, based on the model,
we implemented a software, which can automatically model with PRISM language. With the tool,
whenever the number of node-n and related parameters vary, we can create the PRISM model file rapidly
and then we can use PRISM model checker to verify ralated system properties. At the end of this study, we
analyzed and verified the availability distributions of the Distributed Cluster Rendering System while the
node number-n varying under different repair modes.
Key words: Availability model , CTMC, distributed cluster rendering system, infinite markov chain, PRISM, ,
|
Abstract
|
PDF
|
HTML |
|
Cite this Reference:
Kemin Wang, Zhengtao Jiang, Yongbin Wang, Youshan Yang and Wei Jiang, . Towards the Availability of the Distributed Cluster Rendering System: Automatic Modeling and Verification. Research Journal of Applied Sciences, Engineering and Technology, (21): 4453-4457.
|
|
|
|
![](http://www.maxwellsci.com/images/RJASET-maxw.jpg) |
ISSN (Online): 2040-7467
ISSN (Print): 2040-7459 |
![Submit Manuscript](../images/sub.jpg) |
Information |
|
|
|
Sales & Services |
|
|
|