This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics
March 2003 (vol. 29 no. 3)
pp. 270-287
ASCII Text
x 
 
Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale, "Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics," IEEE Transactions on Software Engineering, vol. 29, no. 3, pp. 270-287, March, 2003.
 
 
BibTex
x
 
@article{ 10.1109/TSE.2003.1183940,
author = {Andrea Bobbio and Giuliana Franceschinis and Rossano Gaeta and Luigi Portinale},
title = {Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics},
journal ={IEEE Transactions on Software Engineering},
volume = {29},
number = {3},
issn = {0098-5589},
year = {2003},
pages = {270-287},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.2003.1183940},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Software Engineering
TI - Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics
IS - 3
SN - 0098-5589
SP270
EP287
EPD - 270-287
A1 - Andrea Bobbio,
A1 - Giuliana Franceschinis,
A1 - Rossano Gaeta,
A1 - Luigi Portinale,
PY - 2003
KW - Dependability analysis
KW - parametric fault tree
KW - stochastic well-formed nets.
VL - 29
JA - IEEE Transactions on Software Engineering
ER -
 

Abstract—In order to cope efficiently with the dependability analysis of redundant systems with replicated units, a new, more compact fault-tree formalism, called Parametric Fault Tree (PFT), is defined. In a PFT formalism, replicated units are folded and indexed so that only one representative of the similar replicas is included in the model. From the PFT, a list of parametric cut sets can be derived, where only the relevant patterns leading to the system failure are evidenced regardless of the actual identity of the component in the cut set. The paper provides an algorithm to convert a PFT into a class of High-Level Petri Nets, called SWN. The purpose of this conversion is twofold: to exploit the modeling power and flexibility of the SWN formalism, allowing the analyst to include statistical dependencies that could not have been accommodated into the corresponding PFT and to exploit the capability of the SWN formalism to generate a lumped Markov chain, thus alleviating the state explosion problem. The search for the minimal cut sets (qualitative analysis) can be often performed by a structural T-invariant analysis on the generated SWN. The advantages that can be obtained from the translation of a PFT into a SWN are investigated considering a fault-tolerant multiprocessor system example.

[1] E.J. Henley and H. Kumamoto, Reliability Engineering and Risk Assessment. Englewood Cliffs, N.J.: Prentice Hall, 1981.
[2] N.G. Leveson, Safeware: System Safety and Computers. Addison-Wesley, 1995.
[3] W.S. Lee, D.L. Grosh, F.A. Tillman, and C.H. Lie, “Fault Tree Analysis, Methods and Applications-A Review,” IEEE Trans. Reliability, vol. 34, pp. 194-203, 1985.
[4] R. Manian, D.W. Coppit, K.J. Sullivan, and J.B. Dugan, “Bridging the Gap between Systems and Dynamic Fault Tree Models,” Proc. IEEE Ann. Reliability and Maintainability Symp., pp. 105-111, 1999.
[5] G.S. Hura and J.W. Atwood, “The Use of Petri Nets to Analyze Coherent Fault-Trees,” IEEE Trans. Reliability, vol. 37, pp. 469-474, 1988.
[6] M. Malhotra and K. Trivedi, Dependability Modeling Using Petri Nets IEEE Trans. Reliability, vol. 44, no. 3, pp. 428-440, Sept. 1995.
[7] A. Bobbio, G. Franceschinis, L. Portinale, and R. Gaeta, “Exploiting Petri Nets to Support Fault-Tree Based Dependability Analysis,” Proc. Eighth Int'l Workshop Petri Nets and Performance Models (PNPM '99), pp. 146-155, 1999.
[8] J. Bechta Dugan, S.J. Bavuso, and M.A. Boyd, “Fault-Trees and Markov Models for Reliability Analysis of Fault-Tolerant Digital Systems,” Reliability Eng. and System Safety, vol. 39, pp. 291-307, 1993.
[9] Y. Zhuge and H. Garcia-Molina, “Graph Structural Views and Their Incremental Maintenance,” Proc. Int'l Conf. Data Eng., 1998.
[10] J. Bechta Dugan, K.J. Sullivan, and D. Coppit, “Developing a Low-Cost High-Quality Software Tool for Dynamic Fault-Tree Analysis,” IEEE Trans. Reliability, vol. 49, pp. 49-59, 2000.
[11] J.A. Carrasco and V. Suné, “An Algorithm to Find Minimal Cuts of Coherent Fault-Trees with Event-Classes, Using a Decision Tree,” IEEE Trans. Reliability, vol. 48, pp. 31-41, 1999.
[12] G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad, “Stochastic Well-Formed Coloured Nets for Symmetric Modeling Applications,” IEEE Trans. Computers, vol. 42, no. 11, Nov. 1993.
[13] Y. Dutuit and A. Rauzy, “A Linear-Time Algorithm to Find Modules of Fault Tree,” IEEE Trans. Reliability, vol. 45, pp. 422-425, 1996.
[14] R.E. Barlow, F. Proschan, Statistical Theory of Reliability and Life Testing. New York: Holt, Rinehart, and Winston, 1975.
[15] W.G. Schneeweiss, The Fault Tree Method. LiLoLe Verlag, 1999.
[16] M. AjmoneMarsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing, 1995.
[17] G. Peterka and T. Murata, "Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs," IEEE Trans. Software Eng., Vol. 15, No. 2, Feb. 1989, pp. 209-217.
[18] T. Kurioka, H. Minami, H. Okuda, J. Numazawa, and A. Yanagimachi, Television Home Server for Integrated Services Toward the Realization of ISDB 'Anytime' Services IEEE Trans. Consumer Electronics, vol. 44, pp. 1195-1200, Nov. 1998.
[19] S. Haddad and C. Girault, “Algebraic Structure of Flows of a Regular Coloured Net,” LNCS 266, Springer Verlag, 1987.
[20] S.E. Perl and R.L. Sites, "Studies of Windows NT Performance Using Dynamic Execution Traces," Proc. 2nd Usenix Symp. Operating Systems Design and Implementation, ACM Press, New York, 1996, pp. 169-183.
[21] M. Ajmone Marsan, S. Donatelli, G. Franceschinis, and F. Neri, “Reductions in Generalized Stochastic Petri Nets and Stochastic Well-Formed Nets: An Overview and an Example of Application,” Network Performance Modeling and Simulation, 1997.
[22] G. Berthelot, "Checking Properties of Nets Using Transformations," Advances in Petri Nets, vol. 222, Lecture Notes in Computer Science, pp. 19-40. Springer-Verlag, 1987.
[23] G. Berthelot, “Transformations and Decompositions of Nets,” Advances in Petri Nets 86, pp. 359-376, 1987.
[24] S. Haddad, “A Reduction Theory for Coloured Nets,” High-Level Petri Nets, K. Jensen and G. Rozenberg, eds., pp. 399–425, 1991.
[25] M. Silva, J.M. Colom, and J. Martinez, “Packages for Validating Discrete Production Systems Modeled with Petri Nets,” Proc. IMACS-IFAC Symp., pp. 457-462, 1986.
[26] H.J. Genrich, “Equivalence Transformations of Pr/T-Nets,” Proc. Advances in Petri Nets 89, pp. 179-208, 1990.
[27] G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo, “GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets,” Performance Evaluation, vol. 24, nos. 1-2, pp. 47-68, Nov. 1995.
[28] A. Bobbio, G. Franceschinis, L. Portinale, and R. Gaeta, “Dependability Assessment of An Industrial Programmable Logic Controller via Parametric Fault-Tree and High Level Petri Net,” Proc. Nineth Int'l Workshop Petri Nets and Performance Models (PNPM' 01), pp. 29-38, 2001.
[29] G. Franceschinis, M. Gribaudo, M. Iacono, N. Mazzocca, and V. Vittorini, “Towards an Object Based Multi-Formalism Multi-Solution Modeling Approach,” Proc. Second Workshop Modelling of Objects, Components, and Agents, MOCA 2002, Aug. 2002.
[30] A. Bobbio, E. Ciancamerla, G. Franceschinis, R. Gaeta, M. Minichino, and L. Portinale, “Method of Increasing Modeling Power for Safety Analysis Applied to a Turbine Digital Control System,” Proc. SAFECOMP 2002 Conf., Sept. 2002.
[31] C. Bertoncello, “PFT2SWN Manual,” technical report, ISIDE MIUR Project, 2001, http://143.225.250.115/iside/shared_area/ piemonteoriTR_PFT2SWN.zip.

Index Terms:
Dependability analysis, parametric fault tree, stochastic well-formed nets.
Citation:
Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale, "Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics," IEEE Transactions on Software Engineering, vol. 29, no. 3, pp. 270-287, March 2003, doi:10.1109/TSE.2003.1183940
Usage of this product signifies your acceptance of the Terms of Use.