Architecting Fault Tolerance using Abstractions
Patrick H. S. Brito, Rogério de Lemos, Cecília M. F. Rubira · Kent Academic Repository (University of Kent) · 2008
This paper discusses how architectural abstractions can be effective in developing fault-tolerant software systems.Depending on the fault model and the resources available, different abstractions can be employed in order to represent explicitly issues that are related to fault tolerance, such as, error detection, and error and fault handling.These architectural abstractions, and their internal views, can be instantiated into concrete components and connectors for designing fault-tolerant software architectures.Since structural and behavioural properties associated with these abstractions are formally specified, the process of verifying and validating software architectures can be automated.