University of Limerick Institutional Repository

Software maintenance through supervisory control

DSpace Repository

Show simple item record

dc.contributor.author Gaudin, Benoit
dc.contributor.author Bagnato, Alessandra
dc.date.accessioned 2012-01-31T17:20:13Z
dc.date.available 2012-01-31T17:20:13Z
dc.date.issued 2011
dc.identifier.uri http://hdl.handle.net/10344/1887
dc.description peer-reviewed en_US
dc.description.abstract This work considers the case of system maintenance where systems are already deployed and for which some faults or security issues were not detected during the testing phase. We propose an approach based on control theory that allows for automatic generation of maintenance fixes. This approach disables faulty or vulnerable system functionalities and requires to instrument the system before deployment so that it can later be monitored and interact with a supervisor at runtime. This supervisor ensures some property designed after deployment in order to avoid future executions of faulty or vulnerable system functionalities. This property corresponds to a set of safe behaviors described as a Finite State Machine. The computation of supervisors can be performed automatically, relying on a sound Supervisory Control Theory. We first introduce some basic notions of Supervisory Control theory, then we present and illustrate our approach which also relies on automatic models extraction and instrumentation. en_US
dc.language.iso eng en_US
dc.publisher IEEE Computer Society en_US
dc.relation info:eu-repo/grantAgreement/EC/FP7/258109
dc.relation.ispartofseries 34th Annual IEEE Software Engineering Workshop;2011
dc.relation.uri http://dx.doi.org/10.1109/SEW.2011.20
dc.rights “© 2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. en_US
dc.subject software control en_US
dc.subject software maintenance en_US
dc.subject supervisory control theory en_US
dc.subject vulnerabilities en_US
dc.title Software maintenance through supervisory control en_US
dc.type info:eu-repo/semantics/conferenceObject en_US
dc.type.supercollection all_ul_research en_US
dc.type.restriction none en
dc.contributor.sponsor SFI
dc.contributor.sponsor FastFix
dc.contributor.sponsor ERC
dc.relation.projectid 03/CE2/I303_1
dc.relation.projectid 100016
dc.rights.accessrights info:eu-repo/semantics/openAccess


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


Browse

My Account

Statistics