论文信息 - The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation

The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation

A model-to-model transformation from Dynamic Fault Trees to Stochastic Petri Nets, by means of graph transformation rules, is presented in this paper. Dynamic Fault Trees (DFT) are used for the reliability analysis of complex and large systems and represent by means of gates, how combinations or sequences of component failure events, lead to the failure of the system. DFTs need the state space solution which can be obtained by converting a DFT to a Stochastic Petri Net: this task is expressed by means of graph transformation rules, and is applied to a case of system.

Daniele Codetta Raiteri

[1] A. Bobbio,et al. Parametric fault trees with dynamic gates and repair boxes , 2004, Annual Symposium Reliability and Maintainability, 2004 - RAMS.

[2] Kishor S. Trivedi. Probability and Statistics with Reliability, Queuing, and Computer Science Applications , 1984 .

[3] Salvatore J. Bavuso,et al. Dynamic fault-tree models for fault-tolerant computer systems , 1992 .

[4] Valeria Vittorini,et al. DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems , 2002, Computer Performance Evaluation / TOOLS.

[5] Giovanni Chiola,et al. Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications , 1993, IEEE Trans. Computers.

[6] Marco Ajmone Marsan,et al. Modelling with Generalized Stochastic Petri Nets , 1995, PERV.