A control theory based approach for self-healing of un-handled runtime exceptions

Authors:
Benoit Gaudin;Emil Iordanov Vassev;Patrick Nixon;Michael Hinchey
Affiliations:
Lero - The Irish Software Engineering Research Center, University of Limerick, Limerick, Ireland;Lero - The Irish Software Engineering Research Center, University of Limerick, Limerick, Ireland;University of Tasmania, Hobart, Tasmania, Australia;Lero - The Irish Software Engineering Research Center, University of Limerick, Limerick, Ireland
Venue:
Proceedings of the 8th ACM international conference on Autonomic computing
Year:
2011

Citing 5
Cited 2

Healing Web applications through automatic workarounds

International Journal on Software Tools for Technology Transfer (STTT)
Toward an understanding of bug fix patterns

Empirical Software Engineering
Fulfilling the Vision of Autonomic Computing

Computer
A self-healing approach to designing and deploying complex, distributed and concurrent software systems

ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
A survey on self-healing systems: approaches and systems

Computing - Cloud Computing

FastFix: monitoring control for remote software maintenance

Proceedings of the 34th International Conference on Software Engineering
Supervisory control for software runtime exception avoidance

Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This work presents an approach to self-healing that deals with un-handled exceptions within an executing program. More precisely, we propose an approach based on control theory that automatically disables system functionalities that have led to runtime exceptions. This approach requires the system to be instrumented prior to deployment so that it can later interact with a supervisor. This supervisor encodes the only sequences of actions (method calls) of the system that are permitted. We describe an implementation that automatically generates instrumentation for Java systems and demonstrate the efficacy of this approach through a comprehensive example.