Defining Self-adaptive Systems: A Systematic Literature Review

• URL: http://arxiv.org/abs/2505.17798v1
• Date: Fri, 23 May 2025 12:18:20 GMT
• Title: Defining Self-adaptive Systems: A Systematic Literature Review
• Authors: Ana Petrovska, Guan Erjiage, Stefan Kugele,
• Abstract summary: In the last two decades, the popularity of self-adaptive systems in software and systems engineering has drastically increased.<n>Despite the extensive work on self-adaptive systems, the literature still lacks a common agreement on the definition of these systems.<n>Our systematic review reveals that although there has been an increasing interest in self-adaptive systems over the years, there is a scarcity of efforts to define these systems formally.
• Score: 1.1715858161748571
• License: http://creativecommons.org/licenses/by-nc-sa/4.0/
• Abstract: In the last two decades, the popularity of self-adaptive systems in the field of software and systems engineering has drastically increased. However, despite the extensive work on self-adaptive systems, the literature still lacks a common agreement on the definition of these systems. To this day, the notion of self-adaptive systems is mainly used intuitively without a precise understanding of the terminology. Using terminology only by intuition does not suffice, especially in engineering and science, where a more rigorous definition is necessary. In this paper, we investigate the existing formal definitions of self-adaptive systems and how these systems are characterised across the literature. Additionally, we analyse and summarise the limitations of the existing formal definitions in order to understand why none of the existing formal definitions is used more broadly by the community. To achieve this, we have conducted a systematic literature review in which we have analysed over 1400 papers related to self-adaptive systems. Concretely, from an initial pool of 1493 papers, we have selected 314 relevant papers, which resulted in nine primary studies whose primary objective was to define self-adaptive systems formally. Our systematic review reveals that although there has been an increasing interest in self-adaptive systems over the years, there is a scarcity of efforts to define these systems formally. Finally, as part of this paper, based on the analysed primary studies, we also elicit requirements and set a foundation for a potential (formal) definition in the future that is accepted by the community on a broader range.

Related papers

• The Term 'Agent' Has Been Diluted Beyond Utility and Requires Redefinition [0.40792653193642503]
  The term 'agent' in artificial intelligence has long carried multiple interpretations across different subfields.<n>Recent developments in AI capabilities, particularly in large language model systems, have amplified this ambiguity.<n>We propose a framework that defines clear minimum requirements for a system to be considered an agent.
  arXiv  Detail & Related papers  (2025-08-07T12:40:25Z)
• Behavioural vs. Representational Systematicity in End-to-End Models: An Opinionated Survey [0.9218181299449681]
  A core aspect of compositionality, systematicity is a desirable property in ML models.<n>Existing benchmarks and models primarily focus on the systematicity of behaviour.<n>Building on Hadley's taxonomy of systematic generalization, we analyze the extent to which behavioural systematicity is tested.
  arXiv  Detail & Related papers  (2025-06-04T21:22:38Z)
• A Note on an Inferentialist Approach to Resource Semantics [48.65926948745294]
  'Inferentialism' is the view that meaning is given in terms of inferential behaviour. This paper shows how 'inferentialism' enables a versatile and expressive framework for resource semantics.
  arXiv  Detail & Related papers  (2024-05-10T14:13:21Z)
• Inferentialist Resource Semantics [48.65926948745294]
  This paper shows how inferentialism enables a versatile and expressive framework for resource semantics.<n>How inferentialism seamlessly incorporates the assertion-based approach of the logic of Bunched Implications.<n>This integration enables reasoning about shared and separated resources in intuitive and familiar ways.
  arXiv  Detail & Related papers  (2024-02-14T14:54:36Z)
• A Systems-Theoretical Formalization of Closed Systems [47.99822253865054]
  There is a lack of formalism for some key foundational concepts in systems engineering. One of the most recently acknowledged deficits is the inadequacy of systems engineering practices for intelligent systems.
  arXiv  Detail & Related papers  (2023-11-16T19:01:01Z)
• Towards Formal Fault Injection for Safety Assessment of Automated Systems [0.0]
  This paper introduces formal fault injection, a fusion of these two techniques throughout the development lifecycle. We advocate for a more cohesive approach by identifying five areas of mutual support between formal methods and fault injection.
  arXiv  Detail & Related papers  (2023-11-16T11:34:18Z)
• Formal Methods for Autonomous Systems [21.989467515686858]
  Formal methods have played a key role in establishing the correctness of safety-critical systems. Main building blocks of formal methods are models and specifications. We consider correct-by-construction synthesis under various formulations.
  arXiv  Detail & Related papers  (2023-11-02T14:18:43Z)
• Towards a Definition of Complex Software System [0.25782420501870285]
  We adopt the theory-to-research strategy to extract properties of Complex Systems from research in other fields to create a formal definition of a Complex Software System. Overall, the definition will allow for a more precise, consistent, and rigorous frame of reference for conducting scientific research on software systems.
  arXiv  Detail & Related papers  (2023-06-20T18:22:21Z)
• Awareness requirement and performance management for adaptive systems: a survey [13.406015141662879]
  Self-adaptive software can modify its behavior when the assessment indicates that the program is not performing as intended or when improved functionality or performance is available. This paper presents a review of self-adaptive systems in the context of requirement awareness and summarizes the most common methodologies applied.
  arXiv  Detail & Related papers  (2023-01-22T14:27:11Z)
• A Domain-Agnostic Approach for Characterization of Lifelong Learning Systems [128.63953314853327]
  "Lifelong Learning" systems are capable of 1) Continuous Learning, 2) Transfer and Adaptation, and 3) Scalability. We show that this suite of metrics can inform the development of varied and complex Lifelong Learning systems.
  arXiv  Detail & Related papers  (2023-01-18T21:58:54Z)
• Causal Fairness Analysis [68.12191782657437]
  We introduce a framework for understanding, modeling, and possibly solving issues of fairness in decision-making settings. The main insight of our approach will be to link the quantification of the disparities present on the observed data with the underlying, and often unobserved, collection of causal mechanisms. Our effort culminates in the Fairness Map, which is the first systematic attempt to organize and explain the relationship between different criteria found in the literature.
  arXiv  Detail & Related papers  (2022-07-23T01:06:34Z)
• Learning Physical Concepts in Cyber-Physical Systems: A Case Study [72.74318982275052]
  We provide an overview of the current state of research regarding methods for learning physical concepts in time series data. We also analyze the most important methods from the current state of the art using the example of a three-tank system.
  arXiv  Detail & Related papers  (2021-11-28T14:24:52Z)
• Applying Machine Learning in Self-Adaptive Systems: A Systematic Literature Review [15.953995937484176]
  There is currently no systematic overview of the use of machine learning in self-adaptive systems. We focus on self-adaptive systems that are based on a traditional Monitor-Analyze-Plan-Execute feedback loop (MAPE) The research questions are centred on the problems that motivate the use of machine learning in self-adaptive systems, the key engineering aspects of learning in self-adaptation, and open challenges.
  arXiv  Detail & Related papers  (2021-03-06T13:45:59Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.