Parametric NdRFT for the derivation of optimal repair strategies

Marco Beccuti, Giuliana Franceschinis, Daniele Codetta-Raiteri, Serge Haddad

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Abstract

Non deterministic Repairable Fault Trees (NdRFT) are a recently proposed modeling formalism for the study of optimal repair strategies: they are based on the widely adopted Fault Tree formalism, but in addition to the failure modes, NdRFTs allow to define possible repair actions. In a previous paper the formalism has been introduced together with an analysis method and a tool allowing to automatically derive the best repair strategy to be applied in each state. The analysis technique is based on the generation and solution of a Markov Decision Process. In this paper we present an extension, ParNdRFT, that allows to exploit the presence of redundancy to reduce the complexity of the model and of the analysis. It is based on the translation of the ParNdRFT into a Markov Decision Well-Formed Net, i.e. a model specified by means of an High Level Petri Net formalism. The translated model can be efficiently solved thanks to existing algorithms that generate a reduced state space automatically exploiting the model symmetries.

Lingua originaleInglese
Titolo della pubblicazione ospiteProceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009
Pagine399-408
Numero di pagine10
DOI
Stato di pubblicazionePubblicato - 2009
Evento2009 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009 - Lisbon, Portugal
Durata: 29 giu 20092 lug 2009

Serie di pubblicazioni

NomeProceedings of the International Conference on Dependable Systems and Networks

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???2009 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009
Paese/TerritorioPortugal
CittàLisbon
Periodo29/06/092/07/09

Fingerprint

Entra nei temi di ricerca di 'Parametric NdRFT for the derivation of optimal repair strategies'. Insieme formano una fingerprint unica.

Cita questo