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.