ACSOS 2021
Mon 27 September - Fri 1 October 2021 Washington, DC, United States

The ability for programs and systems to adapt at runtime, seamlessly and without any apparent interruption, allows a program to adjust its behavior to its context. This is increasingly desirable as (i) system complexity increases, making it hard to predict the best combinations of behavior at design-time, and (ii) uncertainty of deployment environments persists – where no single algorithm or architecture is ideal in all conditions. 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 the self-adaptive systems using hot-swapping remain largely untrusted for large-scale production use. In this context we study three research questions: (i) what is the general soundness principle for self-adaptive systems? (ii) how can we embed this soundness principle in a general-purpose programming language; and (iii) what are the operational costs of that language in upholding soundness for self-adaptive systems? 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 inherently guaranteed.

Thu 30 Sep

Displayed time zone: Eastern Time (US & Canada) change

11:45 - 12:40
Languages, formal methods, and assurances for Autonomic and Self-Organizing SystemsMain Track at AUDITORIUM 2
Chair(s): Roberto Casadei University of Bologna, Italy
11:45
25m
Paper
Runtime Equilibrium Verification for Resilient Cyber-Physical Systems
Main Track
Matteo Camilli Free University of Bozen-Bolzano, Raffaela Mirandola Politecnico di Milano, Patrizia Scandurra University of Bergamo, Italy
12:10
15m
Short-paper
A Programming Language for Sound Self-Adaptive Systems
Main Track
Barry Porter Lancaster University, Roberto Vito Rodrigues Filho Federal University of Goiás
Media Attached
12:25
15m
Vision and Emerging Results
Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns
Main Track
Ricardo Caldas Chalmers, Razan Ghzouli Chalmers University of Technology & University of Gothenburg, Alessandro Vittorio Papadopoulos Mälardalen University, Patrizio Pelliccione Gran Sasso Science Institute (GSSI) and Chalmers | University of Gothenburg, Danny Weyns KU Leuven, Thorsten Berger Chalmers | University of Gothenburg
Pre-print