University of Limerick Institutional Repository

Analysing monitoring and switching problems for adaptive systems

DSpace Repository

Show simple item record

dc.contributor.author Salifu, Mohammed
dc.contributor.author Yu, Yijun
dc.contributor.author Bandara, Arosha K.
dc.contributor.author Nuseibeh, Bashar
dc.date.accessioned 2012-11-30T11:46:14Z
dc.date.available 2012-11-30T11:46:14Z
dc.date.issued 2012
dc.identifier.uri http://hdl.handle.net/10344/2699
dc.description peer-reviewed en_US
dc.description.abstract In the field of pervasive and ubiquitous computing, context-aware adaptive systems need to monitor changes in their environment in order to detect violations of requirements and switch their behaviour in order to continue satisfying requirements. In a complex and rapidly changing environment, identifying what to monitor and deciding when and how to switch behaviours effectively is difficult and error prone. The goal of our research is to provide systematic and, where possible, automated support for the software engineer developing such adaptive systems. In this paper, we investigate the necessary and sufficient conditions for both monitoring and switching in order to adapt the system behaviours as the problem context varies. Necessary and sufficient conditions provide complementary safeguards to ensure that not too much and not too little monitoring and switching are carried out. Our approach encodes monitoring and switching problems into propositional logic constraints in order for these conditions to be analysed automatically using a standard SAT solver. We demonstrate our approach by analysing a mobile phone system problem. We analysed requirements violations caused by changes in the system’s operating environment. By providing necessary and sufficient monitoring and switching capabilities to the system, particular requirements violations were avoided. en_US
dc.language.iso eng en_US
dc.publisher Elsevier en_US
dc.relation ASAP en_US
dc.relation.ispartofseries The Journal of Systems and Software;85(12), pp. 2829-2839
dc.relation.uri http://dx.doi.org/10.1016/j.jss.2012.07.062
dc.rights This is the author’s version of a work that was accepted for publication in The Journal of Systems and Software. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in The Journal of Systems and Software, doidoi.org/10.1016/j.jss.2012.07.062 en_US
dc.subject monitoring en_US
dc.subject switching en_US
dc.subject problem description en_US
dc.subject requirements engineering en_US
dc.subject self-adaptive systems en_US
dc.title Analysing monitoring and switching problems for adaptive systems en_US
dc.type info:eu-repo/semantics/article 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 ASAP en_US
dc.relation.projectid 10/CE/I1855 en_US
dc.rights.accessrights info:eu-repo/semantics/openAccess en_US
dc.internal.rssid 1414925


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


Browse

My Account

Statistics