Synthesis and Verification of Self-aware Computing Systems

DSpace Repository

Synthesis and Verification of Self-aware Computing Systems

Details

Files for download

Find Full text There are no files associated with this item..

Overview of item record
Publication BookChapter
Title Synthesis and Verification of Self-aware Computing Systems
Author Calinescu, Radu ; Autili, Marco ; Camara, Javier ; Di Marco, Antinisca ; Inverardi, Paola ; Jansen, N. ; Katoen, J P ; Kwiatkowska, Marta ; Mengshoel, O J ; Spalazzese, Romina ; Tivoli, Massimo ; Gerasimou, Simos ; Perucci, Alexander
Editor Kounev, Samuel ; Kephart, Jeffrey O. ; Milenkoski, Aleksandar ; Zhu, Xiaoyun
Date 2017
English abstract
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.
DOI https://doi.org/10.1007/978-3-319-47474-8_11 (link to publisher's fulltext)
Link https://link.springer.com/chapter/10.1007%2F978-3-... (external link to publication)
Publisher Springer
Host/Issue Self-aware Computing Systems
ISBN 978-3-319-47472-4
Pages 337-373
Language eng (iso)
Subject Technology
Research Subject Categories::TECHNOLOGY
Handle http://hdl.handle.net/2043/24129 Permalink to this page
Buy print http://www.bokfynd.nu/...978-3-319-47472-4 (Search for reseller)
Facebook

This item appears in the following Collection(s)

Details

Search


Browse

My Account

Statistics