Output details
11 - Computer Science and Informatics
University of Kent
Article title
Architecting Fault Tolerance with Exception Handling: Verification and Validation
Type
D - Journal article
Title of journal
Journal of Computer Science and Technology
Article number
-
Volume number
24
Issue number
2
First page of article
212
ISSN of journal
1860-4749
Year of publication
2009
URL
-
Number of additional authors
3
Additional information
<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.
Interdisciplinary
-
Cross-referral requested
-
Research group
P - Programming Languages and Systems Group
Citation count
8
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
