Sciweavers

Share
CBSE
2009
Springer

Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support

11 years 8 months ago
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support
To build highly available or reliable applications out of unreliable third-party components, some software-implemented fault-tolerant mechanisms are introduced to gracefully deal with failures in the components. In this paper, we address an important issue in the approach: how to select the most suitable fault-tolerant mechanisms for a given application in a specific context. To alleviate the difficulty in the selection, these mechanisms are abstracted as Fault-tolerant styles (FTSs) at first, which helps to achieve required high availability or reliability correctly because the complex interactions among functional parts of software and fault-tolerant mechanism are explicitly modeled. Then the required fault-tolerant capabilities are specified as fault-tolerant properties, and the satisfactions of the required properties for candidate FTSs are verified by model checking. Specifically, we take application-specific constraints into consideration during verification. The satisfied proper...
Junguo Li, Xiangping Chen, Gang Huang, Hong Mei, F
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where CBSE
Authors Junguo Li, Xiangping Chen, Gang Huang, Hong Mei, Franck Chauvel
Comments (0)
books