Stochastic Petri nets and inheritance for dependability modelling

Proceedings - IEEE Pacific Rim International Symposium on Dependable Computing

Volumn , Issue , 2004, Pages 363-372

  Bernardi, Simona ^a   Donatelli, Susanna ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CLASS DIAGRAMS (CD); DEPENDABILITY; FAULT ERROR AND FAILURE (FEF); STOCHASTIC PETRI NETS (SPN);

COMPUTER PROGRAMMING; ERROR ANALYSIS; FAULT TOLERANT COMPUTER SYSTEMS; FORMAL LANGUAGES; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; STOCHASTIC CONTROL SYSTEMS;

PETRI NETS;

EID: 2642540865     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PRDC.2004.1276592     Document Type: Conference Paper

References (18)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. J. Wiley, 1995.
2. S. Bernardi and S. Donatelli. Performance Validation of Fault-Tolerance Software: A Compositional Approach. In Proc. of the International Conference on Dependable Systems and Networks, DSN'01, pages 379-388, Göteborg, Sweden, July 2001. IEEE Computer Society ed.
3. th International Workshop on Petri Nets and Performance Models (PNPM2003), pages 72-81, Urbana-Champain, Illinois (USA), September 2003. IEEE Computer Society ed.
4. S. Bernardi, S. Donatelli, and G. Dondossola. Methodology for the generation of the modeling scenarios starting from the requisite specifications and its application to the collected requirements. Deliverable D1.3b - DepAuDE IST Project 25434, June 2002.
5. C. Betous-Almeida and K. Kanoun. Stepwise Construction and Refinement of Dependability Models. In Proc. of the International Conference on Dependable Systems and Networks, DSN'02, pages 515-524, Washington, D.C., USA, June 2002. IEEE Computer Society ed.
6. th International Conference in Application and Theory of Petri Nets, ICATPN '96, Osaka, Japan, June 1996. Springer Verlag. LNCS, Vol 1091.
7. J. Laprie, B. Randell, and A. Avizienis. Fundamental Concepts of Dependability. Technical report, LAAS - Newcastle University - UCLA, 2001. LAAS Report no. 01-145, New-Castle University Report no. CS-TR-739, UCLA CSD Report no. 010028.
8. J. C. Laprie. Dependability - Its attributes, impairments and means. In B. Randell, J. Laprie, H. Kopetz, and B. Littlewood, editors, Predictably Dependable Computing Systems, pages 3-24. Springer Verlag, 1995.
9. I. Mura, S. Chiaradonna, and A. Bondavalli. Modelli teorici e pratici per la rappresentazione del processo di guasto. Progetto di ricerca PDCC-ENEA: Aspetti specifici e tecniche di tolleranza ai guasti. (in Italian).
10. OMG. Unified Modeling Language Specification: version 1.5. http://www.omg.org, March 2003.
11. Performability Engineering Research Group. The UltraSAN Software tool. http://www.crhc.uiuc.edu/UltraSAN.
12. L. Pomello, G. Rozenberg, and C. Simone. A survey of equivalence notions for net based systems. Lecture Notes in Computer Science; Advances in Petri Nets 1992, 609:410-472, 1992.
13. M. Qureshi and W. Sanders. The effect of workload on the performance and availability of voting algorithms. Microelectronics and Reliability, Special Issue on Performance Modeling and Reliability Analysis, 36(6):757-774, June 1996.
14. M. Rabah and K. Kanoun. Performability evaluation of multipurpose multiprocessor systems: the "separation of concerns" approach. IEEE Transactions on Computers. Special Issue on Reliable Distributed Systems, 52(2):223-236, February 2003.
15. In W. Reisig and G. Rozenberg, editors, Lectures on Petri Nets I: Basic Models, volume 1491. Springer Verlag, Berlin, 1998.
16. th Workshop on Modelling of Objects, Components and Agents, MOCA'02, Aarhus, Denmark, August 2002. Technical Report ISSN 0105-8517, Dept. of Computer Science, University of Aarhus.
17. W. Van der Aalst and T. Basten. Life-cycle inheritance: A Petri-net based approach. In P. Azéma and G. Balbo, editors, Application and Theory of Petri Nets 1997, volume 1248, pages 62-81. Springer Verlag, Berlin, 1997.
18. H. Verbeek and T. Basten. Deciding life-cycle inheritance on Petri Nets. In Proc. of ICATPN 2003, pages 44-63, Eindhoven, The Netherlands, June 2003. Springer. LNCS, Vol. 2679.