SEAMS 2024
Mon 15 - Tue 16 April 2024 Lisbon, Portugal
co-located with ICSE 2024

Self-healing systems depend on following a set of predefined instructions to recover from a known failure state. Failure states are generally detected based on domain specific specialized metrics. Failure fixes are applied at predefined application hooks that are not sufficiently expressive to manage different failure types. Self-healing is usually applied in the context of distributed systems, where the detection of failures is constrained to communication problems, and resolution strategies often consist of replacing complete components. However, current complex systems may reach failure states at a fine granularity not anticipated by developers (for example, value range changes for data streaming in IoT systems), making them unsuitable for existing self-healing techniques. To counter these problems, in this paper we propose a new self-healing framework that learns recovery strategies for healing fine-grained system behavior at run time. Our proposal targets complex reactive systems, defining monitors as predicates specifying satisfiability conditions of system properties. Such monitors are functionally expressive and can be defined at run time to detect failure states at any execution point. Once failure states are detected, we use a Reinforcement Learning-based technique to learn a recovery strategy based on users’ (or operators’) corrective sequences. Finally, to execute the learned strategies, we extract them as COP variations that activate dynamically whenever the failure state is detected, overwriting the base system behavior with the recovery strategy for that state. We validate the feasibility and effectiveness of our framework through a prototypical reactive application for tracking mouse movements, and the DeltaIoT exemplar for self-healing systems. Our results demonstrate that with just the definition of monitors, the system is indeed able to recover from failure states without a predefined strategy.

Tue 16 Apr

Displayed time zone: Lisbon change

11:00 - 12:30
Session 6: Self-Recovery & Evaluation Research Track / Artifact Track at Luis de Freitas Branco
Chair(s): Dalal Alrajeh Imperial College London
11:00
25m
Talk
Raft Protocol for Fault Tolerance and Self-Recovery in Federated LearningFULL
Research Track
Rustem Dautov SINTEF, Erik Johannes Husom SINTEF Digital
11:25
25m
Talk
Integrating Graceful Degradation and Recovery through Requirement-driven AdaptationFULL
Research Track
Simon Chu Carnegie Mellon University, Justin Koe The Cooper Union, David Garlan Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University
11:50
25m
Talk
Learning Recovery Strategies for Dynamic Self-healing in Reactive SystemsFULL
Research Track
Mateo Sanabria Universidad de los Andes, Ivana Dusparic Trinity College Dublin, Ireland, Nicolás Cardozo Universidad de los Andes
Pre-print
12:15
15m
Talk
SWITCH: An Exemplar for Evaluating Self-Adaptive ML-Enabled SystemsARTIFACT
Artifact Track
Arya Marda IIIT Hyderabad, Shubham Kulkarni IIIT Hyderabad, Karthik Vaidhyanathan IIIT Hyderabad
Pre-print Media Attached