Building Petri net scenarios for dependable automation systems

10th International Workshop on Petri Nets and Performance Models, PNPM 2003

Volumn , Issue , 2003, Pages 72-83

  Bernardi, Simona ^a   Donatelli, Susanna ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FACTORY AUTOMATION; STOCHASTIC SYSTEMS;

AUTOMATION SYSTEMS; CLASS DIAGRAMS; DIAGRAM NOTATIONS; GENERALIZED STOCHASTIC PETRI NETS; HIGH LEVEL DESCRIPTION; MODELING PROCESS; REUSE; STOCHASTIC WELL-FORMED NETS;

PETRI NETS;

EID: 2642584315     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PNPM.2003.1231544     Document Type: Conference Paper

References (25)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. J. Wiley, 1995.
2. P. Ballarini, S. Bernardi, and S. Donatelli. Validation and evaluation of a software solution for fault tolerant distributed synchronization. In Proc. of the Int. Performance and Dependability Symposium, pages 773-782, Washington DC, USA, June 2002. IEEE CS.
3. S. Bernardi. Building Stochastic Petri Net models for the verification of complex software systems. PhD Thesis, Dipartimento di Informatica, Universita di Torino, April 2003.
4. S. Bernardi and S. Donatelli. Performance Validation of Fault-Tolerance Software: A Compositional Approach. In Proc. of the Int. Conference on Dependable Systems and Networks, DSN'01, Goteborg, Sweden, July 2001. IEEE Computer Society ed.
5. 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 1ST Project 25434, June 2002.
6. S. Bernardi, S. Donatelli, and A. Horvath. Special section on the pratical use of high-level Petri Nets: Implementing Compositionality for Stochastic Petri Nets. Journal of Software Tools for Technology Transfer (STTT), 3(4):417-430, August 2001.
7. r Workshop on Software and Performance (WOSP'02), pages 35-45, Roma, Italy, July 2002. ACM press.
8. A. Bondavalli and et al. Dependability analysis in the early phases of UML-based system design. Int. Journal of Computer Systems Science & Engineering, 16(5):265-275, 2001.
9. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Had-dad. Stochastic Well-Formed coloured nets for symmetric modelling applications. IEEE Transaction on Computers, 42(11):1343-1360, November 1993.
10. I. E. Commission. IEC-60300-3-1: Dependability Management. IEC, 3 rue de Varembe CH 1211 Geneva, Switzerland, 2001.
11. DepAuDE. EEC - IST project 2000-25434. http://www.depaude.org.
12. S. Donatelli and G. Franceschinis. The PSR methodology: integrating hardware and software models. In Proc. of the 17th Int. Conference in Application and Theory of Petri Nets, ICATPN'96, Osaka, Japan, June 1996. Springer Verlag. LNCS, Vol. 1091.
13. C. Ghezzi, D. Mandrioli, and A. Morzenti. TRIO: a logic language for executable specifications of real-time systems. Journal of Systems and Software, 12(2):107-123, May 1990.
14. K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, volume 1. Springer-Verlag, 1997. Monographs in Theoretical Computer Science, ISBN:3-540-60943-l.
15. J. Laprie, B. Randell, and A. Avizienis. Fundamental Concepts of Dependability. Technical report, LAAS - NewCastle University - UCLA, 2001. LAAS Report no. 01-145.
16. th Int. Workshop on Discrete Event Systems (WODES'02), pages 295-302, Zaragoza, Spain, October 2002. ACM press.
17. M. Molloy. Performance analysis using Stochastic Petri Nets. IEEE Transaction on Computers, 31(9):913-917, September 1982.
18. 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.
19. OMG. Unified Modelling Language - version 1.4. http://www.omg.org.
20. OMG. UML Profile for Schedulability, Performance, and Time Specification, http://www.omg.org, March 2002.
21. Performance Evaluation group of Torino. The Great-SPN tool, http://www.di.unito.it/greatspn.
22. M. Rabah and K. Kanoun. Dependability evaluation of a distributed shared memory multiprocessor system. Lecture Notes in Computer Science: Dependable Computing, EDCC-3, 1667:42 59, 1999.
23. C. Smith and M. Woodside. Performance Validation at Early Stages of Software Development. CRC Press, Inc. Boca Raton, FL, USA, June 2000.
24. th Workshop on Modelling of Objects, Components and Agents, MOCA'02, Aarhus, Denmark, August 2002. Tech. Report ISSN 0105-8517, Dept. of Computer Science, University of Aarhus.
25. X. Xie and S. Shatz. Development of class-level and instance-level design model for distributed systems. Int. Journal of Informatica, special issue on Component Based Software Development, 25:465-474, 2001.