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.
منابع مشابه
Comprehensive Modeling of Computer Control Systems’ Functionality and Fault-tolerance in Uml
A fault-tolerance framework to be used in the process of designing and developing computerised control systems is presented, which is based on well-proven fault-tolerance techniques and FT-CORBA. Extensions of the Unified Modeling Language (UML) are employed to describe this framework, the mechanism contained, and system architectures making use of it. Use of the framework enables reasoning abo...
متن کاملMEAD: support for Real-Time Fault-Tolerant CORBA
The OMG’s Real-Time CORBA (RT-CORBA) and Fault-Tolerant CORBA (FT-CORBA) specifications make it possible for today’s CORBA implementations to exhibit either real-time or fault tolerance in isolation. While real-time requires a priori knowledge of the system’s temporal operation, fault tolerance necessarily deals with faults that occur unexpectedly, and with possibly unpredictable fault recovery...
متن کاملHandling FT-CORBA Compliant Interoperable Object Group References
The handling of Interoperable Object Group References (IOGRs) is one of the basic building block of any FTCORBA compliant platform. In this paper we introduce two basic components: IOGRManager, a tool to create, update, browse IOGRs, and an Object-Request-GateWay (ORGW), a CORBA compliant client request interceptor, which allows clients running on non-FT-Corba compliant ORBs to transparently in...
متن کاملAQuA: An Adaptive Architecture that Provides Dependable Distributed Objects
Building dependable distributed systems from commercial off-the-shelf components is of growing practical importance. For both cost and production reasons, there is interest in approaches and architectures that facilitate building such systems. The AQuA architecture is one such approach; its goal is to provide adaptive fault tolerance to CORBA applications by replicating objects. The AQuA archit...
متن کاملImproved dependability for dynamically reconfigurable hardware: Restoration of the reliability index via replication and error correction
Fault-tolerant (FT) architectures based on classic spatial and temporal redundancy are used in an increasing number of applications. However, the hardware platforms underlying modern highreliability systems have little resemblance to those that were common when such architectures were devised. The earlier fault models are not necessarily out-of-date (e.g. stuck-at faults still play an important...
متن کامل