Malmö University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Synthesis and Verification of Self-aware Computing Systems
University of York, York, United Kingdom.
University of L'Aquila, L'Aquila, Italy.
Carnegie Mellon University, Pittsburgh, PA, United States.
University of L'Aquila, L'Aquila, Italy.
Show others and affiliations
2017 (English)In: Self-aware Computing Systems / [ed] Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, Springer, 2017, p. 337-373Chapter in book (Other academic)
Abstract [en]

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.

Place, publisher, year, edition, pages
Springer, 2017. p. 337-373
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mau:diva-10461DOI: 10.1007/978-3-319-47474-8_11Scopus ID: 2-s2.0-85041239359Local ID: 24129ISBN: 978-3-319-47472-4 (print)OAI: oai:DiVA.org:mau-10461DiVA, id: diva2:1407493
Available from: 2020-02-28 Created: 2020-02-28 Last updated: 2024-06-17Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopushttps://link.springer.com/chapter/10.1007%2F978-3-319-47474-8_11

Authority records

Spalazzese, Romina

Search in DiVA

By author/editor
Spalazzese, Romina
By organisation
Faculty of Technology and Society (TS)
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 40 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf