TY - GEN
T1 - Exploiting Petri nets to support fault tree based dependability analysis
AU - Bobbio, Andrea
AU - Franceschinis, Giuliana
AU - Gaeta, Rossano
AU - Portinale, Luigi
N1 - Publisher Copyright:
© 1999 IEEE.
PY - 1999
Y1 - 1999
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0012436119&partnerID=8YFLogxK
U2 - 10.1109/PNPM.1999.796561
DO - 10.1109/PNPM.1999.796561
M3 - Conference contribution
AN - SCOPUS:0012436119
T3 - Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999
SP - 146
EP - 155
BT - Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999
Y2 - 8 September 1999 through 10 September 1999
ER -