Stochastic dependability analysis of system architecture based on UML models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2677 LNCS, Issue , 2003, Pages 219-244

  Majzik, István ^a   Pataricza, András ^a   Bondavalli, Andrea ^b  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

^b UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

MODULAR CONSTRUCTION; STOCHASTIC SYSTEMS; UNIFIED MODELING LANGUAGE;

DEPENDABILITY ANALYSIS; DEPENDABILITY MODELING; DESIGN SOLUTIONS; GRAPH TRANSFORMATION TECHNIQUES; MODEL REFINEMENT; MODEL-BASED EVALUATION; RELIABILITY AND AVAILABILITY; SYSTEM ARCHITECTURES;

STOCHASTIC MODELS;

EID: 84881261378     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45177-3_10     Document Type: Conference Paper

References (35)

1. Ajmone Marsan, M., and G. Chiola: On Petri nets with deterministic and exponentially distributed firing times. Lecture Notes in Computer Science, Vol.226, pp. 132-145, 1987.
2. Ajmone Marsan, M., G. Balbo, and G. Conte: A Class of Generalized Stochastic Petri Nets for the Performance Analysis of Multiprocessor Systems. ACM TOCS, pp. 93-122, 1984.
3. Allmaier, S., and S. Dalibor: PANDA - Petri net analysis and design assistant. In Proc. Performance TOOLS'97, Saint Malo, France, 1997.
4. Betous-Almeida, C., and K. Kanoun: Dependability Evaluation - From Functional to Structural Modeling. In Proc. SAFECOMP 2001, pp. 239-249, Springer Verlag, 2001.
5. Bondavalli, A., I. Majzik, and I. Mura: From structural UML diagrams to Timed Petri Nets. European ESPRIT Project 27439 HIDE, Del. 2, Sect. 4, http://www.inf.mit.bme.hu/, 1998.
6. Bondavalli, A., I. Majzik, and I. Mura: Automatic Dependability Analysis for Supporting Design Decisions in UML. Proc. Fourth IEEE Int. Symposium on High-Assurance Systems Engineering (HASE'99), November 17-19, 1999, Washington DC, 1999, pp. 64-71.
7. Bondavalli, A., M. Dal Cin, D. Latella, I. Majzik, A. Pataricza, and G. Savoia: Dependability Analysis in the Early Phases of UML Based System Design. International Journal of Computer Systems - Science & Engineering, Vol. 16 (5), Sep 2001, pp. 265-275.
8. Chiola, G.: GreatSPN 1.5 software architecture. In Proc. Fifth International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, 1991, pp. 117-132.
9. Choi, H., V. G. Kulkarni, and K. S. Trivedi: Markov regenerative stochastic Petri nets. Performance Evaluation, Vol. 20, pp. 337-357, 1994.
10. Ciardo, G., J. Muppala, and K. S. Trivedi: SPNP: stochastic Petri net package. In Proc. International Conference on Petri Nets and Performance Models, Kyoto, Japan, 1989.
11. Csertán, Gy., G. Huszerl, I. Majzik, Zs. Pap, A. Pataricza, and D. Varró: VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models. In Proc. 17th Int. Conference on Automated Software Engineering (ASE 2002), Edinburgh, Scotland, 23-27 September 2002, IEEE CS Press, 2002.
12. Frolund, S., and J. Koistinen: Quality of Service Specificaton in Distributed Object Systems Design. In Proc. of the 5th USENIX Conf. on Object-Oriented Technology and Systems (COOTS), May 3-7, San Diego, California, USA, 1999, pp. 69-89.
13. Ganesh, J. P., and J.B. Dugan: Automatic Synthesis of Dynamic Fault Trees from UML System Models. Proc. of the IEEE Int. Symp. on Software Reliability Engineering, 2002
14. Goseva-Popstojanova, K., and K.S. Trivedi: Architecture Based Software Reliability. In Proc. of the Int. Conf on Appplied Stochastic System Modeling (ASSM 2000), Kyoto, Japan, March 2000.
15. Huszerl, G., and I. Majzik, A. Pataricza, K. Kosmidis, and M. Dal Cin: Quantitative Analysis of UML Statechart Models of Dependable Systems. The Computer Journal, Vol 45(3), May 2002, pp. 260-277 (Pubitemid 34586442)
16. Huszerl, G., and I. Majzik: Modelling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts. In: Proc. of the 27th Euromicro Conference, pp. 200-207., Warsaw, Poland, 4-6. September 2001.
17. Huszerl, G., and K. Kosmidis: Object Oriented Notation for Modelling Quantitative Aspects. In Proc. Workshop of the International Conference on Architecture of Computing Systems (ARCS 2002), Karlsruhe, Germany, 2002, VDE Verlag Berlin, pp. 91-100.
18. Issarny, V., C. Kloukinas, and A. Zarras: Systematic Aid for Developing Middleware Architectures. In Communications of the ACM, Issue on Adaptive Middleware, Vol. 45(6), pp. 53-58, June 2002.
19. Laprie, J.-C. (editor): Dependability: Basic Concepts and Terminology. Series Dependable Computing and Fault Tolerant Systems, volume 5, Springer Verlag, 1992
20. Laprie, J.-C. and K. Kanoun: Software Reliability and System Reliability. In M.R. Lyu (editor), Handbook of Software Reliability Engineering, pp 27-69, McGraw Hill, New York, 1995
21. Majzik, I., and G. Huszerl: Towards Dependability Modeling of FT-CORBA Architectures. In A. Bondavalli, P. Thevenod-Fosse (eds.): Dependable Computing EDCC4. Proc. 4th European Dependable Computing Conference, Toulouse, France, 23-25 October 2002, LNCS 2485, Springer Verlag, Berlin Heidelberg, pp. 121-139, 2002.
22. nd European Dependable Computing Conference (EDCC-2), pp. 93-110, Springer Verlag, 1996.
23. Object Management Group: Fault Tolerant CORBA. CORBA 2.6, Chapter 25, formal/01-12-63, OMG Technical Committee, http://www.omg.org/, 2001.
24. Object Management Group: Meta Object Facility Version 1.3, http://www.omg.org/, September 1999.
25. Object Management Group: UML Profile for Schedulability, Performance, and Time. Final adopted specification. http://www.omg.org/, 2001.
26. Object Management Group: Unified Modeling Language. Specification v1.4, http://www.uml.org/, 2000.
27. Pataricza, A.: From the General Resource Model to a General Fault Modeling Paradigm? Workshop on Crititcal Systems Development with UML at UML 2002, Dresden, Germany.
28. Poli, S.: Dal Linguaggio di Specifica UML ai modelli a rete di Petri stocastiche: generazione per la valutazione di Dependability. Master thesis (in Italian), University of Pisa, 2000.
29. Rabah, M., and K. Kanoun: Dependability Evaluation of a Distributed Shared Memory Multiprocessor System. In Proc. 3rd European Dependable Computing Conference (EDCC-3), pp. 42-59, Springer Verlag, 1999.
30. Sanders, W. H., W. D. Obal II, M. A. Qureshi, and F. K. Widjanarko: The UltraSAN modeling environment. Performance Evaluation, Vol. 21, pp. 1995.
31. SURF-2 User guide. LAAS-CNRS, 1994.
32. Varró, D., and A. Pataricza: Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantic Domains of UML Models. In Proc. UML 2002, International Conference on UML, Dresden, Germany, pp. 18-33, LNCS-2460, Springer Verlag, 2002.
33. Varró, D., G. Varró, and A. Pataricza: Designing the Automatic Transformation of Visual Languages. Science of Computer Programming, 44(2002):205-227, 2002.
34. Walter, M., C. Trinitis, and W. Karl: OpenSESAME: An Intuitive Dependability Modeling Environment Supporting Inter-Component Dependencies. In Proc. of the 2001 Pacific Rim Int. Symposium on Dependable Computing, pp. 76-84, IEEE Computer Society, 2001.
35. Xu, J., B. Randell, C.M.F. Rubira-Calsavara, and R.J. Stroud: Toward an Object-Oriented Approach to Software Fault Tolerance. In D.K. Pradhan and D.R. Avresky (eds.): Fault-Tolerant Parallel and Distributed Systems. IEEE CS Press, pp. 226-233, 1994.