This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study having a variety of interesting features like a heavily redundant architecture and a test and maintenance policy whose execution is made on-line without halting the system. We apply a methodology we previously developed based on the Deterministic Stochastic Petri Net (DSPN) approach where the underlying stochastic process is Markov regenerative (MRGP) solved in our setting with efficient analytical solution method. The model construction and its analysis have been carried out with the help of a tool for the modeling and the dependability evaluation of the Phased Mission Systems (PMS). We exercise our methodology with such case study, to check whether it can master real and complex SMS problems and compare its efficacy with traditional approaches (fault trees). At the same time the paper investigates the problem of the optimal tuning of a maintenance program, giving a useful decision support tool to evaluate the system performance since the early design stage.

Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach / A. BONDAVALLI; R. FILIPPINI. - In: COMPUTER JOURNAL. - ISSN 0010-4620. - STAMPA. - 47:(2004), pp. 634-650. [10.1093/comjnl/47.6.634]

Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach

BONDAVALLI, ANDREA;
2004

Abstract

This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study having a variety of interesting features like a heavily redundant architecture and a test and maintenance policy whose execution is made on-line without halting the system. We apply a methodology we previously developed based on the Deterministic Stochastic Petri Net (DSPN) approach where the underlying stochastic process is Markov regenerative (MRGP) solved in our setting with efficient analytical solution method. The model construction and its analysis have been carried out with the help of a tool for the modeling and the dependability evaluation of the Phased Mission Systems (PMS). We exercise our methodology with such case study, to check whether it can master real and complex SMS problems and compare its efficacy with traditional approaches (fault trees). At the same time the paper investigates the problem of the optimal tuning of a maintenance program, giving a useful decision support tool to evaluate the system performance since the early design stage.
2004
47
634
650
A. BONDAVALLI; R. FILIPPINI
File in questo prodotto:
File Dimensione Formato  
CJ2004.pdf

Accesso chiuso

Tipologia: Versione finale referata (Postprint, Accepted manuscript)
Licenza: Tutti i diritti riservati
Dimensione 199.37 kB
Formato Adobe PDF
199.37 kB Adobe PDF   Richiedi una copia

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/310996
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 15
  • ???jsp.display-item.citation.isi??? 12
social impact