Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets

Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999

Volumn , Issue , 1999, Pages 82-91

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

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^b LUCENT TECHNOLOGIES   (United States)

^c UNIVERSITY OF TURIN   (Italy)

^d BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; ENDOCRINOLOGY; FAULT TOLERANCE; PETRI NETS; RANDOM ACCESS STORAGE; RESTORATION; STOCHASTIC SYSTEMS;

FLUID STOCHASTIC PETRI NETS; MODEL DEPENDENCIES; MODELING SOFTWARES; NUMERICAL RESULTS; SELF-RESTORATION; SOFTWARE FAULT TOLERANCES; SOFTWARE SYSTEMS; STOCHASTIC PETRI NETS;

STOCHASTIC MODELS;

EID: 33845474707     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PNPM.1999.796555     Document Type: Conference Paper

References (28)

1. H. Alla and R. David. Continuous and Hybrid Petri Nets. Journal of Systems Circuits and Computers, 8(1), Feb 1998.
2. A. Bobbio, S. Garg, M. Gribaudo, A. Horváth, M. Sereno, and M. Telek. Modeling Software Systems with Rejuvenation, Restoration and Checkpointing through Fluid Stochastic Petri Nets. Technical report, Universita di Torino, 1999.
3. A. Bobbio, A. Puliafito, M. Telek, and K. S. Trivedi. Recent Developments in Non-Markovian Stochastic Petri Nets. Journal of Systems Circuits and Computers, 8(1):119-158, Feb 1998.
4. A. Bobbio and M. Sereno. Fine Grained Software Rejuvenation Models. In Proc. 3-th International Computer Performance & Dependability Symposium (IPDS '98), pages 4-12, Durham, North Carolina, USA, September 1998. IEEE Comp. Soc. Press.
5. R. V. Campos and E. de Sousa e Silva. Availability and performance evaluation of database systems under periodic checkpoints. In Proc. of the 25th IEEE Intnl. Symposium on Fault Tolerant Computing (FTCS), pages 269-277, Pasadena, California, 1995.
6. G. Ciardo, J. K. Muppala, and K. S. Trivedi. On the solution of GSPN reward models. Performance Evaluation, 12(4):237-253, 1991.
7. G. Ciardo, D. M. Nicol, and K. S. Trivedi. Discreteevent Simulation of Fluid Stochastic Petri Nets. In Proc. 7th Int. Workshop on Petri Nets and Performance Models (PNPM'97), pages 217-225, Saint Malo, France, June 1997. IEEE Comp. Soc. Press.
8. E. G. Coffman and E. N. Gilbert. Optimal strategies for scheduling checkpoints and preventive maintenance. IEEE Transactions on Reliability, 39(1):9-18, April 1990.
9. A. Duda. The effects of checkpointing on program execution time. Information Processing Letters, 16:221-229, 1983.
10. 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, pages 252-261, Philadelphia, PA, May 1996.
11. S. Garg, A. Puliafito, M. Telek, and K. S. Trivedi. Analysis of software rejuvenation using Markov regenerative stochastic Petri net. In Proc. of 6th Int. Symposium on Software Reliability Engineering (ISSRE95), Toulouse, France, October 1995.
12. S. Garg, A. Puliafito, M. Telek, and K. S. Trivedi. Analysis of preventive maintenance in transaction based software systems. IEEE Trans. on Computers, 47(1):96-107, 1998. Special issue on Dependability of Computing Systems.
13. S. Garg, A. vanMoorsel, K. S. Trivedi, andK. Vaidyanathan. A methodology for detection and estimation of software aging. In Proc. of the Ninth International Symposium on Software Reliability Engineering, pages 282-292, Paderborn, Germany, November 4-7 1998.
14. E. Gelenbe and M. Hernandez. Optimum checkpoints with age dependent failures. Acta Informatica, 27:519-531, 1990.
15. J. Gray. Why do computers stop and what can be done about it? In Proc. of 5th Symp. on Reliability in Distributed Software and Database Systems, pages 3-12, January 1986.
16. J. Gray and D. P. Siewiorek. High-availability computer systems. IEEE Computer, pages 39-48, September 1991.
17. B. O. A. Grey. Making SDI software reliable through faulttolerant techniques. Defense Electronics, pages 77-80, 85-86, August 1987.
18. M. Gribaudo, M. Sereno, and A. Bobbio. Fluid Stochastic Petri Nets: An Extended Formalism to Include non- Markovian Models. In Proc. 8th Intern. Workshop on Petri Nets and Performance Models, Zaragoza, Spain, Sep 1999. IEEE-CS Press.
19. G. Horton, V. G. Kulkarni, D. M. Nicol, and K. S. Trivedi. Fluid stochastic Petri Nets: Theory, Application, and Solution Techniques. European Journal of Operations Research, 105(1):184-201, Feb 1998.
20. Y. Huang, C. Kintala, N. Kolettis, andN. D. Fulton. Software rejuvenation: Analysis, module and applications. In Proc. of 25th Int. Symposium on Fault-Tolerance Computing (FTCS- 25), Pasadena, CA, USA, June 1995.
21. V. G. Kulkarni, V. F. Nicola, and K. S. Trivedi. Effects of checkpointing and queuing on program performance. Communications on Statistics- Stochastic Models, 6(4):615-648, 1990.
22. E. Marshall. Fatal error: how Patriot overlooked a Scud. Science, 13:1347, March 1992.
23. A. Pfening, S. Garg, A. Puliafito, M. Telek, and K. S. Trivedi. Optimal rejuvenation for tolerating soft failures. Performance Evaluation, 27 & 28:491-506, October 1996.
24. K. G. Shin, T. Lin, and Y. Lee. Optimal checkpointing of real-time tasks. IEEE Transactions on Computers, C-36(11), November 1987.
25. M. Sullivan and R. Chillarege. Software defects and their impact on system availability - a study of field failures in operating systems. In Proc. 21st IEEE Intnl. Symposium on Fault- Tolerant Computing, pages 2-9, 1991.
26. A. T. Tai, S. N. Chau, L. Alkalaj, and H. Hecht. On-board preventive maintenace: analysis of effectiveness and optimal duty period. In Proc. of 3rd Intnl. Worskshop on Objectoriented Real-time Dependable Systems, Newport Beach, California, February 1997.
27. K. Trivedi and V. Kulkarni. FSPNs: Fluid Stochastic Petri nets. In Application and Theory of Petri Nets 1993, Proc. 14th Intern. Conference, LNCS, Chicago, USA, June 1993. Springer Verlag.
28. K. Wolter. Second order fluid stochastic petri nets: an extension of gspns for approximate and continuous modelling. In Proc. of World Congress on System Simulation, pages 328-332, Singapore, Sep 1997.