| Sommario: | This report is about the realization of a tool to solve Dynamic Fault Trees (DFT), an extension of traditional Fault Trees (FT) that includes S-dependencies.
The approach to solve DFT is presented in this report is based on two peculiar features; first, we adopt a parameterization technique, referred to as Parametric Fault Tree (PFT), to fold equal subtrees or components and resort them to a more compact representation; second, DPFT can be modularized and each module translated into a Coloured Petri net in the form of Stochastic Well-formed Net (SWN).
The analysis of DPFTs may require the generation of a very large state space; parameterization, modularization and the conversion to SWN allow a remarkable reduction of the state space dimensions when redundancies and symmetries are present in the system. |
