The browser you are using is not supported by this website. All versions of Internet Explorer are no longer supported, either by us or Microsoft (read more here: https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Please use a modern browser to fully experience our website, such as the newest versions of Edge, Chrome, Firefox or Safari etc.

Automated Multi-Objective Control for Self-Adaptive Software Design

På svenska

Author

Summary, in English

While software is becoming more complex everyday, the requirements on its behavior are not getting any easier to satisfy. An application should offer a certain quality of service, adapt to the current environmental conditions and withstand runtime variations that were simply unpredictable during the design phase. To tackle this complexity, control theory has been proposed as a technique for managing software’s dynamic behavior, obviating the need for human intervention. Control-theoretical solutions, however, are either tailored for the specific application or do not handle the complexity of multiple interacting components and multiple goals. In this paper, we develop an automated control synthesis methodology that takes, as input, the configurable software components (or knobs) and the goals to be achieved. Our approach automatically constructs a control system that manages the specified knobs and guarantees the goals are met. These claims are backed up by experimental studies on three different software applications, where we show how the proposed automated approach handles the complexity of multiple knobs and objectives.

Publishing year

2015

Language

English

Pages

13-24

Publication/Series

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering

Document type

Conference paper

Publisher

Association for Computing Machinery (ACM)

Topic

  • Control Engineering

Conference name

10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Conference date

2015-08-31

Conference place

Bergamo, Italy

Status

Published

Research group

  • LCCC

ISBN/ISSN/Other

  • ISBN: 978-1-4503-3675-8