Developing a Reusable Control-Based Approach to Build Self-Adaptive Software Systems with Formal Guarantees
2016 (English)In: FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING / [ed] Zimmermann, T; ClelandHuang, J; Su, Z, 2016, 1060-1062 p.Conference paper (Refereed)
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.
Place, publisher, year, edition, pages
2016. 1060-1062 p.
control theory, software, self-adaptive, guarantees
Research subject Computer Science, Software Technology
IdentifiersURN: urn:nbn:se:lnu:diva-60256DOI: 10.1145/2950290.2983949ISI: 000391133400111ISBN: 978-1-4503-4218-6 (print)OAI: oai:DiVA.org:lnu-60256DiVA: diva2:1068955
24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), NOV 13-18, 2016, Seattle, WA