By the same authors

Synthesis and Verification of Self-aware Computing Systems

Research output: Chapter in Book/Report/Conference proceedingChapter (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


Publication details

Title of host publicationSelf-Aware Computing Systems
DatePublished - 2017
Number of pages37
Original languageEnglish
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