Refined non-homogeneous markovian models for a single-server type of software system with rejuvenation
RAIRO - Operations Research - Recherche Opérationnelle, Tome 36 (2002) no. 2, pp. 129-148.

Long running software systems are known to experience an aging phenomenon called software aging, one in which the accumulation of errors during the execution of software leads to performance degradation and eventually results in failure. To counteract this phenomenon a proactive fault management approach, called software rejuvenation, is particularly useful. It essentially involves gracefully terminating an application or a system and restarting it in a clean internal state. In this paper, we reconsider the non-homogeneous markovian models for a single-server type of software system with rejuvenation in Garg et al. (1998), and revisit them from the theoretical view point. More precisely, it is assumed in these models that software failures can occur with positive probability during idle periods in transaction systems, but we exclude this unreasonable situation in our refined models.

DOI : 10.1051/ro:2002010
Mots clés : preventive maintenance, aging, rejuvenation, software system, dependability, markovian analysis, queue
@article{RO_2002__36_2_129_0,
     author = {Okamura, Hiroyuki and Miyahara, S. and Dohi, T.},
     title = {Refined non-homogeneous markovian models for a single-server type of software system with rejuvenation},
     journal = {RAIRO - Operations Research - Recherche Op\'erationnelle},
     pages = {129--148},
     publisher = {EDP-Sciences},
     volume = {36},
     number = {2},
     year = {2002},
     doi = {10.1051/ro:2002010},
     mrnumber = {1957984},
     zbl = {1062.90018},
     language = {en},
     url = {http://www.numdam.org/articles/10.1051/ro:2002010/}
}
TY  - JOUR
AU  - Okamura, Hiroyuki
AU  - Miyahara, S.
AU  - Dohi, T.
TI  - Refined non-homogeneous markovian models for a single-server type of software system with rejuvenation
JO  - RAIRO - Operations Research - Recherche Opérationnelle
PY  - 2002
SP  - 129
EP  - 148
VL  - 36
IS  - 2
PB  - EDP-Sciences
UR  - http://www.numdam.org/articles/10.1051/ro:2002010/
DO  - 10.1051/ro:2002010
LA  - en
ID  - RO_2002__36_2_129_0
ER  - 
%0 Journal Article
%A Okamura, Hiroyuki
%A Miyahara, S.
%A Dohi, T.
%T Refined non-homogeneous markovian models for a single-server type of software system with rejuvenation
%J RAIRO - Operations Research - Recherche Opérationnelle
%D 2002
%P 129-148
%V 36
%N 2
%I EDP-Sciences
%U http://www.numdam.org/articles/10.1051/ro:2002010/
%R 10.1051/ro:2002010
%G en
%F RO_2002__36_2_129_0
Okamura, Hiroyuki; Miyahara, S.; Dohi, T. Refined non-homogeneous markovian models for a single-server type of software system with rejuvenation. RAIRO - Operations Research - Recherche Opérationnelle, Tome 36 (2002) no. 2, pp. 129-148. doi : 10.1051/ro:2002010. http://www.numdam.org/articles/10.1051/ro:2002010/

[1] E. Adams, Optimizing preventive service of the software products. IBM J. Res. Development 28 (1984) 2-14.

[2] A. Avritzer and E.J. Weyuker, Monitoring smoothly degrading systems for increased dependability. Empirical Software Engrg. 2 (1997) 59-77.

[3] T. Dohi, K. Goseva­Popstojanova and K.S. Trivedi, Estimating software rejuvenation schedule in high assurance systems. Comput. J. 44 (2001) 473-485. | Zbl

[4] S. Garg, A. Puliafito, M. Telek and K.S. Trivedi, Analysis of software rejuvenation using Markov regenerative stochastic Petri net, in Proc. 6th Int'l Symp. on Software Reliability Eng. IEEE CS Press, Los Alamitos (1995) 24-27.

[5] S. Garg, Y. Huang, C. Kintala and K.S. Trivedi, Time and load based software rejuvenation: Policy, evaluation and optimality, in Proc. 1st Fault-Tolerant Symp. (1995) 22-25.

[6] S. Garg, S. Pfening, A. Puliafito, M. Telek and K.S. Trivedi, Analysis of preventive maintenance in transactions based software systems. IEEE Trans. Comput. 47 (1998) 96-107.

[7] J. Gray and D.P. Siewiorek, High-availability computer sysmtes. IEEE Comput. 24 (1991) 39-48.

[8] D.P. Heyman, Optimal operating policies for M/G/1 queueing system. Oper. Res. 16 (1968) 362-382. | Zbl

[9] D.P. Heyman, The T-policy for the M/G/1 queue. Management Sci. 23 (1977) 775-778. | Zbl

[10] Y. Huang, C. Kintala, N. Kolettis and N.D. Fulton, Software rejuvenation: Analysis, module and applications, in Proc. 25th Int'l Symp. on Fault Tolerant Computing. IEEE CS Press, Los Alamitos (1995) 381-390.

[11] V.G. Kulkarni, Modeling, Analysis, Design, and Control of Stochastic Systems. Springer-Verlag, New York (1999). | MR | Zbl

[12] H. Okamura, S. Miyahara, T. Dohi and S. Osaki, Performance evaluation of workload-based software rejuvenation scheme. IEICE Trans. Inform. Systems E84D (2001) 1368-1375.

[13] D.L. Parnas, Software aging, in Proc. 16th Int'l Conf. on Software Eng. ACM, New York (1994) 279-287.

[14] A.T. Tai, L. Alkalai and S.N. Chau, On-board preventive maintenance for long-life deep space missions: A model ­ based analysis, in Proc. 3rd IEEE Int'l Computer Performance and Dependability Symp. IEEE CS Press, Los Alamitos (1998) 196-205.

[15] A.T. Tai, L. Alkalai and S.N. Chau, On-board preventive maintenance: A design-oriented analytic study for long-life applications. Performance Evaluation 35 (1999) 215-232. | Zbl

Cité par Sources :