FSE 2016 All Events

24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016), November 13–18, 2016, Seattle, WA, USA

Desktop Layout

Doctoral Symposium
Seattle 3, Chair: Felienne Hermans, Emerson Murphy-Hill
Developing a Reusable Control-Based Approach to Build Self-Adaptive Software Systems with Formal Guarantees
Stepan Shevtsov
(Linnaeus University, Sweden)
Publisher's Version
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.

Author:


Time stamp: 2019-05-22T16:38:03+02:00