Output details
11 - Computer Science and Informatics
University of Kent
Architecting Fault Tolerance with Exception Handling: Verification and Validation
<07> Building on a series of contributions related to the definition of architectural styles for supporting fault tolerance, this paper defines how architectural specifications can be formally verified, and how robustness test cases are extracted and applied. The goal is to define an architecture-centric approach for preventing, removing and tolerating faults. This paper is part of a wider initiative in "architecting" dependable systems, of which de Lemos was one of the key co-promoters. The initiative produced seven edited books, a special issue of the Journal of Systems and Software, five tutorials, and eight co-located workshops at ICSE and DSN.