Paper Info
Title
Modeling Software Systems with Rejuvenation, Restoration and Checkpointing through Fluid Stochastic Petri Nets
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, as proposed in [19], 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.
Year
DOI
Venue
1999
10.1109/PNPM.1999.796555
PNPM
Keywords
Field
DocType
software system,modeling software systems,software fault tolerance,single model,flush-out arc,proposed fspn,fluid stochastic petri,previous model,fluid stochastic petri nets,fspn model,fspn formalism,base fspn model,independent component analysis,application software,software systems,aging,petri nets,stochastic processes,rejuvenation,formal specification,reactive power
Petri net,Computer science,Parallel computing,Software fault tolerance,Stochastic process,Stochastic Petri net,Formal specification,Software system,Application software,Electrical capacitance tomography,Distributed computing
Conference
ISBN
Citations 
PageRank 
0-7695-0331-4
10
0.95
References 
Authors
10
6
Name
Order
Citations
PageRank
Andrea Bobbio132736.53
S. Garg2121.77
M. Gribaudo320915.51
M. Sereno419213.63
András Horváth5223.32
M. Telek622819.80