Name
Abstract | ||
|---|---|---|
Fault trees are a well known mean for the evaluation ofdependability of complex systems. Many extensions havebeen proposed to the original formalism in order to enhancethe advantages of Fault Tree Analysis for the designand assessment of systems. In this paper we proposean extension, Repairable Fault Trees, which allows the designerto evaluate the effects of different repair policies ona repairable system: this extended formalism has been integratedin a multi-formalism multi-solution framework, andit is supported by a solution technique which transparentlyexploits Generalized Stochastic Petri Nets (GSPN) for modellingthe repairing process. The modelling technique andthe solution process are illustrated through an example. |
Year | DOI | Venue |
|---|---|---|
2004 | 10.1109/DSN.2004.1311936 | DSN |
Keywords | Field | DocType |
modelling technique andthe solution,complex system,repair policies,extended formalism,automatic evaluation,generalized stochastic petri nets,original formalism,fault tree analysis,designand assessment,different repair policy,solution technique,repairable fault trees,fault trees,systems analysis,stochastic processes,petri nets | Complex system,Dependability,Petri net,Computer science,Systems analysis,Stochastic process,Stochastic Petri net,Process architecture,Real-time computing,Fault tree analysis,Reliability engineering,Distributed computing | Conference |
ISBN | Citations | PageRank |
0-7695-2052-9 | 25 | 1.54 |
References | Authors | |
7 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Daniele Codetta Raiteri | 1 | 51 | 5.17 |
| Mauro Iacono | 2 | 263 | 27.47 |
| Giuliana Franceschinis | 3 | 585 | 51.04 |
| valeria vittorini | 4 | 339 | 33.14 |