1 / 10

A Modeling Framework for Self-Healing Software Systems

A Modeling Framework for Self-Healing Software Systems. Michael Jiang, Jing Zhang*, David Raymer and John Strassner Motorola Network and Infrastructure Research Lab. Outline. State-of-the-Art Self-healing Modeling Framework Self-healing Models Model Composition

diannehenry
Download Presentation

A Modeling Framework for Self-Healing Software Systems

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  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?

More Related