Skip Navigation

The Computer Journal 2004 47(6):634-650; doi:10.1093/comjnl/47.6.634
© 2004 by British Computer Society
This Article
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Similar articles in ISI Web of Science
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Bondavalli, A.
Right arrow Articles by Filippini, R.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

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

Andrea Bondavalli1,* and Roberto Filippini2,§

1 Dipartimento di Sistemi e Informatica, University of Florence, via Lombroso 6/17, I-50134, Italy 2 CERN, CH 1211 Geneva 23, Switzerland

This paper describes a way of managing the modeling and analysis of Scheduled Maintenance Systems (SMSs) 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 applied 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 using an efficient analytical solution method. This methodology is implemented by the DEEM tool specifically developed for modeling and evaluating the dependability of Phased Mission Systems (PMSs). We test our methodology with such a case study to check whether it can master real and complex SMS problems and to compare its efficacy with traditional approaches (fault trees). The paper also investigates the problem of the optimal tuning of a maintenance program, giving a useful decision support tool for evaluating the system performance from the early design stage.

Received 12 July 2003. Revised 14 January 2004.

* Email: a.bondavalli{at}dsi.unifi.it

§ Email: roberto.filippini{at}cern.ch


Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?




Disclaimer: Please note that abstracts for content published before 1996 were created through digital scanning and may therefore not exactly replicate the text of the original print issues. All efforts have been made to ensure accuracy, but the Publisher will not be held responsible for any remaining inaccuracies. If you require any further clarification, please contact our Customer Services Department.