Towards Dependability Modeling of FT-CORBA Architectures

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.

[1]  Katerina Goseva-Popstojanova,et al.  Architecture Based Software Reliability , 2000 .

[2]  Diego Latella,et al.  Dependability analysis in the early phases of UML-based system design , 2001, Comput. Syst. Sci. Eng..

[3]  Andrea Bondavalli,et al.  Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking , 1996, EDCC.

[4]  Karama Kanoun,et al.  Dependability Evaluation of a Distributed Shared Memory Multiprocessor System , 1999, EDCC.

[5]  István Majzik,et al.  Modeling and analysis of redundancy management in distributed object-oriented systems by using UML statecharts , 2001, Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey.

[6]  Kishor S. Trivedi,et al.  Dependability modeling using Petri-nets , 1995 .

[7]  H. Gabor,et al.  Quantitative analysis of dependability critical systems based on UML statechart models , 2000, Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000).

[8]  Kishor S. Trivedi,et al.  SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[9]  István Majzik,et al.  Quantitative analysis of dependability critical systems based on UML statechart models , 2000, HASE.

[10]  Andrea Bondavalli,et al.  Automated dependability analysis of UML designs , 1999, Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702).

[11]  Karama Kanoun,et al.  Dependability Evaluation From Functional to Structural Modelling , 2001 .

[12]  Susann C. Allmaier,et al.  PANDA -- Petri Net Analysis and Design Assistant , 1997 .

[13]  Kishor S. Trivedi,et al.  Stochastic Reward Nets for Reliability Prediction , 1996 .

[14]  Andrea Bondavalli,et al.  Automatic dependability analysis for supporting design decisions in UML , 1999, Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering.