| 1. |
- Konstantinos, Angelopoulos, et al.
(författare)
-
Adaptive predictive control for software systems
- 2015
-
Ingår i: Proceedings of the 1st International Workshop on Control Theory for Software Engineering. - New York, NY, USA : ACM. - 9781450338141 ; , s. 17-21
-
Konferensbidrag (refereegranskat)abstract
- Self-adaptive software systems are designed to support a number of alternative solutions for fulfilling their requirements. These define an adaptation space. During operation, a self-adaptive system monitors its performance and when it finds that its requirements are not fulfilled, searches its adaptation space to select a best adaptation. Two major problems need to be addressed during the selection process: (a) Handling environmental uncertainty in determining the impact of an adaptation; (b) maintain an optimal equilibrium among conflicting requirements. This position paper investigates the application of Adaptive Model Predictive Control ideas from Control Theory to design self-adaptive software that makes decisions by predicting its future performance for alternative adaptations and selects ones that minimize the cost of requirement failures using quantitative information. The technical details of our proposal are illustrated through the meeting-scheduler exemplar.
|
|
| 2. |
- Shevtsov, Stepan, et al.
(författare)
-
SimCA vs ActivFORMS : comparing control- and architecture-based adaptation on the TAS exemplar
- 2015
-
Ingår i: Proceedings of the 1st International Workshop on Control Theory for Software Engineering. - New York, NY, USA : ACM Press. - 9781450338141 ; , s. 1-8
-
Konferensbidrag (refereegranskat)abstract
- Today customers require software systems to provide particular levels of qualities, while operating under dynamically changing conditions. These requirements can be met with different self-adaptation approaches. Recently, we developed two approaches that are different in nature - control theory-based SimCA and architecture-based ActivFORMS - to endow software systems with self-adaptation, providing guarantees on desired behavior. However, it is unclear which of the two approaches should be used in different adaptation scenarios and how effective they are in comparison to each other. In this paper, we apply SimCA and ActivFORMS to the Tele Assistance System (TAS) exemplar and compare obtained results, demonstrating the difference in achieved qualities and formal guarantees.
|
|
