Output details
11 - Computer Science and Informatics
Newcastle University
Return to search
Output 0 of 0 in the submission
Article title
Improving reliability of cooperative concurrent systems with exception flow analysis
Type
D - Journal article
Title of journal
Journal of Systems and Software
Article number
-
Volume number
82
Issue number
5
First page of article
874
ISSN of journal
1873-1228
Year of publication
2009
Number of additional authors
2
Additional information
<09> In our previous work in the EC DeVa and DSoS projects we developed and evaluated a new fault tolerance mechanism called Coordinated Atomic Actions (CAAs). This work was very well received by the community. There are numerous evidence that show that programmers often make mistakes in applying fault tolerance. We propose a formal framework for specification and verification of fault tolerance. Two popular tool-supported methods are used to conduct this study: Alloy and B. The novelty is in demonstrating how to systematically apply these for ensuring the correctness of application level fault tolerance exemplified by the CAA mechanism.
Interdisciplinary
-
Cross-referral requested
-
Research group
C - Dependability
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
