Output details
11 - Computer Science and Informatics
Newcastle University
Improving reliability of cooperative concurrent systems with exception flow analysis
<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.