Multiformalism to support software rejuvenation modeling

Proceedings - 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012

Volumn , Issue , 2012, Pages 271-276

  Barbierato, Enrico ^a   Bobbio, Andrea ^b   Gribaudo, Marco ^c   Iacono, Mauro ^d  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^c POLITECNICO DI MILANO   (Italy)

^d SECOND UNIVERSITY OF NAPLES   (Italy)

Author keywords

Fluid rejuvenation formalism; Rejuvenation; SIMTHESys; Software aging

Indexed keywords

ARCHITECTURAL MODELS; MODELING FORMALISMS; MODELING FRAMEWORKS; MODELING PROBLEMS; PROPER SOLUTIONS; QUEUING NETWORK; REJUVENATION; SIMTHESYS; SOFTWARE AGING; SOFTWARE REJUVENATION; SOFTWARE-BASED; TIME DEPENDENCE;

PETRI NETS; SOFTWARE RELIABILITY; TECHNICAL PRESENTATIONS;

ENDOCRINOLOGY;

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

References (24)

1. M. Grottke and K. Trivedi, "Fighting bugs: Remove, retry, replicate and rejuvenate," IEEE Computer, pp. 107-109, February 2007.
2. R. Chillarege, "Understanding Bohr-Mandel bugs through ODC triggers and a case study with empirical estimations of their field proportion," in IEEE 3rd International Workshop on Software Aging and Rejuvenation (WoSAR), 2011, pp. 7-13.
3. 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, 1996, pp. 252-261.
4. A. Bobbio, S. Garg, M. Gribaudo, A. Horvath, M. Sereno, and M. Telek, "Compositional fluid stochastic petri net model for operational software system performance," in IEEE 1st Intl Workshop Software Aging and Rejuvenation (WoSAR). IEEE CS, 2008, pp. 1 - 6.
5. H. Okamura and T. Dohi, "Analysis of a software system with rejuvenation, restoration and checkpointing," in Proceedings ISAS 2008. Springer Verlag - LNCS, Vol 5017, 2008, pp. 110-128.
6. A. Avritzer and E. J. Weyuker, "Monitoring smoothly degrading systems for increased dependability," Empirical Software Engineering, vol. 2, pp. 59 - 77, 1997.
7. Y. Huang, C. Kintala, N. Kolettis, and N. D. Fulton, "Software rejuvenation: analysis, module and applications," in Fault Tolerant Computing Symp (FTCS-25), 1995, pp. 381-390.
8. D. Cotroneo, R. Natella, R. Pietrantuono, and S. Russo, "Software aging and rejuvenation: Where we are and where we are going," in IEEE 3rd Int Workshop Software Aging and Rejuvenation (WoSAR). IEEE CS, 2011, pp. 1-6.
9. V. Koutrasa, A. Platisa, and G. Gravvanisb, "On the optimization of free resources using non-homogeneous Markov chain software rejuvenation model," Reliability Engineering and System Safety, vol. 92, p. 17241732, 2007.
10. K. S. Trivedi, K. Vaidyanathan, and K. Goseva-Popstojanova, "Modeling and analysis of software aging and rejuvenation," in Proceedings of the 33rd Annual Simulation Symposium, ser. SS '00. IEEE Computer Society, 2000, pp. 270-.
11. S. Garg, A. Puliafito, M. Telek, and K. Trivedi, "Analysis of software rejuvenation using Markov regenerative stochastic Petri nets," in Proceedings of the 6-th International Symposium on Software Reliability Engineering, Toulouse, 1995.
12. H. Okamura and T. Dohi, "Comprehensive evaluation of aperiodic checkpointing and rejuvenation schemes in operational software system," Journal of Systems and Software, vol. 83, no. 9, pp. 1591 - 1604, 2010.
13. M. Iacono and M. Gribaudo, "Element based semantics in multi formalism performance models," in MASCOTS, 2010, pp. 413-416.
14. M. Iacono, E. Barbierato, and M. Gribaudo, "The SIMTHESys multiformalism modeling framework," Computers and Mathematics with Applications, 2012.
15. A. Bobbio, S. Garg, M. Gribaudo, A. Horvath, M. Sereno, and M. Telek, "Modeling software systems with rejuvenation, restoration and checkpointing through Fluid Stochastic Petri Nets," in 8-th Intl Conf Petri Nets and Performance Models - PNPM99. IEEE CS, 1999, pp. 83-92.
16. E. Barbierato, M. Gribaudo, M. Iacono, and S. Marrone, "Performability modeling of exceptions-aware systems in multiformalism tools," in 18th Int Con Analytical and stochastic modeling techniques and applications - ASMTA'11. Springer- Verlag, 2011, pp. 257-272.
17. E. Barbierato, M. Gribaudo, and M. Iacono, "Exploiting multiformalism models for testing and performance evaluation in SIMTHESys," in Int Conf Performance Evaluation Methodologies and Tools - VALUETOOLS '11, 2011, pp. 121-130.
18. -, "Defining formalisms for performance evaluation with SIMTHESys," Electron. Notes Theor. Comput. Sci., vol. 275, pp. 37-51, 2011.
19. M. Neuts, Matrix Geometric Solutions in Stochastic Models. Baltimore: Johns Hopkins University Press, 1981.
20. A. Bobbio and M. Telek, "Non-exponential stochastic Petri nets: an overview of methods and techniques," Computer Systems: Science & Engineering, vol. 13, pp. 339-351, 1998.
21. E. Barbierato, G.-L. Dei Rossi, M. Gribaudo, M. Iacono, and A. Marin, "Exploiting product forms solution techniques in multiformalism modeling," Electron. Notes Theor. Comput. Sci., 2013.
22. M. Gribaudo and A. Horvath, "Fluid stochastic petri nets augmented with flush-out arcs: A transient analysis technique," IEEE Trans. Software Eng., vol. 28, no. 10, pp. 944-955, 2002.
23. M. Gribaudo, M. Sereno, A. Horvath, and A. Bobbio, "Fluid stochastic petri nets augmented with flush-out arcs: Modelling and analysis," Discrete Event Dynamic Systems, vol. 11, no. 1-2, pp. 97-117, Jan. 2001.
24. "The SIMTHESys web site; http://www.dem.unina2.it/simthesys/."