Search: onr:"swepub:oai:DiVA.org:mau-10461" >
Synthesis and Verif...
Synthesis and Verification of Self-aware Computing Systems
-
- Calinescu, Radu (author)
- University of York, York, United Kingdom
-
- Autili, Marco (author)
- University of L'Aquila, L'Aquila, Italy
-
- Camara, Javier (author)
- Carnegie Mellon University, Pittsburgh, PA, United States
-
show more...
-
- Di Marco, Antinisca (author)
- University of L'Aquila, L'Aquila, Italy
-
- Gerasimou, Simos (author)
- University of York, York, United Kingdom
-
- Inverardi, Paola (author)
- University of L'Aquila, L'Aquila, Italy
-
- Perucci, Alexander (author)
- University of L'Aquila, L'Aquila, Italy
-
- Jansen, N. (author)
- University of Texas at Austin, Austin, TX, United States
-
- Katoen, J P (author)
- RWTH Aachen University, Aachen, Germany
-
- Kwiatkowska, Marta (author)
- University of Oxford, Oxford, United Kingdom
-
- Mengshoel, O J (author)
- Carnegie Mellon University, Pittsburgh, PA, United States
-
- Spalazzese, Romina (author)
- Malmö högskola,Fakulteten för teknik och samhälle (TS)
-
- Tivoli, Massimo (author)
- University of L'Aquila, L'Aquila, Italy
-
show less...
-
(creator_code:org_t)
- 2017-01-24
- 2017
- English.
-
In: Self-aware Computing Systems. - Cham : Springer. - 9783319474724 ; , s. 337-373
- Related links:
-
https://link.springe...
-
show more...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- Self-aware computing systems are envisaged to exploit the knowledge of their own software architecture, hardware infrastructure and environment in order to follow high-level goals through proactively adapting as their environment evolves. This chapter describes two classes of key enabling techniques for self-adaptive systems: automated synthesis and formal verification. The ability to dynamically synthesize component connectors and compositions underpins the proactive adaptation of the architecture of self-aware systems. Deciding when adaptation is needed and selecting valid new architectures or parameters for self-aware systems often requires formal verification. We present the state of the art in the use of the two techniques for the development of self-aware computing systems and summarize the main research challenges associated with their adoption in practice.
Publication and Content Type
- vet (subject category)
- kap (subject category)
Find in a library
To the university's database
- By the author/editor
-
Calinescu, Radu
-
Autili, Marco
-
Camara, Javier
-
Di Marco, Antini ...
-
Gerasimou, Simos
-
Inverardi, Paola
-
show more...
-
Perucci, Alexand ...
-
Jansen, N.
-
Katoen, J P
-
Kwiatkowska, Mar ...
-
Mengshoel, O J
-
Spalazzese, Romi ...
-
Tivoli, Massimo
-
show less...
- Articles in the publication
-
Self-aware Compu ...
- By the university
-
Malmö University