Sökning: onr:"swepub:oai:DiVA.org:mau-10461" >
Synthesis and Verif...
Synthesis and Verification of Self-aware Computing Systems
-
- Calinescu, Radu (författare)
- University of York, York, United Kingdom
-
- Autili, Marco (författare)
- University of L'Aquila, L'Aquila, Italy
-
- Camara, Javier (författare)
- Carnegie Mellon University, Pittsburgh, PA, United States
-
visa fler...
-
- Di Marco, Antinisca (författare)
- University of L'Aquila, L'Aquila, Italy
-
- Gerasimou, Simos (författare)
- University of York, York, United Kingdom
-
- Inverardi, Paola (författare)
- University of L'Aquila, L'Aquila, Italy
-
- Perucci, Alexander (författare)
- University of L'Aquila, L'Aquila, Italy
-
- Jansen, N. (författare)
- University of Texas at Austin, Austin, TX, United States
-
- Katoen, J P (författare)
- RWTH Aachen University, Aachen, Germany
-
- Kwiatkowska, Marta (författare)
- University of Oxford, Oxford, United Kingdom
-
- Mengshoel, O J (författare)
- Carnegie Mellon University, Pittsburgh, PA, United States
-
- Spalazzese, Romina (författare)
- Malmö högskola,Fakulteten för teknik och samhälle (TS)
-
- Tivoli, Massimo (författare)
- University of L'Aquila, L'Aquila, Italy
-
visa färre...
-
(creator_code:org_t)
- 2017-01-24
- 2017
- Engelska.
-
Ingår i: Self-aware Computing Systems. - Cham : Springer. - 9783319474724 ; , s. 337-373
- Relaterad länk:
-
https://link.springe...
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Publikations- och innehållstyp
- vet (ämneskategori)
- kap (ämneskategori)
Hitta via bibliotek
Till lärosätets databas
- Av författaren/redakt...
-
Calinescu, Radu
-
Autili, Marco
-
Camara, Javier
-
Di Marco, Antini ...
-
Gerasimou, Simos
-
Inverardi, Paola
-
visa fler...
-
Perucci, Alexand ...
-
Jansen, N.
-
Katoen, J P
-
Kwiatkowska, Mar ...
-
Mengshoel, O J
-
Spalazzese, Romi ...
-
Tivoli, Massimo
-
visa färre...
- Artiklar i publikationen
-
Self-aware Compu ...
- Av lärosätet
-
Malmö universitet