University of Limerick Institutional Repository

Supervisory control for software runtime exception avoidance

DSpace Repository

Show simple item record

dc.contributor.author Gaudin, Benoit
dc.contributor.author Nixon, Paddy
dc.date.accessioned 2012-11-22T14:27:36Z
dc.date.available 2012-11-22T14:27:36Z
dc.date.issued 2012
dc.identifier.uri http://hdl.handle.net/10344/2689
dc.description peer-reviewed en_US
dc.description.abstract The Supervisory Control Theory (SCT) introduced by Ramadge and Wonham offers a framework for the control of Discrete Event Systems. In this paper, we formalize some concepts about corrective software maintenance within this framework. More specifically, we consider SCT as a way to control software systems behaviors and avoid occurrences of runtime exceptions. This approach is attractive as algorithms for controllers synthesis offer a means to automate part of the corrective maintenance process. In this paper, we introduce problems related to removing observed software failures by control, as well as solutions. en_US
dc.language.iso eng en_US
dc.publisher Association for Computing Machinery en_US
dc.relation info:eu-repo/grantAgreement/EC/FP7/258109
dc.relation.ispartofseries C3S2E '12 Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering;pp. 109-112
dc.relation.uri http://dx.doi.org/10.1145/2347583.2347598
dc.rights 2012 "© ACM,. 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 C3S2E '12 Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering http://dl.acm.org/citation.cfm?id=2347598 en_US
dc.subject formal method en_US
dc.subject self-adaptation en_US
dc.subject control en_US
dc.subject monitoring en_US
dc.title Supervisory control for software runtime exception avoidance en_US
dc.type info:eu-repo/semantics/conferenceObject en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.contributor.sponsor ERC en_US
dc.contributor.sponsor SFI en_US
dc.relation.projectid FP7-258109 en_US
dc.relation.projectid 03/CE2/I303_1 en_US
dc.rights.accessrights info:eu-repo/semantics/openAccess en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


Browse

My Account

Statistics