Titre :

Software Engineering Meets Control Theory

Auteur(s) :

Filieri, Antonio [Auteur]
University of Stuttgart
Maggio, Martina [Auteur]
Skane University Hospital [Lund]
Angelopoulos, Konstantinos [Auteur]
Università degli Studi di Trento = University of Trento [UNITN]
d'Ippolito, Nicolas [Auteur]
Universidad de Buenos Aires [Buenos Aires] [UBA]
Gerostathopoulos, Ilias [Auteur]
Univerzita Karlova [Praha, Česká republika] = Charles University [Prague, Czech Republic] [UK]
Hempel, Andreas [Auteur]
Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich] [ETH Zürich]
Hoffmann, Henry [Auteur]
University of Chicago
Jamshidi, Pooyan [Auteur]
Dublin City University [Dublin] [DCU]
Kalyvianaki, Evangelia [Auteur]
City University London
Klein, Cristian [Auteur]
Umeå University = Umeå Universitet
Krikava, Filip [Auteur]
Self-adaptation for distributed services and large software systems [SPIRALS]
Misailovic, Sasa [Auteur]
Massachusetts Institute of Technology [MIT]
Papadopoulos, Alessandro [Auteur]
Skane University Hospital [Lund]
Ray, Suprio [Auteur]
University of Toronto
Sharifloo, Amir [Auteur]
Universität Duisburg-Essen = University of Duisburg-Essen [Essen]
Shevtsov, Stepan [Auteur]
Linnaeus University
Ujma, Mateusz [Auteur]
Department of Computer Science [Oxford]
Vogel, Thomas [Auteur]
Hasso Plattner Institute for Software Systems Engineering [HPI]

Titre de la manifestation scientifique :

Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)

Ville :

Firenze

Pays :

Italie

Date de début de la manifestation scientifique :

2015-05-18

Titre de la revue :

Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)

Discipline(s) HAL :

Informatique [cs]/Génie logiciel [cs.SE]
Informatique [cs]/Recherche d'information [cs.IR]

Résumé en anglais : [en]

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 ...
Lire la suite >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.Lire moins >

Langue :

Anglais

Comité de lecture :

Oui

Audience :

Internationale

Vulgarisation :

Non

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL