Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Towards Dependability Modeling of FT-CORBA Architectures

István MajzikContact Information and Gábor HuszerlContact Information

(6)  Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar Tudósok krt. 2., H-1117 Budapest, Hungary
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.

Contact Information István Majzik
Email: majzik@mit.bme.hu
URL: http://www.mit.bme.hu/

Contact Information Gábor Huszerl
Email: huszerl@mit.bme.hu
URL: http://www.mit.bme.hu/
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.108 • Server: MPWEB25
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)