Loading...
A control theory based approach for self-healing of un-handled runtime exceptions
Date
2011
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 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 systems. We introduce an extension of Supervisory Control theory that enables automatic computation of a supervisor/controller model ensuring that an observed trace leading to an un-handled runtime exception cannot occur anymore. We demonstrate the e cacy of this approach through a comprehensive example.
Supervisor
Description
non-peer-reviewed
Publisher
Association for Computing Machinery
Citation
Files
Loading...
Gaudin.pdf
Adobe PDF, 463.56 KB
Funding code
Funding Information
Science Foundation Ireland (SFI)
Sustainable Development Goals
External Link
Type
Meetings and Proceedings
Rights
https://creativecommons.org/licenses/by-nc-sa/1.0/