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

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 en- codes the only sequences of actions (method calls) of the system that are permitted. We describe an implementation that automatically generates instrumentation for Java sys- tems and demonstrate the efficacy of this approach through a comprehensive example.