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
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
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
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