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.
Domains
Hardware Architecture [cs.AR]
Origin : Files produced by the author(s)
Loading...