Performance validation of fault-tolerance software: A compositional approach

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2001, Pages 379-388

  Bernardi, Simona ^a   Donatelli, Susanna ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT-TOLERANCE SOFTWARE;

EMBEDDED SYSTEMS; ITERATIVE METHODS; PERFORMANCE; SYNCHRONIZATION;

FAULT TOLERANT COMPUTER SYSTEMS;

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

References (26)

1. M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems. ACM Transactions on Computer Systems, 2(1), May 1984.
2. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. J. Wiley, 1995.
3. V. authors. Description of the TIRAN project, Esprit 28620. www.di.unito.it/̃tiran.
4. G. Balbo, S. Donatelli, and G. Franceschinis. Understanding parallel programs behaviour through Petri net models. Journal of Parallel and Distributed Computing, 15, October 1992.
5. S. Bernardi and S. Donatelli. D3.1 - formal functional specification and predictive evaluation of the framework elements. Deliverable D3.1 of the Esprit 28620 project TIRAN, available at www.di.unito.it/̃ tiran.
6. E. Best, R. Devillers, and J. Hall. The Petri box calculus: a new causal algebra with multilabel communication. In G. Rozenberg, editor, Advances in Petri Nets, volume 609 of LNCS, pages 21-69. Springer Verlag, 1992.
7. E. Best, R. Devillers, and M. Koutny. Petri nets, process algebras and concurrent programming languages. In W. Reisig and G. Rozenberg, editors, Lectures in Petri Nets I: basic models, pages 1-84. Springer Verlag, Berlin, 1998.
8. th Euromicro Workshop on Parallel and Distributed Processing (PDP2000), Rhodos, Greece, Jan. 19-21 2000. (IEEE Comp. Soc. Press, Los Alamitos, CA).
9. O. Botti, V. D. Florio, G. Deconinck, F. Cassinari, S. Donatelli, A. Bobbio, A. Klein, H. Kufner, R. Lauwereins, E. Thurner, and E. Verhulst. TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications. In P. Amestoy, P. Berger, M. Daydé, I. Duff, V. Frayssé, L. Giraud, and D. Ruiz, editors, Proceedings 5th Int. Euro-Par Conference on Parallel Processing (Europar'99) - Lecture Notes in Computer Science Vol. 1685, pages 1166-1170. Springer Verlag, Berlin, Germany, Toulouse, France, Aug. 31-Sep. 3 1999.
10. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. GreatSPN1.7: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, 24, 1995. Special Issue on Performance Modelling Tools.
11. th International Conference in Application and Theory of Petri Nets, ICATPN '96, Osaka, Japan, june 1996. Springer Verlag. LNCS, Vol 1091.
12. B. Dugan and K. Trivedi. Coverage modelling for dependability analysis of fault tolerant systems. IEEE Transactions on Computers, 38(6):775-787, June 1989.
13. th Intern. Workshop on Petri Nets and Performance Models, Zaragoza, Spain, Sep 1999. IEEE-CS Press.
14. nd Workshop on Process Algebra and Performance Modelling, Erlangen, 1994.
15. G. J. Holzmann. The SPIN Model Checker. IEEE Transactions on Software Engineering, 23(5):279-295, May 1997.
16. nd Annual IEEE International Computer Performance and Dependability Symposium (IPDS'96), pages 252-261, Urbana Champaign, USA, Sep 1996. IEEE-CS Press.
17. rd 3rd European Dependable Computing Conference (EDDC-3), pages 42-59, Prague, Sep 1999. Springer-Verlag. LNCS, Vol 1667.
18. th UK Performance Engineering Workshop, Bristol, UK, Jul. 1999.
19. J. C. Laprie. Dependability: Basic concepts and terminology (in english, french, german, italian and japanese). In J. Laprie, editor, Dependable Computing and Fault Tolerance, volume Vol. 5, page 265. Springer Verlag, Wien, New York, 1992.
20. 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, 1995.
21. J.C. Laprie. Dependability of computer systems: from concepts to limits. In Proc. of IFIP Intern. Workshop on Dependable Computing and Its Applications (DCIA98), Johannesburg, South Africa, January 1998.
22. th International Conference on Automated Software Engineering, Cocoa Beach (Florida), Oct 1999. IEEE Computer Society.
23. K. McMillian. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
24. 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.
25. S. Bernardi and S. Donatelli and A. Horvath. Compositionality in modelling of industrial applications. In Workshop on the practical use of High Level Petri nets, Aarhus, Denmark, June 2000, also available from www.di.unito.it/̃ tiran.
26. K. Varpaaniemi, J. Halme, K. Hiekkanen, and T. Pyssysalo. PROD reference manual. Technical Report Series B, number 13, Helsinki University of Technology, August 1995.