Compositional fluid stochastic petri net model for operational software system performance

2008 IEEE International Conference on Software Reliability Engineering Workshops, ISSRE Wksp 2008

Volumn , Issue , 2009, Pages

  Bobbio, A ^a   Garg, S ^b   Gribaudo, M ^c   Horvath A ^c   Sereno, M ^c   Telek, M ^d  

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^b YAHOO RESEARCH   (United States)

^c UNIVERSITY OF TURIN   (Italy)

^d BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS METHOD; CHECK POINTING; DEGRADING FACTORS; NUMERICAL EXAMPLE; NUMERICAL RESULTS; OPERATIONAL SOFTWARE SYSTEMS; PERFORMANCE DEGRADATION; PERFORMANCE INDICES; PERFORMANCE LEVEL; ROLLBACK RECOVERY; SOFTWARE SYSTEMS; STOCHASTIC PETRI NETS; UNIFIED MODEL;

COMPUTER SOFTWARE SELECTION AND EVALUATION; DEGRADATION; ENDOCRINOLOGY; GRAPH THEORY; NUMERICAL ANALYSIS; NUMERICAL METHODS; PETRI NETS; QUALITY ASSURANCE; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

SOFTWARE RELIABILITY;

EID: 76549095276     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSREW.2008.5355517     Document Type: Conference Paper

References (16)

1. R. Chillarege, "What is software failure?" IEEE Transactions Reliability, vol. 45, pp. 354-355, 1996.
2. M. Grottke and K. Trivedi, "Fighting bugs: Remove, retry, replicate and rejuvenate," IEEE Computer, pp. 107-109, February 2007.
3. A. Avritzer and E. J. Weyuker, "Monitoring smoothly degrading systems for increased dependability," Journal of Empirical Software Engineering, vol. 2, no. 1, 1997.
4. S. Garg, A. Puliafito, M. Telek, and K. Trivedi, "Analysis of preventive maintenance in transaction based software systems," IEEE Transactions on Comupters, vol. 47, pp. 96-107, 1998.
5. A. van Moorsel and K. Wolter, "Analysis of restart mechanisms in software systems," IEEE Transactions Software Engineering, vol. 32, no. 8, pp. 547-558, 2006.
6. K. Wolter, "Stochastic models for restart, rejuvenation and checkpointing," Habilitation Thesis, Humboldt-University, Institut Informatik, Berlin, Tech. Rep., 2008.
7. J. Young, "A first order approximation to the optimum checkpoint interval," Communications of the ACM, vol. 17, no. 9, pp. 530-531, 1974.
8. V. Nicola, "Checkpointing and modeling of program execution time," in Software Fault Tolerance, M. Lyu, Ed. John Wiley & Sons, 1995, pp. 167-188.
9. Y. Huang, C. Kintala, N. Kolettis, and N. D. Fulton, "Software rejuvenation: analysis, module and applications," in Proceedings of the 25-th Fault Tolerant Computing Symposium (FTCS-25), 1995, pp. 381-390.
10. H. Okamura and T. Dohi, "Analysis of a software system with rejuvenation, restoration and checkpointing," in Proc ISAS 2008. Springer Verlag - LNCS, Vol 5017, 2008, pp. 110-128.
11. S. Garg, Y. Huang, C. Kintala, and K. S. Trivedi, "Minimizing completion time of a program by checkpoint and rejuvenation," in Proc. 1996 ACM SIGMETRICS Conference, Philadelphia, PA, May 1996, pp. 252-261.
12. A. Bobbio, S. Garg, M. Gribaudo, A. Horvát, M. Sereno, and M. Telek, "Modelling software systems with rejuvenation restoration and checkpointing through Fluid Stochastic Petri Nets," in PNPM '99. IEEE CS Press, Sept 1999, pp. 82-91.
13. G. Horton, V. Kulkarni, D. Nicol, and K. Trivedi, "Fluid stochastic Petri nets: Theory, application and solution techniques," European J Operational Research, vol. 105, pp. 184-201, 1998.
14. M. Gribaudo, M. Sereno, A. Horváth, and A. Bobbio, "Fluid stochastic petri nets augmented with flush-out arcs: Modelling and analysis," Discrete Event Dynamic Syst, vol. 11, pp. 97-111, 2001.
15. A. Bobbio, M. Sereno, and C. Anglano, "Fine grained software degradation models for optimal rejuvenation policies," Performance Evaluation, vol. 46, pp. 45-62, September 2001.
16. M. Gribaudo and A. Horváth, "Fluid stochastic petri nets augmented with flush-out arcs: A transient analysis technique," IEEE Transactions Software Engineering, vol. 28, pp. 944-955, 2002.