University of Limerick Institutional Repository

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

DSpace Repository

Show simple item record Gaudin, Benoit Vassev, Emil Hinchey, Mike Nixon, Paddy 2011-12-19T13:16:31Z 2011-12-19T13:16:31Z 2011
dc.identifier.citation 8th International Conference On Autonomic Computing (ICAC 2011) en_US
dc.description non-peer-reviewed en_US
dc.description.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. en_US
dc.language.iso eng en_US
dc.publisher Association for Computing Machinery en_US
dc.rights "© ACM,2011 This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in the 8th International Conference on Autonomic Computing (ICAC 2011) en_US
dc.subject self-healing en_US
dc.subject software control en_US
dc.subject software maintenance en_US
dc.subject supervisory control theory en_US
dc.title A control theory based approach for self-healing of un-handled runtime exceptions en_US
dc.type Conference item en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.type.restriction none en
dc.contributor.sponsor SFI

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


My Account