FMAS2024 | Dr. Silvia Lizeth Tapia Tarifa - Self-Adaptation in Autonomous Systems

Описание: This is a recording of an invited talk at the Sixth Workshop on Formal Methods for Autonomous Systems (FMAS 2024).

FMAS brings together researchers working on a range of techniques for the formal verification of autonomous systems. Details of FMAS 2024, including the link to the workshop proceedings can be found at: https://fmasworkshop.github.io/FMAS2024/

Abstract: Self-adaptation is a crucial feature of autonomous systems that must cope with uncertainties in, e.g., their environment and their internal state. A self-adaptive system (SAS) can be realised as a multi-layered system, e.g., a two-layered systems that have a separation of concerns between the domain-specific functionalities of the system (the managed subsystem) and the adaptation logic (the managing subsystem), which introduces an external feedback loop for managing adaptation in the system; or as a three-layered system, where the third layer can implement a feedback loop for architectural self-adaptation, which is used to reconfigure the second layer (the adaptation logic of the managing subsystem). In this talk I will present techniques that can capture the SAS’s variability, concretely software product lines, where the managing subsystem of an SAS can be modelled as a control layer capable of dynamically switching between valid configurations of the managed subsystem; and declarative stages in a lifecycle of a system, where we do not require explicit modelling of the transitions between stages in the lifecycles of a system; however, characteristics on an stage can be observed, which after observation may trigger changes in the self-adaptation logic itself.

Biography: Dr Silvia Lizeth Tapia Tarifa is an Associate Professor at the Department of Informatics, University of Oslo. Her main research area in formal methods for parallel and distributed systems.