Fault trees are a well known mean for the evaluation of dependability of complex systems. Many extensions have been proposed to the original formalism in order to enhance the advantages of Fault Tree Analysis for the design and assessment of systems. In this paper we propose an extension, Repairable Fault Trees, which allows the designer to evaluate the effects of different repair policies on a repairable system: this extended formalism has been integrated in a multi-formalism multi-solution framework, and it is supported by a solution technique which transparently exploits Generalized Stochastic Petri Nets (GSPN) for modelling the repairing process. The modelling technique and the solution process are illustrated through an example.

Repairable Fault Tree for the Automatic Evaluation of Repair Policies

VITTORINI, VALERIA;MAZZOCCA, NICOLA
2004

Abstract

Fault trees are a well known mean for the evaluation of dependability of complex systems. Many extensions have been proposed to the original formalism in order to enhance the advantages of Fault Tree Analysis for the design and assessment of systems. In this paper we propose an extension, Repairable Fault Trees, which allows the designer to evaluate the effects of different repair policies on a repairable system: this extended formalism has been integrated in a multi-formalism multi-solution framework, and it is supported by a solution technique which transparently exploits Generalized Stochastic Petri Nets (GSPN) for modelling the repairing process. The modelling technique and the solution process are illustrated through an example.
File in questo prodotto:
File Dimensione Formato  
DSN04.pdf

non disponibili

Tipologia: Documento in Post-print
Licenza: Accesso privato/ristretto
Dimensione 426.47 kB
Formato Adobe PDF
426.47 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11588/8169
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 59
  • ???jsp.display-item.citation.isi??? ND
social impact