When the requirements for adaptation and high integrity meet

Radu Calinescu*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference publication

Abstract

Two classes of software that are notoriously difficult to develop on their own are rapidly merging into one. This will affect every key service that we rely upon in modern society, yet a successful merge is unlikely to be achievable using software development techniques specific to either class. This paper explains the growing demand for software capable of both self-adaptation and high integrity, and advocates the use of a collection of "@runtime" techniques for its development, operation and management. We summarise early research into the development of such techniques, and discuss the remaining work required to overcome the great challenge of self-adaptive high-integrity software.

Original languageEnglish
Title of host publicationASAS'11 - Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems
Place of PublicationNew York, NY (US)
PublisherACM
Pages1-4
Number of pages4
ISBN (Print)978-1-4503-0853-3
DOIs
Publication statusPublished - 4 Sep 2011
Event8th Workshop on Assurances for Self-Adaptive Systems - Szeged, Hungary
Duration: 4 Sep 20114 Sep 2011

Workshop

Workshop8th Workshop on Assurances for Self-Adaptive Systems
Abbreviated titleASAS'11
CountryHungary
CitySzeged
Period4/09/114/09/11

Keywords

  • high-integrity software
  • model checking
  • self-adaptive software

Fingerprint Dive into the research topics of 'When the requirements for adaptation and high integrity meet'. Together they form a unique fingerprint.

Cite this