Exploiting Petri nets to support fault tree based dependability analysis

Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Abstract

This paper explores the possibility of converting Fault Trees (FT) into the Generalized Stochastic Petri Net (GSPN) formalism. Starting from a slightly modified version of a conversion algorithm already appeared in the literature, the aim of the paper is to exploit the modeling and decision power of GSPN for both the qualitative and the quantitative analysis of the modeled system. The qualitative analysis resorts to structural properties and is based on a T-invariant analysis. In order to alleviate the state space explosion problem deriving from the quantitative analysis, the paper proposes a new formalism for FT, that is referred to as High Level FT (HLFT), in which replicated redundant units are folded and indexed. Starting from the HLFT formalism, a new conversion algorithm is provided that translates a HLFT into a Stochastic Well-formed Net (SWN). The computational saving of using SWN with respect to GSPN is carefully examined considering an example of a fault-tolerant multiprocessor system.

Lingua originaleInglese
Titolo della pubblicazione ospiteProceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999
EditoreInstitute of Electrical and Electronics Engineers Inc.
Pagine146-155
Numero di pagine10
ISBN (elettronico)0769503314, 9780769503318
DOI
Stato di pubblicazionePubblicato - 1999
Evento8th International Workshop on Petri Nets and Performance Models, PNPM 1999 - Zaragoza, Spain
Durata: 8 set 199910 set 1999

Serie di pubblicazioni

NomeProceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???8th International Workshop on Petri Nets and Performance Models, PNPM 1999
Paese/TerritorioSpain
CittàZaragoza
Periodo8/09/9910/09/99

Fingerprint

Entra nei temi di ricerca di 'Exploiting Petri nets to support fault tree based dependability analysis'. Insieme formano una fingerprint unica.

Cita questo