Designing software systems that have to deal with uncertain operating conditions, such as dynamic availability of resources, faults that are difficult to predict, and changing user needs, is complex. A promising approach to handle such dynamics is self-adaptation that is realized by enhancing software systems with feedback loops.
Based at the Department of Computer Science, AdaptWise conducts research in self-adaptive systems. Some of the concrete aspects we are interested in are:
- What are appropriate formalisms and design models to realize and assure self-adaptation for different quality concerns?
- How can the design models be exploited at runtime to provide evidence for the required adaptation goals?
- What are appropriate runtime approaches to handle evolving requirements?
- What is the interplay of self-adaptation at different layers of the software stack?
- How can formal techniques enhance rigor in the engineering processes for self-adaptive software systems?
- What are appropriate methods and techniques for strategic reuse in engineering processes for self-adaptive software systems?
We are particularly interested in decentralized systems, where adaptation is realized by multiple feedback loops.
The AdaptWise team works actively together with several international research groups, as well as with local industry and public partners. Example domains for validation of the research results are networked smart homes and embedded systems.