Abstract
The paper presents techniques to support the dependability modeling and analysis of distributed object-oriented applications that are designed according to the Fault Tolerant CORBA (FT-CORBA) specification. First the construction of a high-level dependability model is described. It is based on the architecture of the application and allows the analysis of the fault tolerance strategies and properties that are directly supported by the standard infrastructure. Then a technique to construct a refined dependability model is presented. It exploits the detailed behavioral model of the object responsible for replica maintenance. The UML statechart of this object is transformed to a stochastic Petri net that forms the core of the dependability model. In this way the designer is allowed to utilize the full power of statecharts to construct models of application-dependent replication strategies and recovery policies.
This work has been partially supported by the Hungarian Ministry of Education under contract FKFP 0103/2001.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Object Management Group: Fault tolerant CORBA. CORBA 2.6, Chapter 25 formal/01-12-63, OMG Technical Committee, http://www.omg.org (2001)
Eternal Systems Inc.: Eternal embedded edition. Product description, http://www.eternal-systems.com/products (2001)
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.
Popstojanova, K.G., Trivedi, K.S.: Architecture based software reliability. In: Proc. Int. Conf. on Appplied Stochastic System Modeling, Kyoto, Japan. (2000)
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.
Betous-Almeida, C., Kanoun, K.: Dependability evaluation-From functional to structural modeling. In: Proc. SAFECOMP 2001, Springer Verlag (2001) 239–249.
Rabah, M., Kanoun, K.: Dependability evaluation of a distributed shared memory multiprocessor system. In: Proc. EDCC-3, Springer Verlag (1999) 42–59.
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.
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.
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.
Muppala, J.K., Ciardo, G., Trivedi, K.S.: Stochastic reward nets for reliability prediction. Comm. in Reliability, Maintainability and Serviceability 1 (1994) 9–20.
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.
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)
Malhotra, M., Trivedi, K.S.: Dependability modeling using Petri-nets. IEEE Transactions on Reliability 44 (1995) 428–440.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Majzik, I., Huszerl, G. (2002). Towards Dependability Modeling of FT-CORBA Architectures. In: Bondavalli, A., Thevenod-Fosse, P. (eds) Dependable Computing EDCC-4. EDCC 2002. Lecture Notes in Computer Science, vol 2485. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36080-8_14
Download citation
DOI: https://doi.org/10.1007/3-540-36080-8_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00012-9
Online ISBN: 978-3-540-36080-3
eBook Packages: Springer Book Archive