Towards dependability modeling of FT-CORBA architectures

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

Volumn 2485, Issue , 2002, Pages 121-139

  Majzik, István ^a   Huszerl, Gábor ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE; PETRI NETS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

BEHAVIORAL MODEL; CONSTRUCT MODELS; DEPENDABILITY MODELING; DISTRIBUTED OBJECTS; FAULT-TOLERANT CORBA; RECOVERY POLICY; REPLICATION STRATEGIES; STOCHASTIC PETRI NETS;

COMMON OBJECT REQUEST BROKER ARCHITECTURE (CORBA);

EID: 84937564038     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36080-8_14     Document Type: Conference Paper

References (15)

1. Object Management Group: Fault tolerant CORBA. CORBA 2.6, Chapter 25 formal/01-12-63, OMG Technical Committee, http://www.omg.org (2001) 121
2. Eternal Systems Inc.: Eternal embedded edition. Product description, http://www.eternal-systems.com/products (2001) 121
3. Bondavalli, A., Majzik, I., Mura, I.: Automated dependability analysis of UML designs. In: Proc. 2nd IEEE Int. Symposium on Object-Oriented Real-Time Distributed Computing (ISORC’99), Saint Malo, France (1999) 139–144. 122, 125, 132
4. Popstojanova, K. G., Trivedi, K. S.: Architecture based software reliability. In: Proc. Int. Conf. on Appplied Stochastic System Modeling, Kyoto, Japan. (2000) 124
5. Nelli, M., Bondavalli, A., Simoncini, L.: Dependability modelling and analysis of complex control systems: An application to railway interlocking. In: Proc. EDCC-2, Springer Verlag (1996) 93–110. 124
6. Betous-Almeida, C., Kanoun, K.: Dependability evaluation - From functional to structural modeling. In: Proc. SAFECOMP 2001, Springer Verlag (2001) 239–249. 124
7. Rabah, M., Kanoun, K.: Dependability evaluation of a distributed shared memory multiprocessor system. In: Proc. EDCC-3, Springer Verlag (1999) 42–59. 124
8. Bondavalli, A., Dal Cin, M., Latella, D., Majzik, I., Pataricza, A., Savoia, G.: Dependability analysis in the early phases of UML based system design. International Journal of Computer Systems - Science & Engineering 16 (2001) 265–275. 124
9. Bondavalli, A., Majzik, I., Mura, I.: Automatic dependability analysis for supporting design decisions in UML. In: Proc. Fourth IEEE Int. Symposium on High Assurance Systems Engineering (HASE’99). (1999) 64–71. 125
10. Huszerl, G., Majzik, I.: Modeling and analysis of redundancy management in distributed object-oriented systems by using UML statecharts. In: Proc. Workshop on Software Process and Product Improvement, the 27th EUROMICRO Conference, Warsaw, Poland. (2001) 200–207. 125
11. Muppala, J.K., Ciardo, G., Trivedi, K. S.: Stochastic reward nets for reliability prediction. Comm. in Reliability, Maintainability and Serviceability 1 (1994) 9– 20. 126
12. Ciardo, G., Muppala, J., Trivedi, K. S.: SPNP - stochastic Petri net package. In: Proc. IEEE 3rd Int. Workshop on Petri Nets and Performance Models (PNPM’89), Kyoto, Japan (1989) 142–151. 126
13. Allmaier, S., Dalibor, S.: Panda - Petri net ANalysis and Design Assistant. In: Tools Descriptions, 9th Int. Conf. on Modeling Techniques and Tools for Computer Performance Evaluation (Tools’97), St. Malo, France (1997) 126
14. Malhotra, M., Trivedi, K. S.: Dependability modeling using Petri-nets. IEEE Transactions on Reliability 44 (1995) 428–440. 129, 131
15. Huszerl, G., Majzik, I.: Quantitative analysis of dependability critical systems based on UML statechart models. In: Proc. Fifth IEEE Int. Symposium on High Assurance Systems Engineering (HASE’2000). (2000) 83–92. 134