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.

DOI (Digital Object Identifier) Link:
Google Scholar: Look up in Google Scholar


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 Item
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/School: Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
Faculty of Science, Technology, Engineering and Mathematics (STEM)
Research Group: Centre for Research in Computing (CRC)
Item ID: 34135
Depositing User: Yijun Yu
Date Deposited: 07 Aug 2012 14:22
Last Modified: 07 Dec 2018 10:07
Share this page:


Altmetrics from Altmetric

Citations from Dimensions

Actions (login may be required)

Policies | Disclaimer

© The Open University   contact the OU