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.