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

摘要

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