1. Models@Run.time Oct. 2 nd 2007 A Modeling Framework for Self-Healing Software Systems Michael Jiang, Jing Zhang*, David Raymer and John Strassner Motorola Network and Infrastructure Research Lab

2. Models@Run.time Oct. 2 nd 2007 Outline State-of-the-Art Self-healing Modeling Framework –Self-healing Models –Model Composition –Self-healing Software Generation Conclusion

3. Models@Run.time Oct. 2 nd 2007 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. Models@Run.time Oct. 2 nd 2007 A Self-healing Modeling Framework Self-healing Models Model Composition Self-healing Software Generation

5. Models@Run.time Oct. 2 nd 2007 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. Models@Run.time Oct. 2 nd 2007 Self-healing Metamodel

7. Models@Run.time Oct. 2 nd 2007 Model Composition Aspect-Oriented Modeling –Each self-healing model is captured in one aspect –Non-invasively weaving of the base model with the self-healing model System ComponentA ClassA1ClassA2 IOException DivideByZero Timeout InterfaceFault ComponentB ClassB1ClassB2 IOException DivideByZero Timeout

8. Models@Run.time Oct. 2 nd 2007 Self-healing Software Generation

9. Models@Run.time Oct. 2 nd 2007 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. Models@Run.time Oct. 2 nd 2007 Questions?