PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bondavalli A., Mura I., Trivedi K. S. Dependability modelling and sensitivity analysis of scheduled maintenance systems. In: EDCC-3 European Dependable Computing Conference, Prague, Czech Republic. (Prague (Czech Republic), September 15-17 1999). Proceedings, pp. 7 - 23. (Lecture Notes in Computer Science, vol. 1667). Springer, 1999.
 
 
Abstract
(English)
In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Stochastic Petri Net approach. The DSPN approach offers significant advantages in terms of easiness and clearness of modelling with respect to the existing Markov chain based tools, drastically limiting the amount of user-assistance needed to define the model. At the same time, these improved modelling capabilities do not result in additional computational 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.
Subject Scheduled maintenance systems
I.6.4 Model Validation and Analysis


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional