Visible to the public Biblio

Filters: Author is Shevtsov, Stepan  [Clear All Filters]
Shevtsov, Stepan.  2016.  Developing a Reusable Control-based Approach to Build Self-adaptive Software Systems with Formal Guarantees. Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. :1060–1062.

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.