Modeling computer systems evolutions: non-stationary processes and stochastic Petri nets-application to dependability growth
Durham, North Carolina, USA
Oct. 3, 1995 to Oct. 6, 1995
M. Kaaniche , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
J.-C. Laprie , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
Stochastic Petri nets (SPNs) have emerged over the years as a favored approach for performance and dependability modeling and evaluation. Their usual utilization assumes that systems specification and design do not evolve, in opposition to real-life. This paper is aimed at a preliminary exploration of how to take advantage of the existing body of results on SPNs for modeling the evolution of computer systems, i.e. to model non-stationary stochastic processes. It focuses on dependability evolutions which result from successive releases.
Petri nets; performance evaluation; reliability; Markov processes; fault tolerant computing; reliability; computer systems evolution modeling; nonstationary processes; stochastic Petri nets; dependability growth; dependability modeling; performance modeling; systems specification; nonstationary stochastic processes; dependability evolutions
M. Kaaniche, J.-C. Laprie, "Modeling computer systems evolutions: non-stationary processes and stochastic Petri nets-application to dependability growth", PNPM, 1995, Petri Nets and Performance Models, IEEE International Workshop on, Petri Nets and Performance Models, IEEE International Workshop on 1995, pp. 221, doi:10.1109/PNPM.1995.524338