- 期刊
- OpenAccess
Towards the Availability of the Distributed Cluster Rendering System: Automatic Modeling and Verification
並列摘要
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.
延伸閱讀
- Liu, K. Y. (2004). A STUDY OF THE CLUSTER COMPUTING FOR MULTIMEDIA APPLICATIONS [master's thesis, Tatung University]. Airiti Library. https://www.airitilibrary.com/Article/Detail?DocID=U0081-0607200917234339
- Chang, Y. H., & Chen, J. W. (2008). An Experimental Approach to Constructing and Enhancing a PC Cluster System for Scalable Network Services. 電腦學刊, 19(2), 42-54. https://www.airitilibrary.com/Article/Detail?DocID=19911599-200807-19-2-42-54-a
- Wang, J., Luo, D., & Xu, W. (2021). Research on Cluster Optimization Method of Node Clustering for PEGASIS Protocol. 電腦學刊, 32(5), 76-86. https://doi.org/10.53106/199115992021103205006
- Cheng, S. S. (2009). Probabilistic Model-based Clustering and Its Applications [doctoral dissertation, National Chiao Tung University]. Airiti Library. https://doi.org/10.6842/NCTU.2009.00159
- 吳宗翰（2017）。Design and Implementation of a VM-based Server Cluster with Content-Aware Request Distribution and Load Balancing〔碩士論文，國立暨南國際大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0020-2108201710084600