The Open UniversitySkip to content
 

Analysing monitoring and switching problems for adaptive systems

Salifu, Mohammed; Yu, Yijun; Bandara, Arosha K. and Nuseibeh, Bashar (2012). Analysing monitoring and switching problems for adaptive systems. Journal of Systems and Software, 85(12) pp. 2829–2839.

URL: http://www.sciencedirect.com/science/article/pii/S...
DOI (Digital Object Identifier) Link: http://dx.doi.org/10.1016/j.jss.2012.07.062
Google Scholar: Look up in Google Scholar

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.

Item Type: Journal Article
Copyright Holders: 2012 Elsevier Inc.
ISSN: 0164-1212
Project Funding Details:
Funded Project NameProject IDFunding Body
Advanced Grant on "adptive security and privacy" (ASAP)Not SetERC
Not Set10/CE/I1855Science Foundation Ireland
Keywords: monitoring; switching; problem description; requirements engineering; self-adaptive systems; problem analysis
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 34135
Depositing User: Yijun Yu
Date Deposited: 07 Aug 2012 14:22
Last Modified: 31 Jul 2013 16:03
URI: http://oro.open.ac.uk/id/eprint/34135
Share this page:

Altmetrics

Scopus Citations

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk