Petri Nets and Dependability

Dependability evaluation main objective is to assess the ability of a system to correctly function over time. There are many possible approaches to the evaluation of dependability: in these notes we are mainly concerned with dependability evaluation based on probabilistic models. Starting from simple probabilistic models with very efficient solution methods we shall then come to the main topic of the paper: how Petri nets can be used to evaluate the dependability of complex systems.

[1]  Susanna Donatelli,et al.  From UML sequence diagrams and statecharts to analysable petri net models , 2002, WOSP '02.

[2]  Kishor S. Trivedi,et al.  SPNP: The Stochastic Petri Net Package (Version 3.1) , 1993, MASCOTS.

[3]  Sol M. Shatz,et al.  Development of class-level and instance-level design models for distributed-object software , 2002, Comput. Syst. Sci. Eng..

[4]  Karama Kanoun,et al.  Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach , 2003, IEEE Trans. Computers.

[5]  Karama Kanoun,et al.  Modeling the dependability of CAUTRA, a subset of the French air traffic control system , 1996, Proceedings of Annual Symposium on Fault Tolerant Computing.

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

[7]  Daniel Moldt,et al.  Inheritance of dynamic behaviour in UML , 2002 .

[8]  Karama Kanoun,et al.  Stepwise construction and refinement of dependability models , 2002, Proceedings International Conference on Dependable Systems and Networks.

[9]  Susanna Donatelli,et al.  Building Petri net scenarios for dependable automation systems , 2003, 10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings..

[10]  William H. Sanders,et al.  Stochastic Activity Networks: Formal Definitions and Concepts , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.

[11]  Ernest J. Henley,et al.  Reliability engineering and risk assessment , 1981 .

[12]  Wil M.P. van der Aalst,et al.  Inheritance of Dynamic Behavior in UML , 2002 .

[13]  Andrea Bondavalli,et al.  Modelli Teorici e Pratici per la Rappresentazione del Processo di Guasto , 1998 .

[14]  Kishor S. Trivedi,et al.  Techniques for System Dependability Evaluation , 2000 .

[15]  G. S. Hura.  A petri net approach to enumerate all system success paths for reliability evaluation of a complex system , 1982 .

[16]  Arnold Kaufmann,et al.  Mathematical Models for the Study of the Reliability of Systems , 1977 .

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

[18]  Kurt Jensen,et al.  Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1 , 1996 .

[19]  Norman B. Fuqua.  Reliability Engineering for Electronic Design , 1987 .

[20]  J. Ben Atkinson,et al.  Modeling and Analysis of Stochastic Systems , 1996 .

[21]  Rudy Lauwereins,et al.  TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications , 1999, Euro-Par.

[22]  Diego Latella,et al.  Dependability analysis in the early phases of UML-based system design , 2001, Comput. Syst. Sci. Eng..

[23]  Susanna Donatelli,et al.  Performance validation of fault-tolerance software: a compositional approach , 2001, 2001 International Conference on Dependable Systems and Networks.

[24]  A. Poucet,et al.  Advances on Fault Tree and Event Tree Techniques , 1990 .

[25]  Karama Kanoun,et al.  Dependability of fault-tolerant systems-explicit modeling of the interactions between hardware and software components , 1996, Proceedings of IEEE International Computer Performance and Dependability Symposium.

[26]  Susanna Donatelli,et al.  Stochastic Petri nets and inheritance for dependability modelling , 2004, 10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings..

[27]  Jean Arlat,et al.  SURF-2: A program for dependability evaluation of complex hardware and software systems , 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.

[28]  Bruno O. Shubert,et al.  Random variables and stochastic processes , 1979 .

[29]  K. Grace,et al.  Probabilistic Reliability: An Engineering Approach , 1968 .

[30]  Wil M. P. van der Aalst,et al.  Life-Cycle Inheritance: A Petri-Net-Based Approach , 1997, ICATPN.

[31]  Brian Randell,et al.  Fundamental Concepts of Dependability , 2000 .

[32]  John G. Proakis,et al.  Probability, random variables and stochastic processes , 1985, IEEE Trans. Acoust. Speech Signal Process..

[33]  Susanna Donatelli,et al.  Implementing compositionality for stochastic Petri nets , 2001, International Journal on Software Tools for Technology Transfer.

[34]  Kishor S. Trivedi,et al.  Stochastic Petri net modeling of VAXcluster system availability , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[35]  Kishor S. Trivedi,et al.  Extended Stochastic Petri Nets: Applications and Analysis , 1984, Performance.

[36]  Carla Simone,et al.  A survey of equivalence notions for net based systems , 1992, Advances in Petri Nets: The DEMON Project.

[37]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[38]  S.M.R. Islam,et al.  Performance analysis of degradable multiprocessor systems , 1989, Eighth Annual International Phoenix Conference on Computers and Communications. 1989 Conference Proceedings.

[39]  William J. Stewart,et al.  Introduction to the numerical solution of Markov Chains , 1994 .

[40]  Kishor S. Trivedi,et al.  Reliability Modeling Using SHARPE , 1987, IEEE Transactions on Reliability.

[41]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[42]  Kishor S. Trivedi,et al.  Dependability modeling using Petri-nets , 1995 .

[43]  Hoon Choi,et al.  Markov Regenerative Stochastic Petri Nets , 1994, Perform. Evaluation.

[44]  Kurt Jensen,et al.  Coloured Petri Nets , 1996, Monographs in Theoretical Computer Science. An EATCS Series.

[45]  Jean-Claude Laprie,et al.  Dependability — Its Attributes, Impairments and Means , 1995 .

[46]  Giuliana Franceschinis,et al.  Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics , 2003, IEEE Trans. Software Eng..

[47]  Kishor S. Trivedi,et al.  Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems , 1989, IEEE Trans. Computers.

[48]  William H. Sanders,et al.  Dependability Evaluation Using Composed SAN-Based Reward Models , 1992, J. Parallel Distributed Comput..

[49]  Giuliana Franceschinis,et al.  The PSR Methodology: Integrating Hardware and Software Models , 1996, Application and Theory of Petri Nets.

[50]  Marco Ajmone Marsan,et al.  Petri Nets in Performance Analysis: An Introduction , 1996, Petri Nets.

[51]  David R. Cox,et al.  The Theory of Stochastic Processes , 1967, The Mathematical Gazette.

[52]  Kishor S. Trivedi,et al.  Stochastic Reward Nets for Reliability Prediction , 1996 .

[53]  William H. Sanders,et al.  Performability Modeling with UltraSAN , 1991, IEEE Softw..

[54]  Andrea Bobbio,et al.  Petri Nets Generating Markov Reward Models for Performance/Reliability Analysis of Degradable Systems , 1989 .

[55]  David Coppit,et al.  The Galileo fault tree analysis tool , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).

[56]  Richard E. Barlow,et al.  Statistical Theory of Reliability and Life Testing: Probability Models , 1976 .

[57]  G. S. Hura,et al.  The use of Petri nets to analyze coherent fault trees , 1988 .

[58]  J. C. Cluley,et al.  Probabilistic Reliability: an Engineering Approach , 1968 .