An Automated Wrapper-Based Approach to the Design of Dependable Software

The design of dependable software systems invariably comprises two main activities: the design of dependability mechanisms, and the location of dependability mechanisms. It has been shown that these activities are intrinsically difficult. In this paper, the authors propose an automated wrapper-based methodology to circumvent the problems associated with the design and location of dependability mechanisms. To achieve this they replicate important variables so that they can be used as part of standard, efficient dependability mechanisms. These well-understood mechanisms are then deployed in all relevant locations.

Provided by: University of Warsaw Topic: Software Date Added: May 2011 Format: PDF

Download Now

Find By Topic