Home > Research > Publications & Outputs > A Programming Language for Sound Self-Adaptive ...

Electronic data

  • main

    Accepted author manuscript, 224 KB, PDF document

    Available under license: CC BY-NC: Creative Commons Attribution-NonCommercial 4.0 International License

Links

Text available via DOI:

View graph of relations

A Programming Language for Sound Self-Adaptive Systems

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published
Publication date1/10/2021
Host publication2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)
PublisherIEEE
Pages145-150
Number of pages6
ISBN (Electronic) 9781665412612
<mark>Original language</mark>English
Event2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS) - Washington, United States
Duration: 27/09/20211/10/2021
https://www.computer.org/csdl/proceedings/acsos/2021/1zUZaFf4jkI

Conference

Conference2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)
Country/TerritoryUnited States
CityWashington
Period27/09/211/10/21
Internet address

Conference

Conference2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)
Country/TerritoryUnited States
CityWashington
Period27/09/211/10/21
Internet address

Abstract

The ability for systems to adapt at runtime by hot-swapping their logic, seamlessly and without any apparent interruption, allows a program to adjust its behavior to its context. Research in adaptive systems support has to date focused on the basic mechanics of hot-swapping code at runtime, with the soundness of a system after each hot-swap left to the developer to assure on a case-by-case basis. Providing this assurance in existing programming languages is sufficiently difficult that self-adaptive systems using hot-swapping remain largely untrusted for production use. In this context we study two research questions: (i) what is the general soundness principle for self-adaptive systems; and (ii) how can we embed this soundness principle in a general-purpose programming language? We answer these questions partly by theoretical analysis, and partly through developing a novel general-purpose programming language which embeds our soundness principle -- allowing any module to be hot-swapped with the soundness of the wider system guaranteed.