基于随机Petri网的机群系统可信赖性研究

摘要：

随机Petri网(SPN)是一种灵活有力的建模工具,在可信赖性研究方面已形成较为成熟的理论体系.采用SPN网对机群系统前端分配器及后端服务器进行建模,通过在系统建模时对前端分配器给予必要的修复保证,给出整个机群系统的SPN模型,在模型分析的基础上给出了机群系统的可信赖性参数,并对模型进行了仿真分析.仿真结果表明,在对关键系统前端分配器给予修复保证后,系统模型的稳态可用性将大大提高.

关键词：随机Petri网、可信赖性、机群系统、分配器/服务器

所属期刊栏目：29

分类号：TP302.1(计算技术、计算机技术)

资助基金：国家自然科学基金项目10371047;安徽省教育厅青年教师基金项目2006jq1077

在线出版日期：2009-03-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：6190-6192,6217