Statecharts: A visual formalism for complex systems
Science of Computer Programming
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Domain Theory for Requirements Engineering
IEEE Transactions on Software Engineering
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
Software engineering issues for ubiquitous computing
Proceedings of the 21st international conference on Software engineering
Requirements-Based Monitors for Real-Time Systems
IEEE Transactions on Software Engineering
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
Self-organising software architectures for distributed systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
The Vision of Autonomic Computing
Computer
Monitoring Software Requirements Using Instrumented Code
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
Requirements monitoring in dynamic environments
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
System support for pervasive applications
ACM Transactions on Computer Systems (TOCS)
Computer
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
Architecture-based self-adaptation in the presence of multiple objectives
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Goal-oriented specification of adaptation requirements engineering in adaptive systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Towards specification, modelling and analysis of fault tolerance in self managed systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Transparent resource management and self-adaptability using multitasking virtual machine RM API
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
An Automated Approach for Goal-driven, Specification-based Testing
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Problem Oriented Software Engineering: A design-theoretic framework for software engineering
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
An automated approach to monitoring and diagnosing requirements
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Model-based fault detection in context-aware adaptive applications
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Monitoring and diagnosing software requirements
Automated Software Engineering
A core ontology for requirements
Applied Ontology
RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems
RE '09 Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, RE
A survey of context modelling and reasoning techniques
Pervasive and Mobile Computing
A goal-based framework for contextual requirements modeling and analysis
Requirements Engineering
FORMS: Unifying reference model for formal specification of distributed self-adaptive systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms
UML4PF -- A tool for problem-oriented requirements analysis
RE '11 Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference
| Hi-index | 0.00 |
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.