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

A. Bobbio, S. Garg, M. Gribaudo, A. Horvath, M. Sereno, M. Telek

Research output: Chapter in Book/Report/Conference proceedingConference contribution

25 Citations (Scopus)

Abstract

In this paper, we present a Fluid Stochastic Petri Net (FSPN) based model which captures the behavior of aging software systems with checkpointing, rejuvenation and self-restoration, three well known techniques of software fault tolerance. The proposed FSPN based modeling framework is novel in many aspects. First, the FSPN formalism itself is extended by adding flush-out arcs. Second, the three techniques are simultaneously captured in a single model for the first time. Third, the formalism enables modeling dependencies of the three techniques on various system features such as failure, load and time in the same framework. Further, our base FSPN model can be viewed as a generalization of most previous models in the literature. We show that these FSPNs can not only mimic previously published models but can also extend them. For one FSPN model, we present numerical results to illustrate their usage in deriving measures of interest.

Original languageEnglish
Title of host publicationProceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages82-91
Number of pages10
ISBN (Electronic)0769503314, 9780769503318
DOIs
Publication statusPublished - Jan 1 1999
Event8th International Workshop on Petri Nets and Performance Models, PNPM 1999 - Zaragoza, Spain
Duration: Sep 8 1999Sep 10 1999

Publication series

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

Other

Other8th International Workshop on Petri Nets and Performance Models, PNPM 1999
CountrySpain
CityZaragoza
Period9/8/999/10/99

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Modelling and Simulation
  • Theoretical Computer Science

Fingerprint Dive into the research topics of 'Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets'. Together they form a unique fingerprint.

  • Cite this

    Bobbio, A., Garg, S., Gribaudo, M., Horvath, A., Sereno, M., & Telek, M. (1999). Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets. In Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999 (pp. 82-91). [796555] (Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/PNPM.1999.796555