Skip to Main content Skip to Navigation
New interface
Conference papers

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

Abstract : 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 properties and constraints are evidences for the selection. A case study shows the effectiveness of the approach.
Document type :
Conference papers
Complete list of metadata
Contributor : Emmanuelle Grousset Connect in order to contact the contributor
Submitted on : Wednesday, February 24, 2010 - 2:38:10 PM
Last modification on : Friday, February 26, 2010 - 2:03:16 PM
Long-term archiving on: : Friday, June 18, 2010 - 9:52:29 PM


Files produced by the author(s)


  • HAL Id : inria-00459608, version 1



Junguo Li, Xiangping Chen, Gang Huang, Mei Hong, Franck Chauvel. Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support. International SIGSOFT Symposium on Component-based Software Engineering (CBSE), Jun 2009, East Stroudsburg, United States. ⟨inria-00459608⟩



Record views


Files downloads