Towards the Availability of the Distributed Cluster Rendering System: Automatic Modeling and Verification

Kemin Wang, Zhengtao Jiang, Yongbin Wang, Youshan Yang, Wei Jiang

    Research output: Contribution to journalJournal articleResearchpeer-review

    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.
    Original languageEnglish
    JournalResearch Journal of Applied Science, Engineering and Technology
    Volume4
    Issue number21
    Pages (from-to)4453-4457
    ISSN2040-7459
    Publication statusPublished - 2012

    Fingerprint Dive into the research topics of 'Towards the Availability of the Distributed Cluster Rendering System: Automatic Modeling and Verification'. Together they form a unique fingerprint.

    Cite this