A Modeling Framework for Self-Healing Software Systems

1. A Modeling Framework for Self-Healing Software Systems Michael Jiang, Jing Zhang*, David Raymer and John Strassner Motorola Network and Infrastructure Research Lab

2. Outline • State-of-the-Art • Self-healing Modeling Framework • Self-healing Models • Model Composition • Self-healing Software Generation • Conclusion

3. State-of-the-Art • Classification of Software Faults • IEEE standard classification for software anomalies • UML profile for modeling QoS and fault tolerance • Self-healing approaches • Exception framework • DARPA DASADA program • Proxy / Wrapper-based approach • Program instrumentation approach

4. A Self-healing Modeling Framework • Self-healing Models • Model Composition • Self-healing Software Generation

5. Classification of Software Faults • Syntactic Faults • Interface faults • Parameter faults • Semantic Faults • Inconsistent behavior • Incorrect results • Service Faults • QoS faults • SLA related faults • Communication/Interaction Faults • Timeout • Service Unavailable • Exceptions • I/O exceptions • Security-related exceptions

6. Self-healing Metamodel

7. System ClassA1 ClassA2 ClassB1 ClassB2 Model Composition InterfaceFault Timeout ComponentA IOException DivideByZero • Aspect-Oriented Modeling • Each self-healing model is captured in one aspect • Non-invasively weaving of the base model with the self-healing model Timeout ComponentB IOException DivideByZero

8. Self-healing Software Generation

9. Conclusion • A generic modeling framework for self-healing software systems • Synthesize various self-healing techniques using a uniform platform • Capture software faults from high-level model specifications • Separation/composition of the base functionality and the self-healing features • Generative programming allows model-based analysis to be performed for system verification and validation

10. Questions?