Projects per year
Abstract
Self-adaptive systems used in safety-critical and businesscritical applications must continue to comply with strict non-functional requirements while evolving in order to adapt to changing workloads, environments, and goals. Runtime quantitative verification (RQV) has been proposed as an effective means of enhancing self-adaptive systems with this capability. However, RQV frequently fails to provide the fast response times and low computation overheads required by real-world self-adaptive systems. In this paper, we investigate how three techniques, namely caching, lookahead and nearly-optimal reconfiguration, and combinations thereof, can help address this limitation. Extensive experiments in a case study involving the RQV-driven self-adaptation of an unmanned underwater vehicle indicate that these techniques can lead to significant reductions in RQV response times and computation overheads.
Original language | English |
---|---|
Title of host publication | 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014 - Proceedings |
Publisher | ACM |
Pages | 115-124 |
Number of pages | 10 |
ISBN (Print) | 9781450328647 |
DOIs | |
Publication status | Published - 1 Jan 2014 |
Event | 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014 - Hyderabad, United Kingdom Duration: 2 Jun 2014 → 3 Jun 2014 |
Conference
Conference | 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014 |
---|---|
Country/Territory | United Kingdom |
City | Hyderabad |
Period | 2/06/14 → 3/06/14 |
Keywords
- Continuous-time Markov chains
- Probabilistic model checking
- Quantitative verification
- Self-adaptation
Projects
- 2 Finished
-
DSTL PhD Studentship - Radu Calinescu
1/10/12 → 30/09/16
Project: Research project (funded) › Research
-