Towards dependability modeling of FT-CORBA architectures

TitleTowards dependability modeling of FT-CORBA architectures
Publication TypeJournal Article
Year of Publication2002
AuthorsMajzik, I., and Huszerl, G.
JournalLECTURE NOTES IN COMPUTER SCIENCE
Volume2485
Pagination121 - 139
Date Published2002
ISBN Number0302-9743
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.