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.
Domaines
Architectures Matérielles [cs.AR]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...