Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System

Abstract : Fault tolerance is very important for complex component-based software systems, but its configuration is complicated and challenging. In this paper, we propose a model driven approach to semi-automatic configuration of fault tolerance solutions. At design time, a set of reusable fault tolerance solu-tions are modeled as architecture styles, with the key properties verified by model checking. At runtime, the runtime software architecture of the target sys-tem is automatically constructed by the code generated from the given architec-tural meta-model. Then, the impact of each component on the system reliability is automatically analyzed to recommend which components should be consid-ered in the fault tolerance configuration. Finally, after which components are guaranteed by what fault tolerance solution is decided by the system administra-tion, the architecture model is automatically changed by merging with the se-lected fault tolerance styles and finally, these changes are automatically propa-gated to the target system. This approach is evaluated on Java enterprise systems.
Type de document :
Communication dans un congrès
MODELS 2012, Sep 2012, Innsbruck, Austria. 2012
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00748867
Contributeur : Yun Ma <>
Soumis le : mardi 6 novembre 2012 - 11:01:16
Dernière modification le : mardi 6 novembre 2012 - 13:43:00
Document(s) archivé(s) le : jeudi 7 février 2013 - 03:44:28

Fichier

MODELS-2012-CR.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00748867, version 1

Collections

Citation

Yihan Wu, Gang Huang, Hui Song, Ying Zhang. Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System. MODELS 2012, Sep 2012, Innsbruck, Austria. 2012. 〈hal-00748867〉

Partager

Métriques

Consultations de la notice

112

Téléchargements de fichiers

184