Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees
(2015) Software Engineering and Management 2015: Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW - Software Engineering and Management 2015: Multiconference of the GI Special Interest Groups Software Engineering (SWT) and Information Systems (WI), FA WI-MAW In Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) P-239. p.112-113- Abstract
Self-adaptation enables software to execute successfully in dynamic, unpredictable, and uncertain environments. However, most of the current approaches lack formal guarantees on the effectiveness and dependability of the adaptation mechanisms, limiting their applicability in practice. Control theory established a broad set of mathematically grounded techniques for the control of dynamic systems for several engineering fields. While control shares self-evident similarities with software adaptation, modeling software behavior as a system of differential or difference equations is not straightforward, nor is mastering the mathematical background needed for synthesizing a suitable controller. In this paper we focus on the automatic modeling... (More)
Self-adaptation enables software to execute successfully in dynamic, unpredictable, and uncertain environments. However, most of the current approaches lack formal guarantees on the effectiveness and dependability of the adaptation mechanisms, limiting their applicability in practice. Control theory established a broad set of mathematically grounded techniques for the control of dynamic systems for several engineering fields. While control shares self-evident similarities with software adaptation, modeling software behavior as a system of differential or difference equations is not straightforward, nor is mastering the mathematical background needed for synthesizing a suitable controller. In this paper we focus on the automatic modeling and controller synthesis for systems with a single knob affecting the satisfaction of a quantitative requirements. Effectiveness and performance of the controller are guaranteed by construction. The approach is fully automated and implemented in several programming languages, empowering non-experts with the ability of applying control principles to a wide range of software adaptation problems.
(Less)
- author
- Filieri, Antonio ; Hoffmann, Henry and Maggio, Martina LU
- organization
- publishing date
- 2015
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- host publication
- Software Engineering and Management 2015 : Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW - Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW
- series title
- Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)
- editor
- Assmann, Uwe ; Demuth, Birgit ; Spitta, Thorsten ; Puschel, Georg and Kaiser, Ronny
- volume
- P-239
- pages
- 2 pages
- publisher
- Gesellschaft fur Informatik
- conference name
- Software Engineering and Management 2015: Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW - Software Engineering and Management 2015: Multiconference of the GI Special Interest Groups Software Engineering (SWT) and Information Systems (WI), FA WI-MAW
- conference location
- Dresden, Germany
- conference dates
- 2015-03-17 - 2015-03-20
- external identifiers
-
- scopus:85130187473
- ISSN
- 1617-5468
- ISBN
- 9783885796336
- language
- English
- LU publication?
- yes
- additional info
- Publisher Copyright: © 2015 Gesellschaft fur Informatik (GI). All rights reserved.
- id
- 0fa68348-435b-4d36-bf57-ce9d762c6d13
- date added to LUP
- 2023-10-31 09:15:08
- date last changed
- 2023-11-16 15:46:37
@inproceedings{0fa68348-435b-4d36-bf57-ce9d762c6d13, abstract = {{<p>Self-adaptation enables software to execute successfully in dynamic, unpredictable, and uncertain environments. However, most of the current approaches lack formal guarantees on the effectiveness and dependability of the adaptation mechanisms, limiting their applicability in practice. Control theory established a broad set of mathematically grounded techniques for the control of dynamic systems for several engineering fields. While control shares self-evident similarities with software adaptation, modeling software behavior as a system of differential or difference equations is not straightforward, nor is mastering the mathematical background needed for synthesizing a suitable controller. In this paper we focus on the automatic modeling and controller synthesis for systems with a single knob affecting the satisfaction of a quantitative requirements. Effectiveness and performance of the controller are guaranteed by construction. The approach is fully automated and implemented in several programming languages, empowering non-experts with the ability of applying control principles to a wide range of software adaptation problems.</p>}}, author = {{Filieri, Antonio and Hoffmann, Henry and Maggio, Martina}}, booktitle = {{Software Engineering and Management 2015 : Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW}}, editor = {{Assmann, Uwe and Demuth, Birgit and Spitta, Thorsten and Puschel, Georg and Kaiser, Ronny}}, isbn = {{9783885796336}}, issn = {{1617-5468}}, language = {{eng}}, pages = {{112--113}}, publisher = {{Gesellschaft fur Informatik}}, series = {{Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)}}, title = {{Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees}}, volume = {{P-239}}, year = {{2015}}, }