东南大学学报（英文版）2018，Vol.34Issue(1)：21-27,7.DOI:10.3969/j.issn.1003-7985.2018.01.004
基于Bio-PEPA的云计算系统可生存性建模和分析
Modeling and analysis of cloud computing system survivability based on Bio-PEPA
摘要
Abstract
For the cloud computing system, combined with the memory function and incomplete matching of the biological immune system, a formal modeling and analysis method of the cloud computing system survivability is proposed by analyzing the survival situation of critical cloud services. First, on the basis of the SAIR(susceptible, active, infected, recovered) model, the SEIRS(susceptible, exposed, infected, recovered, susceptible) model and the vulnerability diffusion model of the distributed virtual system, the evolution state of the virus is divided into six types, and then the diffusion rules of the virus in the service domain of the cloud computing system and the propagation rules between service domains are analyzed. Finally, on the basis of Bio-PEPA(biological-performance evaluation process algebra), the formalized modeling of the survivability evolution of critical cloud services is made, and the SLIRAS ( susceptible, latent, infected, recovered, antidotal, susceptible) model is obtained. Based on the stochastic simulation and the ODEs (ordinary differential equations) simulation of the Bio-PEPA model, the sensitivity parameters of the model are analyzed from three aspects, namely, the virus propagation speed of inter-domain, recovery ability and memory ability. The results show that the proposed model has high approximate fitting degree to the actual cloud computing system, and it can well reflect the survivable change of the system.关键词
云计算系统/Bio-PEPA/可生存性/随机模拟Key words
cloud computing system/Bio-PEPA(biological-performance evaluation process algebra)/survivability/stochastic simulation分类
信息技术与安全科学引用本文复制引用
赵国生,任孟其,王健,廖祎玮..基于Bio-PEPA的云计算系统可生存性建模和分析[J].东南大学学报（英文版）,2018,34(1):21-27,7.基金项目
The National Natural Science Foundation of China(No.61202458,61403109),the Natural Science Foundation of Hei-longjiang Province of China(No.F2017021),Harbin Science and Tech-nology Innovation Research Funds(No.2016RAQXJ036). （No.61202458,61403109）
