Hostname: page-component-848d4c4894-p2v8j Total loading time: 0 Render date: 2024-05-12T05:17:08.928Z Has data issue: false hasContentIssue false
  • English
  • Français

Refined non-homogeneous markovian models for a single-server type of software system with rejuvenation

Published online by Cambridge University Press:  15 December 2002

Hiroyuki Okamura ,
S. Miyahara  and
T. Dohi
Hiroyuki Okamura
Affiliation:
Department of Information Engineering, Graduate School of Engineering, Hiroshima University, 1–4–1 Kagamiyama, Higashi-Hiroshima 739–8527, Japan; okamu@rel.hiroshima-u.ac.jp.
S. Miyahara
Affiliation:
Department of Information Engineering, Graduate School of Engineering, Hiroshima University, 1–4–1 Kagamiyama, Higashi-Hiroshima 739–8527, Japan; okamu@rel.hiroshima-u.ac.jp.
T. Dohi
Affiliation:
Department of Information Engineering, Graduate School of Engineering, Hiroshima University, 1–4–1 Kagamiyama, Higashi-Hiroshima 739–8527, Japan; okamu@rel.hiroshima-u.ac.jp.
Get access

Abstract

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.

Keywords

Preventive maintenanceagingrejuvenationsoftware systemdependabilityMarkovian analysisqueue.
Type
Research Article
Information
RAIRO - Operations Research , Volume 36 , Issue 2 , April 2002 , pp. 129 - 148
Copyright
© EDP Sciences, 2002

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Adams, E., Optimizing preventive service of the software products. IBM J. Res. Development 28 (1984) 2-14. CrossRef
Avritzer, A. and Weyuker, E.J., Monitoring smoothly degrading systems for increased dependability. Empirical Software Engrg. 2 (1997) 59-77. CrossRef
Dohi, T., Goseva-Popstojanova, K. and Trivedi, K.S., Estimating software rejuvenation schedule in high assurance systems. Comput. J. 44 (2001) 473-485. CrossRef
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.
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.
Garg, S., Pfening, S., Puliafito, A., Telek, M. and Trivedi, K.S., Analysis of preventive maintenance in transactions based software systems. IEEE Trans. Comput. 47 (1998) 96-107. CrossRef
Gray, J. and Siewiorek, D.P., High-availability computer sysmtes. IEEE Comput. 24 (1991) 39-48. CrossRef
Heyman, D.P., Optimal operating policies for M/G/1 queueing system. Oper. Res. 16 (1968) 362-382. CrossRef
Heyman, D.P., The T-policy for the M/G/1 queue. Management Sci. 23 (1977) 775-778. CrossRef
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.
V.G. Kulkarni, Modeling, Analysis, Design, and Control of Stochastic Systems. Springer-Varlag, New York (1999).
Okamura, H., Miyahara, S., Dohi, T. and Osaki, S., Performance evaluation of workload-based software rejuvenation scheme. IEICE Trans. Inform. Systems E84D (2001) 1368-1375.
D.L. Parnas, Software aging, in Proc. 16th Int'l Conf. on Software Eng. ACM, New York (1994) 279-287.
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.
Tai, A.T., Alkalai, L. and Chau, S.N., On-board preventive maintenance: A design-oriented analytic study for long-life applications. Performance Evaluation 35 (1999) 215-232. CrossRef