期刊首页 优先出版 当期阅读 过刊浏览 作者中心 关于期刊 English

《中国工程科学》 >> 2007年 第9卷 第10期

自恢复容错系统的建模与分析

南京理工大学计算机科学与技术系,南京210094

资助项目 :国家自然科学基金资助项目(60273035) 收稿日期: 2006-04-21 修回日期: 2006-07-08

下一篇 上一篇

摘要

容错系统不仅会产生硬件故障,由于连续长时间的运行,系统的性能也会逐渐下降或失效,即老化现象。综合考虑容错系统中的硬件故障和老化现象,提出了将传统的冗余技术和软件抗衰技术相结合的策略,并给出了该系统的非马尔可夫随机Petri网模型,随之对基于该模型的系统进行了定量分析。

图片

图1

图2

图3

图4

图5

图6

参考文献

[ 1 ] Castelli V, Harper R E, Heidelberger P, et al.Proactive manage-ment of software aging [ J ] .IBM J Research & Development, 2001 , 45 : 311 ~332 链接1

[ 2 ] Marshall E.Fatal error: how Patriot overlooked a scud [ J ] . Science, 1992 , 255 : 1347 链接1

[ 3 ] Huang Y, Kintala C, Kolettin N, et al.Software rejuvenation: analysis, module and applications [ A] .Proc 25th Int’ l Symp on Fault Tolerant Computing [ C] .IEEE CS Press, 1995.381 ~390 链接1

[ 4 ] Shereshevsky M, Cukic B, Crowel J, et al.Software aging and multifractality of memory resources [ A ] . Proc Int ’ l Conf on Dependable Systems and Networks [ C] .IEEE CS Press, 2003. 721 ~730 链接1

[ 5 ] Garg S, Telek M, Puliafito A, et al.Analysis of software rejuve-nation using Markov regenerative stochastic Petri net [ A] .Proc 6th Int’ l Symp on Software Reliab Eng [ C] .IEEE CS Press, 1995.24 ~27 链接1

[ 6 ] Balbo G.Introduction to stochastic Petri nets [ A] .Brinksms E, Hermanns H, Katoen J-P ( Eds) .FMPA 2000 , LNCS 2000 [ C] . ©Springer-Verlag Berlin Heldelberg, 2001.183 ~231

[ 7 ] German R.Iterative analysis of Markov regenerative models [ J] . Journal of Performance Evaluation, 2001 , 44 : 51 ~72 链接1

[ 8 ] Choi H, Kulkarni V G, Trivedi K.Markov regenerative stochastic Petri nets [ A] , Iazeolla G, Lavenberg S S eds.Performance-93 [ C] .1993.339 ~356 链接1

相关研究