Validation and evaluation of a software solution for fault tolerant distributed synchronization

Proceedings of the 2002 International Conference on Dependable Systems and Networks

Volumn , Issue , 2002, Pages 773-782

  Ballarini, P ^a   Bernardi, S ^a   Donatelli, S ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANT SOFTWARE MECHANISM; SOFTWARE PACKAGE ALGEBRA; SOFTWARE PACKAGE PROD; STOCHASTIC WELL FORMED NETS; UNIFIED MODELING LANGUAGE;

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; COMPUTER SIMULATION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; DISTRIBUTED COMPUTER SYSTEMS; INTERFACES (COMPUTER); MATHEMATICAL MODELS; PETRI NETS; PROGRAM TRANSLATORS; RANDOM PROCESSES; RESPONSE TIME (COMPUTER SYSTEMS); SYNCHRONIZATION;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0036930031     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2002.1029023     Document Type: Conference Paper

References (20)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. J. Wiley, 1995.
2. S. Balsamo and M. Simeoni. On transforming UML models into performance models. In ETAPS01 Satellite Event, Genova (ITALY) April, 2001.
3. J. Merseguer, J. Campos, and E. Mena. Performance evaluation for the design of agent-based systems: A Petri net approach. In Mauro Pezzè and Sol M. Shatz, editors, Proceedings of the Workshop on Software Engineering and Petri Nets, within the 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark, June 2000.
4. A. Bondavalli, I. Maizik, and I. Mura. Automated Dependability Analysis of UML Designs. In Proc. ISORC'99 - 2nd IEEE International Symposium on Object-oriented Real-time distributed Computing, Saint Malo, France, 1999, IEEE Computer Society Press.
5. C. Bertoncello, G. Bruno, G. Franceschinis, G. Lungo Vaschetti, and A. Pigozzi. SWN models of a contact center: a case study. In Proc. 9th International Workshop on Petri Nets and Performance Models, Aachen, Germany, Sept. 11-14 2001. IEEE Computer Society Press.
6. S. Bernardi, C. Bertoncello, S. Donatelli, G. Franceschinis, R. Gaeta, M. Gribaudo, and A. Horváth. GreatSPN in the new Millenium. In Tools of Aachen 2001, Int. Multiconference on Measurement, Modelling and Evaluation of Computer-Communication Systems, Dortmund, (Germany), Sept. 2001. Technical report no. 760/2001 - Dortmund Universitaet
7. S. Bernardi, S. Donatelli, and A. Horvàth. Compositionality in the GreatSPN tool and its application to the modelling of industrial applications. Int. Journal of Software Tools for Technology Transfer (STTT), 3(4), August 2001. Springer and Verlag.
8. V. DeFlorio, S. Donatelli, and G. Dondossola, Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems. In proc. of the 9th annual IEEE Conference and Workshop on Engineering of Computer-Based Systems, Lund, Sweden, April 8-10(11), 2002.
9. S. Donatelli, and L. Ferro. Validation of GSPN and SWN models through the PROD tool. In proc. of the 12th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation, London, UK, April 2002, Springer Verlag LNCS 2324.
10. O. Botti, V. De Florio, G. Deconinck, R. Lauwreins, F. Cassinari, A. Bobbio, S. Donatelli, A. Lein, H. Kufner, E. Thurner, and E. Verhulst. The TIRAN approach to reusing software implemented fault-tolerance. In Proc. 8th Euromicro Workshop on Parallel and Distributed Processing (PDP2000), Rhodos, Greece, Jan. 2000. IEEE Comp. Soc. Press.
11. G. Chiola, G. Franceshinis, R. Gaeta, and M. Ribaudo. GreatSPN 1.7: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, special issue on Performance Modelling Tools, (1), 24, 1996.
12. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. On Well-Formed coloured nets and their symbolic reachability graph. In Proc. 11th Intern. Conference on Application and Theory of Petri Nets, Paris, France, June 1990. Reprinted in High-Level Petri Nets, Theory and Application, K. Jensen and G. Rozenberg (editors), Springer Verlag, 1991.
13. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. A Symbolic Reachability Graph for Coloured Petri Nets. Theoretical Computer Science B (Logic, semantics and theory of programming), 176(1&2):39-65, April 1997.
14. G. Ciardo and A. S. Miner. SMART: Simulation and Markovian Analyzer for Reliability and Timing. In proc. IEEE International Computer Performance and Dependability Symposium (IPDS'96), Urbana-Champaign, IL, USA. Sept. 1996. IEEE Comp. Soc. Press.
15. J.M. Couvreur and J. Martinez. Linear invariants in commutative high-level nets. In proc. 10th Intern. Conference on Application and Theory of Petri Nets, Bonn, Germany, June 1989.
16. P. Kemper F. Bause, P. Buchholz. A toolbox for functional and quantitative analysis of DEDS. In proc. of the 10th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation Palma de Mallorca, Spain, 1998; Springer and Verlag LNCS 1469.
17. K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
18. W. D. Oball II, M. A. Qureshi, D. D. Deavours, and W. H. Sanders. Overview of UltraSAN. In proc. of IEEE Int. Performance and Dependability Symposium, Urbana, IL, USA, Sept. 4-6, 1996. http://www.crhc.uiuc.edu/UltraSAN.
19. K. Varpaaniemi, J. Halme, K. Hiekkanen, and T. Pyssysalo. PROD reference manual. Technical Report Series B, number 13, Helsinki University of Technology, August 1995.
20. Zimmermann, A.; Freiheit, J.; German, R. Hommel, G.: Petri Net Modelling and Performability Evaluation with TimeNET 3.0. In the proc. of the 11th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS'2000), Springer and Verlag LNCS 1786, pp. 188-202, 2000.