TY - GEN
T1 - Repairable Fault Tree for the automatic evaluation of repair policies
AU - Raiteri, Daniele Codetta
AU - Iacono, Mauro
AU - Franceschinis, Giuliana
AU - Vittorini, Valeria
PY - 2004
Y1 - 2004
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/4544318286
U2 - 10.1109/dsn.2004.1311936
DO - 10.1109/dsn.2004.1311936
M3 - Conference contribution
AN - SCOPUS:4544318286
SN - 0769520529
T3 - Proceedings of the International Conference on Dependable Systems and Networks
SP - 659
EP - 668
BT - 2004 International Conference on Dependable Systems and Networks
PB - IEEE Computer Society
T2 - 2004 International Conference on Dependable Systems and Networks, DSN 2004
Y2 - 28 June 2004 through 1 July 2004
ER -