WFRF:(Di Paola J)
Sökning: WFRF:(Di Paola J) > (2015-2019) > Synthesis and Verif...
- 5 av 5
- Föregående post
- Nästa post
- Till träfflistan
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...
- 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
- Bokkapitel (övrigt vetenskapligt/konstnärligt)
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
- Self-aware Computing Systems (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
- 5 av 5
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- 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
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
