基于Bio-PEPA的云计算系统可生存性建模和分析

• 作者: 任孟其 廖祎玮 王健 赵国生
• 来源期刊: 东南大学学报（英文版）
• 学科: 工学
• 关键词: 云计算系统 Bio-PEPA 可生存性 随机模拟
• 年，卷（期）: 2018,（1）
• 页码范围: 21-27
• 页数: 7页
• 分类号: TP309
• 字数: 1018字
• 语种: 英文
• DOI: 10.3969/j.issn.1003-7985.2018.01.004

摘要

面向云计算系统,结合生物免疫系统的记忆功能以及不完全匹配性,通过对关键云服务可生存态势的分析,提出了一种云计算系统可生存性的形式化建模与分析方法.首先,在SAIR模型、SEIRS模型和分布式虚拟化系统脆弱性扩散模型的基础上,将病毒演化状态分为6种类型,然后分析了病毒在云计算系统服务域内的扩散规则和服务域间的传播规则.最后,基于Bio-PEPA对关键云服务可生存性态势演化进行形式化建模,得到SLIRAS模型.基于随机模拟和Bio-PEPA模型的ODEs模拟,从病毒的域间传播速率、修复能力、记忆能力3个方面对模型敏感参数进行了试验分析.结果表明,所建立的模型与实际云计算系统的可生存性态势近似拟合度高,能够很好地反映系统可生存性的变化.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵国生	哈尔滨师范大学计算机科学与信息工程学院	58	246	7.0	13.0
2	王健	哈尔滨理工大学计算机科学与技术学院	52	131	6.0	8.0
3	廖祎玮	哈尔滨师范大学计算机科学与信息工程学院	7	18	2.0	4.0
4	任孟其	哈尔滨师范大学计算机科学与信息工程学院	4	8	1.0	2.0