Sökning: WFRF:(D’ippolito Nicolás)
> (2017) >
Control Strategies ...
Control Strategies for Self-Adaptive Software Systems
-
- Filieri, Antonio (författare)
- Imperial College London, UK
-
- Maggio, Martina (författare)
- Lund University,Lunds universitet,Institutionen för reglerteknik,Institutioner vid LTH,Lunds Tekniska Högskola,Department of Automatic Control,Departments at LTH,Faculty of Engineering, LTH,University of Duisburg-Essen
-
- Angelopoulos, Konstantinos (författare)
- University of Brighton , UK
-
visa fler...
-
- D’ippolito, Nicolás (författare)
- Universidad de Buenos Aires, Argentina Author,Imperial College London
-
- Gerostathopoulos, Ilias (författare)
- Technical University of Munich, Faculty of Informatics, Germany
-
- Hempel, Andreas Berndt (författare)
- ETH Zürich
-
- Hoffmann, Henry (författare)
- University of Chicago, United States
-
- Jamshidi, Pooyan (författare)
- Carnegie Mellon University, United States,Imperial College London
-
- Kalyvianaki, Evangelia (författare)
- University of London, UK,City University of London
-
- Klein, Cristian, 1985- (författare)
- Umeå University
-
- Krikava, Filip (författare)
- Ceske vysoke uceni technicke v Praze, Czech,Czech Technical University in Prague
-
- Misailovic, Sasa (författare)
- University of Illinois at Urbana-Champaign
-
- Papadopoulos, Alessandro (författare)
- Mälardalen University,Mälardalens högskola,Inbyggda system,Mälardalens Högskola,Lund University, Sweden
-
- Ray, Suprio (författare)
- University of New Brunswick, Canada
-
- Sharifloo, Amir M. (författare)
- Universitat Duisburg-Essen, Germany
-
- Shevtsov, Stepan (författare)
- Linnaeus University,Linnéuniversitetet,Institutionen för datavetenskap (DV)
-
- Ujma, Mateusz (författare)
- University of Oxford, UK
-
- Vogel, Thomas (författare)
- Hasso-Plattner-Institut fur Softwaresystemtechnik, Germany,Humboldt University of Berlin
-
visa färre...
-
(creator_code:org_t)
- 2017-02-03
- 2017
- Engelska.
-
Ingår i: ACM Transactions on Autonomous and Adaptive Systems. - : Association for Computing Machinery (ACM). - 1556-4665 .- 1556-4703. ; 11:4
- Relaterad länk:
-
https://zenodo.org/r...
-
visa fler...
-
http://dx.doi.org/10...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
https://urn.kb.se/re...
-
https://lup.lub.lu.s...
-
visa färre...
Abstract
Ämnesord
Stäng
- The pervasiveness and growing complexity of software systems are challenging software engineering to design systems that can adapt their behavior to withstand unpredictable, uncertain, and continuously changing execution environments. Control theoretical adaptation mechanisms have received growing interest from the software engineering community in the last few years for their mathematical grounding, allowing formal guarantees on the behavior of the controlled systems. However, most of these mechanisms are tailored to specific applications and can hardly be generalized into broadly applicable software design and development processes.This article discusses a reference control design process, from goal identification to the verification and validation of the controlled system. A taxonomy of the main control strategies is introduced, analyzing their applicability to software adaptation for both functional and nonfunctional goals. A brief extract on how to deal with uncertainty complements the discussion. Finally, the article highlights a set of open challenges, both for the software engineering and the control theory research communities.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
Nyckelord
- Self-adaptive software
- control theory
- non-functional properties
- formal methods
- Software Technology
- Control theory
- Formal methods
- Non-functional properties
- Self-adaptive software
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas
- Av författaren/redakt...
-
Filieri, Antonio
-
Maggio, Martina
-
Angelopoulos, Ko ...
-
D’ippolito, Nico ...
-
Gerostathopoulos ...
-
Hempel, Andreas ...
-
visa fler...
-
Hoffmann, Henry
-
Jamshidi, Pooyan
-
Kalyvianaki, Eva ...
-
Klein, Cristian, ...
-
Krikava, Filip
-
Misailovic, Sasa
-
Papadopoulos, Al ...
-
Ray, Suprio
-
Sharifloo, Amir ...
-
Shevtsov, Stepan
-
Ujma, Mateusz
-
Vogel, Thomas
-
visa färre...
- Om ämnet
-
- NATURVETENSKAP
-
NATURVETENSKAP
-
och Data och informa ...
-
och Programvarutekni ...
-
- TEKNIK OCH TEKNOLOGIER
-
TEKNIK OCH TEKNO ...
-
och Elektroteknik oc ...
-
och Reglerteknik
-
- TEKNIK OCH TEKNOLOGIER
-
TEKNIK OCH TEKNO ...
-
och Elektroteknik oc ...
-
och Datorsystem
-
- TEKNIK OCH TEKNOLOGIER
-
TEKNIK OCH TEKNO ...
-
och Elektroteknik oc ...
-
och Inbäddad systemt ...
- Artiklar i publikationen
-
ACM Transactions ...
- Av lärosätet
-
Umeå universitet
-
Mälardalens universitet
-
Linnéuniversitetet
-
Lunds universitet