| 1. |
- Filieri, Antonio, et al.
(författare)
-
Control Strategies for Self-Adaptive Software Systems
- 2017
-
Ingår i: ACM Transactions on Autonomous and Adaptive Systems. - : Association for Computing Machinery (ACM). - 1556-4665 .- 1556-4703. ; 11:4
-
Tidskriftsartikel (refereegranskat)abstract
- The pervasiveness and growing complexity of software systems are challenging software engineering to design systems that can adapt their behavior to withstand unpredictable, uncertain, and continuously changing execution environments. Control theoretical adaptation mechanisms have received growing interest from the software engineering community in the last few years for their mathematical grounding, allowing formal guarantees on the behavior of the controlled systems. However, most of these mechanisms are tailored to specific applications and can hardly be generalized into broadly applicable software design and development processes.This article discusses a reference control design process, from goal identification to the verification and validation of the controlled system. A taxonomy of the main control strategies is introduced, analyzing their applicability to software adaptation for both functional and nonfunctional goals. A brief extract on how to deal with uncertainty complements the discussion. Finally, the article highlights a set of open challenges, both for the software engineering and the control theory research communities.
|
|
| 2. |
- Filieri, Antonio, et al.
(författare)
-
Software Engineering Meets Control Theory
- 2015
-
Ingår i: 2015 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. - Piscataway, NJ, USA : IEEE Press. - 9780769555676 ; , s. 71-82
-
Konferensbidrag (refereegranskat)abstract
- The software engineering community has proposed numerous approaches for making software self-adaptive. These approaches take inspiration from machine learning and control theory, constructing software that monitors and modifies its own behavior to meet goals. Control theory, in particular, has received considerable attention as it represents a general methodology for creating adaptive systems. Control-theoretical software implementations, however, tend to be ad hoc. While such solutions often work in practice, it is difficult to understand and reason about the desired properties and behavior of the resulting adaptive software and its controller. This paper discusses a control design process for software systems which enables automatic analysis and synthesis of a controller that is guaranteed to have the desired properties and behavior. The paper documents the process and illustrates its use in an example that walks through all necessary steps for self-adaptive controller synthesis.
|
|
| 3. |
- Gerasimou, Simos, et al.
(författare)
-
UNDERSEA : An Exemplar for EngineeringSelf-Adaptive Unmanned Underwater Vehicles
- 2017
-
Ingår i: 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). - : IEEE. - 9781538615508 - 9781538615515 ; , s. 83-89
-
Konferensbidrag (refereegranskat)abstract
- Recent advances in embedded systems and underwater communications raised the autonomy levels in unmanned underwater vehicles (UUVs) from human-driven and scripted to adaptive and self-managing. UUVs can execute longer and more challenging missions, and include functionality that enables adaptation to unexpected oceanic or vehicle changes. As such, the simulated UUV exemplar UNDERSEA introduced in our paper facilitates the development, evaluation and comparison of self-adaptation solutions in a new and important application domain. UNDERSEA comes with predefined oceanic surveillance UUV missions, adaptation scenarios, and a reference controller implementation, all of which can easily be extended or replaced.
|
|
| 4. |
|
|
| 5. |
- Shevtsov, Stepan
(författare)
-
A Control-theoretic Approach to Realize Self-adaptive Software Systems with Guarantees
- 2019
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- Engineering modern software systems is a challenging task as these systems are subject to different types of uncertainties. Examples of such uncertainties are disturbances in the environment that are difficult to predict and goals that may change during operation. The idea of self-adaptation is to handle these uncertainties at runtime, when the knowledge becomes available to resolve them. As more software systems with strict requirements are designed to be self-adaptive, the need for adaptation guarantees is becoming a high-priority concern. Providing such guarantees with traditional architecture-based approaches has shown to be challenging, calling for new approaches to engineer self-adaptive systems. To tackle this challenge, this thesis studies control-based software adaptation (CBSA). CBSA applies principles from control theory to design self-adaptive software systems. More specifically, we address the following research problem using CBSA: how to realize self-adaptive software systems that satisfy multiple stakeholder requirements with guarantees in the presence of uncertainties.The thesis addresses the research problem in two subsequent stages. The first stage focuses on satisfying multiple stakeholder requirements of different types, and providing adaptation guarantees. This stage starts with a systematic literature review of CBSA, which provides a comprehensive overview of the field, including existing CBSA approaches, applied models and controllers, and analyzed guarantees. From the review, we identify a number of gaps in the existing research and concrete challenges in addressing the research problem. Then, we devise SimCA, a control-theoretic approach to realize self-adaptive software systems that satisfy multiple requirements with guarantees. SimCA combines mathematical models of software system, a control-based adaptation mechanism, and formal analysis of the required guarantees. SimCA is also reusable, meaning that it can be applied to a family of cooperative software systems with strict requirements. The second research stage focuses on handling different types of uncertainty.We first discuss the types of uncertainty and study whether existing CBSA approaches try to deal with these types. We then introduce an enhanced approach called SimCA* that includes components to deal with uncertainty in software parameters, addition or removal of requirements at runtime and software component interactions. In order to obtain evidence about the applicability and reusability of SimCA and SimCA*, we apply informal exploratory case studies with three software systems with strict requirements from different domains.
|
|
| 6. |
- Shevtsov, Stepan, et al.
(författare)
-
Control-Theoretical Software Adaptation : A Systematic Literature Review
- 2018
-
Ingår i: IEEE Transactions on Software Engineering. - : IEEE. - 0098-5589 .- 1939-3520. ; 44:8, s. 784-810
-
Tidskriftsartikel (refereegranskat)abstract
- Modern software applications are subject to uncertain operating conditions, such as dynamics in the availability of services and variations of system goals. Consequently, runtime changes cannot be ignored, but often cannot be predicted at design time. Control theory has been identified as a principled way of addressing runtime changes and it has been applied successfully to modify the structure and behavior of software applications. Most of the times, however, the adaptation targeted the resources that the software has available for execution (CPU, storage, etc.) more than the software application itself. This paper investigates the research efforts that have been conducted to make software adaptable by modifying the software rather than the resource allocated to its execution. This paper aims to identify: the focus of research on control-theoretical software adaptation; how software is modeled and what control mechanisms are used to adapt software; what software qualities and controller guarantees are considered. To that end, we performed a systematic literature review in which we extracted data from 42 primary studies selected from 1512 papers that resulted from an automatic search. The results of our investigation show that even though the behavior of software is considered non-linear, research efforts use linear models to represent it, with some success. Also, the control strategies that are most often considered are classic control, mostly in the form of Proportional and Integral controllers, and Model Predictive Control. The paper also discusses sensing and actuating strategies that are prominent for software adaptation and the (often neglected) proof of formal properties. Finally, we distill open challenges for control-theoretical software adaptation.
|
|
| 7. |
- Shevtsov, Stepan
(författare)
-
Developing a Reusable Control-Based Approach to Build Self-Adaptive Software Systems with Formal Guarantees
- 2016
-
Ingår i: FSE'16. - New York, NY, USA : ACM Publications. - 9781450342186 ; , s. 1060-1062
-
Konferensbidrag (refereegranskat)abstract
- An increasingly important concern of software engineers is handling uncertainty at runtime. Over the last decade researchers have applied architecture-based self-adaptation approaches to address this concern. However, providing guarantees required by current software systems has shown to be challenging with these approaches. To tackle this challenge, we study the application of control theory to realize self-adaptation and develop novel control-based adaptation mechanisms that guarantee desired system properties. Results are validated on systems with strict requirements.
|
|
| 8. |
- Shevtsov, Stepan, et al.
(författare)
-
Handling New and Changing Requirements with Guarantees in Self-Adaptive Systems using SimCA*
- 2017
-
Ingår i: Proceedings - 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2017, 3 July 2017 - 23 May 2017, Buenos Aires. - : IEEE. - 9781538615508 ; , s. 12-23
-
Konferensbidrag (refereegranskat)abstract
- Self-adaptation provides a principled way to deal with change during operation. As more systems with strict goals require self-adaptation, the need for guarantees in self-adaptive systems is becoming a high-priority concern. Designing adaptive software using principles from control theory has been identified as one of the approaches to provide guarantees. However, current solutions can only handle pre-specified requirements either in the form of setpoint values (S-reqs) or values to be optimized (O-reqs). This paper presents SimCA* that makes two contributions to control-based self-adaptation: (a) it allows the user to specify a third type of requirement that keeps a value above/below a threshold (T-reqs); and (b) it can deal with requirement sets that change at runtime (i.e., requirements can be adjusted, activated, and deactivated on the fly). SimCA* offers robustness to disturbances and provides adaptation guarantees. We evaluate SimCA* for two systems with strict goals from different domains: an underwater vehicle system used for oceanic surveillance, and a tele-assistance system for health care support. The test results demonstrate that SimCA* can deal with the three types of requirements (STO-reqs) operating under various types of dynamics and the set of requirements can be changed on the fly.
|
|
| 9. |
- Shevtsov, Stepan, et al.
(författare)
-
Keep It SIMPLEX : Satisfying Multiple Goals with Guarantees in Control-Based Self-Adaptive Systems
- 2016
-
Ingår i: FSE'16. - New York, NY, USA : ACM Publications. - 9781450342186 ; , s. 229-241
-
Konferensbidrag (refereegranskat)abstract
- An increasingly important concern of software engineers is handling uncertainties at design time, such as environment dynamics that may be difficult to predict or requirements that may change during operation. The idea of self-adaptation is to handle such uncertainties at runtime, when the knowledge becomes available. As more systems with strict requirements require self-adaptation, providing guarantees for adaptation has become a high-priority. Providing such guarantees with traditional architecture-based approaches has shown to be challenging. In response, researchers have studied the application of control theory to realize self-adaptation. However, existing control-theoretic approaches applied to adapt software systems have primarily focused on satisfying only a single adaptation goal at a time, which is often too restrictive for real applications. In this paper, we present Simplex Control Adaptation, SimCA, a new approach to self-adaptation that satisfies multiple goals, while being optimal with respect to an additional goal. SimCA offers robustness to measurement inaccuracy and environmental disturbances, and provides guarantees. We evaluate SimCA for two systems with strict requirements that have to deal with uncertainties: an underwater vehicle system used for oceanic surveillance, and a tele-assistance system for health care support.
|
|
| 10. |
- Shevtsov, Stepan, et al.
(författare)
-
Self-adaptation of software using automatically generated control-theoretical solutions
- 2019
-
Ingår i: Engineering adaptive software systems. - Singapore : Springer. - 9789811321856 - 9789811321849 ; , s. 35-55
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- Control theory has contributed a set of foundational techniques to handle "change" at runtime in software applications. These techniques however have fundamental limitations as well: (i) they require the development and understanding of mathematical models; (ii) synthesizing solutions is often done on a per-problem basis, discouraging flexibility and generality. Software engineering, as a discipline, has always aimed at finding reusable and modular solutions. The combination of the desire to apply formally grounded control-theoretical principles and reuse existing solutions has motivated research on the topic of automatically generated control solutions. This research aims at designing control strategies in an automated way from data that qualifies the given problem at hand. This chapter provides an overview of the research topic of automatically generated control-theoretical solutions, explaining the key research contributions and paving the way for future research. © Springer Nature Singapore Pte Ltd. 2019. All Rights reserved.
|
|
| 11. |
- Shevtsov, Stepan, et al.
(författare)
-
SimCA* : A Control-theoretic Approach to Handle Uncertainty in Self-adaptive Systems with Guarantees
- 2019
-
Ingår i: ACM Transactions on Autonomous and Adaptive Systems. - : ACM Publications. - 1556-4665 .- 1556-4703. ; 13:4, s. 1-34
-
Tidskriftsartikel (refereegranskat)abstract
- Self-adaptation provides a principled way to deal with software systems' uncertainty during operation. Examples of such uncertainties are disturbances in the environment, variations in sensor readings, and changes in user requirements. As more systems with strict goals require self-adaptation, the need for formal guarantees in self-adaptive systems is becoming a high-priority concern. Designing self-adaptive software using principles from control theory has been identified as one of the approaches to provide guarantees. In general, self-adaptation covers a wide range of approaches to maintain system requirements under uncertainty, ranging from dynamic adaptation of system parameters to runtime architectural reconfiguration. Existing control-theoretic approaches have mainly focused on handling requirements in the form of setpoint values or as quantities to be optimized. Furthermore, existing research primarily focuses on handling uncertainty in the execution environment. This article presents SimCA*, which provides two contributions to the state-of-the-art in control-theoretic adaptation: (i) it supports requirements that keep a value above and below a required threshold, in addition to setpoint and optimization requirements; and (ii) it deals with uncertainty in system parameters, component interactions, system requirements, in addition to uncertainty in the environment. SimCA* provides guarantees for the three types of requirements of the system that is subject to different types of uncertainties. We evaluate SimCA* for two systems with strict requirements from different domains: an Unmanned Underwater Vehicle system used for oceanic surveillance and an Internet of Things application for monitoring a geographical area. The test results confirm that SimCA* can satisfy the three types of requirements in the presence of different types of uncertainty.
|
|
| 12. |
- 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.
|
|
| 13. |
- Weyns, Danny, et al.
(författare)
-
Providing Assurances for Self-Adaptation in a Mobile Digital Storytelling Application Using ActivFORMS
- 2014
-
Ingår i: 2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems (SASO). - : IEEE conference proceedings. - 9781479953677 ; , s. 110-119
-
Konferensbidrag (refereegranskat)abstract
- Self-adaptability enables a system to adapt itself tochanges in its execution conditions and user requirements in orderto achieve particular quality goals. However, assuring that theadaptation goals are satisfied poses complex challenges. Werecently developed the ActivFORMS approach that aims to tacklesome of these challenges, but further research is required toevaluate the approach. This paper presents the results of a study inwhich we applied ActivFORMS to a mobile storytelling applicationthat employs a social recommender. The initial version of theapplication used a static recommender that could not deal withchanging environment conditions, or take into account preferencesof users. To that end, we added a self-adaptive layer on top of theapplication. The study results show that self-adaptationsignificantly increases the quality of recommendations comparedto the initial version by: (1) enabling the social recommender toadapt to the quality of user input and unavailability of the GPSservice, and (2) making the recommender adaptive to userpreferences. Providing guarantees for these adaptation goals iscrucial in this domain from a business perspective. The studyresults show the feasibility and effectiveness of ActivFORMS for apractical application; but they also underpin the need for anintegrated verification approach for self-adaptive systems thatcombines offline with online verification.
|
|
