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

Junguo Li 1 Xiangping Chen 1 Gang Huang 1 Mei Hong 2 Franck Chauvel 1
1 EECS - School of Electronics Engineering and Computer Science [Beijing]
2 DIT-UPPSALA - Department of Information Technology
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.
Keywords : software architecture Fault tolerance model checking fault-tolerant style software architecture.
Type de document :
Communication dans un congrès
International SIGSOFT Symposium on Component-based Software Engineering (CBSE), Jun 2009, East Stroudsburg, United States. 2009
Liste complète des métadonnées
https://hal.inria.fr/inria-00459608
Contributeur : Emmanuelle Grousset <>
Soumis le : mercredi 24 février 2010 - 14:38:10
Dernière modification le : vendredi 26 février 2010 - 14:03:16
Document(s) archivé(s) le : vendredi 18 juin 2010 - 21:52:29

Fichier

1-2009-CBSE-RSA.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00459608, version 1

Collections

CONNECT

Citation

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. 2009. 〈inria-00459608〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

131

Téléchargements de fichiers

113

Contact


archive-ouverte@inria.fr