Book section
Synthesis and verification of delf-aware computing systems
- 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.
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Preview, Accepted manuscript, pdf, 1.6MB, Terms of use)
-
- Publisher copy:
- 10.1007/978-3-319-47474-8_11
Authors
- Publisher:
- Springer
- Host title:
- Self-Aware Computing Systems
- Pages:
- 337-373
- Publication date:
- 2017-01-24
- DOI:
- ISBN:
- 9783319474724
- Keywords:
- Pubs id:
-
pubs:685559
- UUID:
-
uuid:f189c0fd-183e-4286-a890-80bb74e9efa5
- Local pid:
-
pubs:685559
- Source identifiers:
-
685559
- Deposit date:
-
2017-03-14
- ARK identifier:
Terms of use
- Copyright holder:
- Springer International Publishing
- Copyright date:
- 2017
- Notes:
- © Springer International Publishing AG 2017. This is the accepted manuscript version of the chapter. The final version is available online from Springer at: https://doi.org/10.1007/978-3-319-47474-8_11
If you are the owner of this record, you can report an update to it here: Report update to this record