Software engineering meets control theory
File(s)2015-seams.pdf (497.27 KB)
Accepted version
Author(s)
Type
Conference Paper
Abstract
The software engineering community has proposed numerous approaches for making software self-adaptive. These approaches take inspiration from machine learning and control theory, constructing software that monitors and modifies its own behavior to meet goals. Control theory, in particular, has received considerable attention as it represents a general methodology for creating adaptive systems. Control-theoretical software implementations, however, tend to be ad hoc. While such solutions often work in practice, it is difficult to understand and reason about the desired properties and behavior of the resulting adaptive software and its controller. This paper discusses a control design process for software systems which enables automatic analysis and synthesis of a controller that is guaranteed to have the desired properties and behavior. The paper documents the process and illustrates its use in an example that walks through all necessary steps for self-adaptive controller synthesis.
Date Issued
2015-05-18
Online Publication Date
2015-05-18
2016-06-02T12:15:44Z
Date Acceptance
2015-05-18
ISSN
2157-2305
Publisher
IEEE
Start Page
71
End Page
82
Journal / Book Title
Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Copyright Statement
© 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Source Database
manual-entry
Source
10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Publication Status
Published
Start Date
2015-05-18
Finish Date
2015-05-19
Country
Florence, Italy