Analysis of service availability for time-triggered rejuvenation policies

Journal of Systems and Software

Volumn 83, Issue 9, 2010, Pages 1579-1590

  Salfner, F ^a   Wolter, K ^b  

^a HUMBOLDT UNIVERSITY   (Germany)

^b FREIE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Petri net model for finite queuing system; Service availability; Time triggered rejuvenation

Indexed keywords

ANALYTICAL REASONING; HYBRID APPROACH; MEDIUM UTILIZATION; PETRI NET MODELS; QUEUING MODELS; QUEUING SYSTEMS; SERVICE AVAILABILITY; STEADY STATE SYSTEMS; STOCHASTIC PETRI NETS; SYSTEM UTILIZATION; TIME TO FAILURE; TIME TRIGGERED; TIME-TRIGGERED SYSTEMS;

COMPUTER SIMULATION; GRAPH THEORY; PETRI NETS; QUEUEING NETWORKS; QUEUEING THEORY; STOCHASTIC MODELS;

ENDOCRINOLOGY;

EID: 77955419753     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2010.05.022     Document Type: Conference Paper

References (19)

1. E.N. Elnozahy, L. Alvisi, Y.-M. Wang, and D.B. Johnson A survey of rollback-recovery protocols in message-passing systems ACM Comput. Surv. 34 3 2002 375 408
2. S. Garg, A. Puliafito, M. Telek, and K. Trivedi Analysis of preventive maintenance in transactions based software systems IEEE Trans. Comput. 47 1 1998 96 107
3. E. Gelenbe On the optimum checkpoint interval J. ACM 26 2 1979 259 270
4. E. Gelenbe, and D. Derochette Performance of rollback recovery systems under intermittent failures Commun. ACM 21 6 1978 493 499
5. I. Gertsbakh Reliability Theory: With Applications to Preventive Maintenance 2000 Springer-Verlag Berlin, Germany
6. M. Grottke, and K. Trivedi Fighting bugs: remove, retry, replicate, and rejuvenate IEEE Comput. 2007 107 109
7. B.R. Haverkort Performance of Computer Communication Systems: A Model-Based Approach 1998 John Wiley and Sons Chichester, UK
8. B. Haverkort Performance of Computer Communication Systems: A Model-Based Approach 1998 John Wiley and Sons New York, USA
9. Y. Huang, C. Kintala, N. Kolettis, and N.D. Fulton Software rejuvenation: analysis, module and applications Proceedings of the 25th Symposium on Fault Tolerant Computing 1995 IEEE Pasadena, CA 381 390
10. F. Salfner Event-based Failure Prediction: An Extended Hidden Markov Model Approach 2008 dissertation.de - Verlag im Internet GmbH Berlin, Germany
11. F. Salfner, and K. Wolter Service availability of systems with failure prevention Proceedings of Asia-Pacific Services Computing Conference, Workshop on Dependable and Secure Services Computing, APSCC - DSSC, 2008 2008 IEE 1219 1224
12. Salfner, F., Wolter, K., 2008. A queuing model for service availability of systems with rejuvenation. In: IEEE Proceedings of the Workshop on Software Aging and Rejuvenation (WoSAR), in Conjunction with 19th International Symposium on Software Reliability Engineering (ISSRE), Seattle/Redmond, WA, 2008.
13. Sun, H., Han, J., Levendel, H., 2001. A generic availability model for clustered computing systems. In: IEEE Proceedings of Pacific Rim International Symposium on Dependable Computing (PRDC). pp. 241-248.
14. Trivedi, K.S., Vaidyanathan, K., Goseva-Popstojanova, K., 2000. Modeling and analysis of software aging and rejuvenation. In: Proceedings of the IEEE Annual Simulation Symposium.
15. Trivedi, K., Ciardo, G., Dasarathy, B., Grottke, M., Rindos, A., Varshaw, B., 2008. Achieving and assuring high availability. In: IEEE Proceedings of International Symposium on Parallel and Distributed Processing (IPDPS). pp. 1-7.
16. A. van Moorsel, and K. Wolter Analysis of restart mechanisms in software systems Trans. Softw. Eng. 32 8 2006 547 558
17. D. Wang, and K. Trivedi Modeling user-perceived service availability Service Availability Lecture Notes in Computer Science (LNCS) vol. 3694 2005 Springer 107
18. D. Wang, W. Xie, and K.S. Trivedi Performability analysis of clustered systems with rejuvenation under varying workload Perform. Eval. 64 3 2007 247 265
19. A. Zimmermann, J. Freiheit, R. German, and G. Hommel Petri net modelling and performability evaluation with TimeNET 3.0 LNCS 1786 2000 Springer 188 202