基于非马尔可夫随机Petri网的软件再生建模与分析  

Modeling and Analysis of Software Rejuvenation Based on Non-Markovian Stochastic Petri Nets

作　　者：孟海宁[1] 齐勇[1] 侯迪[1] 

机构地区：[1]西安交通大学电子与信息工程学院,西安710049

出　　处：《计算机学报》2007年第12期2212-2217,共6页Chinese Journal of Computers

基　　金：国家自然科学基金(60473098);国家"八六三"高技术研究发展计基金(2004AA112040)资助~~

摘　　要：软件老化是影响软件系统可靠性的重要潜在因素,软件再生作为一种主动预防性的软件容错技术是解决软件老化问题的主要手段.以往的随机Petri网再生模型假定所有变迁的实施时间服从指数分布.针对变迁的实施时间服从确定性分布或一般性分布的情况,文中提出了一种用非马尔可夫随机Petri网建立软件再生模型的方法.该方法采用马尔可夫再生理论对模型进行分析,并给出模型的瞬态解和稳态解.仿真实验表明:选择合适的软件再生周期,可以有效地降低存在老化的软件系统的平均宕机成本,提高系统的可用性和可靠性.Software aging is an important potential factor that affects the software reliability. As a proactive and preventive software fault tolerant technique, software rejuvenation is a main method for counteracting software aging. Almost all developed software rejuvenation models based on stochastic Petri Nets assume that all the firing times submit to exponential distributions. Aiming at the firing times submit to determined or general distributions, a software rejuvenation modeling method is proposed using Non-Markovian Stochastic Petri Nets. In addition, model is solved for both steady and transient state via Markov regenerative theory. The numeric experiment results show that selecting optimal software rejuvenation schedule can improve systematic availability and reduce downtime cost.

关 键 词：软件老化 软件再生 软件可靠性 非马尔可夫随机PETRI网 马尔可夫再生理论 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]