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

peer-reviewedFault tolerance is very important for complex component-based\udsoftware systems, but its configuration is complicated and challenging. In this\udpaper, we propose a model driven approach to semi-automatic configuration of\udfault tolerance solutions. At design time, a set of reusable fault tolerance solutions\udare modeled as architecture styles, with the key properties verified by\udmodel checking. At runtime, the runtime software architecture of the target system\udis automatically constructed by the code generated from the given architectural\udmeta-model. Then, the impact of each component on the system reliability\udis automatically analyzed to recommend which components should be considered\udin the fault tolerance configuration. Finally, after which components are\udguaranteed by what fault tolerance solution is decided by the system administration,\udthe architecture model is automatically changed by merging with the selected\udfault tolerance styles and finally, these changes are automatically propagated\udto the target system. This approach is evaluated on Java enterprise systems