TY - JOUR
T1 - Integrating several formalisms in order to increase fault trees modeling power
AU - Codetta-Raiteri, Daniele
PY - 2011/5
Y1 - 2011/5
N2 - The Fault Tree (FT) is a widespread model in the field of Reliability, but its modeling power is very limited. Therefore, several FT extensions have been proposed in the literature, each introducing particular modeling primitives, but in a separate way. In this paper, we integrate the primitives coming from three relevant FT extensions (parametric, dynamic, and repairable FT), into the formalism called generalized FT (GFT). We define each primitive in such a way that it can be combined with any other one. This allows to compactly represent redundancies and symmetries of the system structure, set several kinds of dependency among the events, and model repair processes, in the same model. The paper provides also the analysis process for GFT models, based on the modular approach. In particular, we provide the conditions to detect modules, considering the presence of all the primitives. Besides modules, we exploit the parametric form also at the solution level, with the aim of reducing the cost of analysis.
AB - The Fault Tree (FT) is a widespread model in the field of Reliability, but its modeling power is very limited. Therefore, several FT extensions have been proposed in the literature, each introducing particular modeling primitives, but in a separate way. In this paper, we integrate the primitives coming from three relevant FT extensions (parametric, dynamic, and repairable FT), into the formalism called generalized FT (GFT). We define each primitive in such a way that it can be combined with any other one. This allows to compactly represent redundancies and symmetries of the system structure, set several kinds of dependency among the events, and model repair processes, in the same model. The paper provides also the analysis process for GFT models, based on the modular approach. In particular, we provide the conditions to detect modules, considering the presence of all the primitives. Besides modules, we exploit the parametric form also at the solution level, with the aim of reducing the cost of analysis.
KW - Boolean gates
KW - Dynamic gates
KW - Fault Trees
KW - Modules
KW - Parametric form
KW - Repair
UR - http://www.scopus.com/inward/record.url?scp=79951814564&partnerID=8YFLogxK
U2 - 10.1016/j.ress.2010.12.027
DO - 10.1016/j.ress.2010.12.027
M3 - Article
SN - 0951-8320
VL - 96
SP - 534
EP - 544
JO - Reliability Engineering and System Safety
JF - Reliability Engineering and System Safety
IS - 5
ER -