Home           Contact us           FAQs           
 
   Journal Page   |   Aims & Scope   |   Author Guideline   |   Editorial Board   |   Search
    Abstract
2012 (Vol. 4, Issue: 21)
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 

Key words:  Availability model , CTMC, distributed cluster rendering system, infinite markov chain, PRISM, ,
Vol. 4 , (21): 4453-4457
Submitted Accepted Published
May 01, 2012 June 08, 2012 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.
Abstract PDF HTML
  Cite this Reference:
Kemin Wang, Zhengtao Jiang, Yongbin Wang, Youshan Yang and Wei Jiang, 2012. Towards the Availability of the Distributed Cluster Rendering System: Automatic Modeling and Verification.  Research Journal of Applied Sciences, Engineering and Technology, 4(21): 4453-4457.
    Advertise with us
 
ISSN (Online):  2040-7467
ISSN (Print):   2040-7459
Submit Manuscript
   Current Information
   Sales & Services
   Contact Information
  Executive Managing Editor
  Email: admin@maxwellsci.com
  Publishing Editor
  Email: support@maxwellsci.com
  Account Manager
  Email: faisalm@maxwellsci.com
  Journal Editor
  Email: admin@maxwellsci.com
  Press Department
  Email: press@maxwellsci.com
Home  |  Contact us  |  About us  |  Privacy Policy
Copyright © 2009. MAXWELL Science Publication, a division of MAXWELLl Scientific Organization. All rights reserved