Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees

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.

Hoffmann, HenryUniversity of Chicago (författare)
Maggio, MartinaLund University,Lunds universitet(Swepub:lu)cont-mmo (författare)
Assmann, Uwe (redaktör/utgivare)
Demuth, Birgit (redaktör/utgivare)
Spitta, Thorsten (redaktör/utgivare)
Puschel, Georg (redaktör/utgivare)
Kaiser, Ronny (redaktör/utgivare)
University of StuttgartUniversity of Chicago (creator_code:org_t)

Ingår i: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-MAWP-239, s. 112-1131617-54689783885796336

Av författaren/redakt...: Filieri, Antonio; Hoffmann, Henry; Maggio, Martina; Assmann, Uwe; Demuth, Birgit; Spitta, Thorsten; visa fler...; Puschel, Georg; Kaiser, Ronny; visa färre...

Om ämnet

TEKNIK OCH TEKNOLOGIER: TEKNIK OCH TEKNO ...; och Elektroteknik oc ...; och Reglerteknik

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.