Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

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

Résumé

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.
Fichier principal
Vignette du fichier
MODELS-2012-CR.pdf (669.9 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00748867 , version 1 (06-11-2012)

Identifiants

  • HAL Id : hal-00748867 , version 1

Citer

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. ⟨hal-00748867⟩

Collections

CONNECT
69 Consultations
195 Téléchargements

Partager

Gmail Facebook X LinkedIn More