Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-00748867
Contributor : Yun Ma <>
Submitted on : Tuesday, November 6, 2012 - 11:01:16 AM
Last modification on : Thursday, May 28, 2020 - 11:58:05 PM
Long-term archiving on: : Thursday, February 7, 2013 - 3:44:28 AM

File

MODELS-2012-CR.pdf
Files produced by the author(s)

Identifiers

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

Share