Synthesis and Verification of Self-aware Computing Systems
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
- Radu Constantin Calinescu
- Marco Autili
- Javier Cámara
- Antinisca Di Marco
- Simos Gerasimou
- Paola Inverardi
- Alexander Perucci
- Nils Jansen
- Joost-Pieter Katoen
- Marta Kwiatkowska
- Ole J Mengshoel
- Romina Spalazzese
- Massimo Tivoli
Title of host publication | Self-Aware Computing Systems |
---|
Date | Published - 2017 |
---|
Pages | 337-373 |
---|
Number of pages | 37 |
---|
Publisher | SPRINGER |
---|
Original language | English |
---|
ISBN (Print) | 9783319474724 |
---|
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.
Discover related content
Find related publications, people, projects, datasets and more using interactive charts.
View graph of relations