Repairable Fault Tree for the automatic evaluation of repair policies

Daniele Codetta Raiteri; Mauro Iacono; Giuliana Franceschinis; Valeria Vittorini

doi:10.1109/dsn.2004.1311936

Repairable Fault Tree for the automatic evaluation of repair policies

Daniele Codetta Raiteri
, Mauro Iacono
, Giuliana Franceschinis
, Valeria Vittorini

Department of Science and Technological Innovation

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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.

Original language	English
Title of host publication	2004 International Conference on Dependable Systems and Networks
Publisher	IEEE Computer Society
Pages	659-668
Number of pages	10
ISBN (Print)	0769520529
DOIs	https://doi.org/10.1109/dsn.2004.1311936
Publication status	Published - 2004
Event	2004 International Conference on Dependable Systems and Networks, DSN 2004 - Florence, Italy Duration: 28 Jun 2004 → 1 Jul 2004

Publication series

Name	Proceedings of the International Conference on Dependable Systems and Networks

Conference

Conference	2004 International Conference on Dependable Systems and Networks, DSN 2004
Country/Territory	Italy
City	Florence
Period	28/06/04 → 1/07/04

Access to Document

10.1109/dsn.2004.1311936

Cite this

Raiteri, D. C., Iacono, M., Franceschinis, G., & Vittorini, V. (2004). Repairable Fault Tree for the automatic evaluation of repair policies. In 2004 International Conference on Dependable Systems and Networks (pp. 659-668). (Proceedings of the International Conference on Dependable Systems and Networks). IEEE Computer Society. https://doi.org/10.1109/dsn.2004.1311936

@inproceedings{66d34e4cb7d64cf9b2b514b928fb9e7d,

title = "Repairable Fault Tree for the automatic evaluation of repair policies",

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.",

author = "Raiteri, \{Daniele Codetta\} and Mauro Iacono and Giuliana Franceschinis and Valeria Vittorini",

year = "2004",

doi = "10.1109/dsn.2004.1311936",

language = "English",

isbn = "0769520529",

series = "Proceedings of the International Conference on Dependable Systems and Networks",

publisher = "IEEE Computer Society",

pages = "659--668",

booktitle = "2004 International Conference on Dependable Systems and Networks",

address = "United States",

note = "2004 International Conference on Dependable Systems and Networks, DSN 2004 ; Conference date: 28-06-2004 Through 01-07-2004",

}

Raiteri, DC, Iacono, M, Franceschinis, G & Vittorini, V 2004, Repairable Fault Tree for the automatic evaluation of repair policies. in 2004 International Conference on Dependable Systems and Networks. Proceedings of the International Conference on Dependable Systems and Networks, IEEE Computer Society, pp. 659-668, 2004 International Conference on Dependable Systems and Networks, DSN 2004, Florence, Italy, 28/06/04. https://doi.org/10.1109/dsn.2004.1311936

Repairable Fault Tree for the automatic evaluation of repair policies. / Raiteri, Daniele Codetta; Iacono, Mauro; Franceschinis, Giuliana et al.
2004 International Conference on Dependable Systems and Networks. IEEE Computer Society, 2004. p. 659-668 (Proceedings of the International Conference on Dependable Systems and Networks).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 -

Repairable Fault Tree for the automatic evaluation of repair policies

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this