In: Lecture Notes in Computer Science, Vol. 1667: Dependable Computing, EDCC-3, pages 7-23. Springer-Verlag, 1999.
Abstract: This paper presents a new modeling approach for dependability evaluation and sensitivity analysis of scheduled maintenance systems (SMSs), based on a deterministic and stochastic Petri net (DSPN) approach. The DSPN approach offers significant advantages in terms of easiness and clearness of modeling with respect to existing Markov chain based tools, drastically limiting the amount of user assistance needed to define the model. At the same time, these improved model capabilities do not result in additional computation costs. Indeed, the evaluation of the DSPN model of SMS is supported by an efficient and fully automatable analytical solution technique for the time-dependent marking occupation probabilities. Moreover, the existence of such explicit analytical solution allows to obtain the sensitivity functions of the dependability measures with respect to the variation of the parameter values. These sensitivity functions can be conveniently employed to analytically evaluate the effects that parameter variations have on the measures of interest.
Keywords: dependability evaluation, deterministic Petri nets, scheduled maintenance systems, sensitivity analysis, stochastic Petri nets.