A survey on engineering approaches for self-adaptive systems
The complexity of information systems is increasing in recent years, leading to increased
effort for maintenance and configuration. Self-adaptive systems (SASs) address this issue …
effort for maintenance and configuration. Self-adaptive systems (SASs) address this issue …
Self-X Characterization of Autonomous Systems: A Systematic Literature Review
I Miadowicz, D Maldonado Quinto, M Felderer - ACM Computing Surveys, 2024 - elib.dlr.de
Autonomous systems are being discussed increasingly as a next-level system paradigm
after automated systems. Although the vision of autonomous systems seems to be on the …
after automated systems. Although the vision of autonomous systems seems to be on the …
A conceptual framework for adaptation
In this position paper we present a conceptual vision of adaptation, a key feature of
autonomic systems. We put some stress on the role of control data and argue how some of …
autonomic systems. We put some stress on the role of control data and argue how some of …
A case study on formal verification of self-adaptive behaviors in a decentralized system
MU Iftikhar, D Weyns - arXiv preprint arXiv:1208.4635, 2012 - arxiv.org
Self-adaptation is a promising approach to manage the complexity of modern software
systems. A self-adaptive system is able to adapt autonomously to internal dynamics and …
systems. A self-adaptive system is able to adapt autonomously to internal dynamics and …
Adam: Causality-Based Synthesis of Distributed Systems
We present Adam, a tool for the automatic synthesis of distributed systems with multiple
concurrent processes. For each process, an individual controller is synthesized that acts on …
concurrent processes. For each process, an individual controller is synthesized that acts on …
From features to roles
P Chrszon, C Baier, C Dubslaff… - Proceedings of the 24th …, 2020 - dl.acm.org
The detection of interactions is a challenging task present in almost all stages of software
development. In feature-oriented system design, this task is mainly investigated for …
development. In feature-oriented system design, this task is mainly investigated for …
Specifying and verifying real-time self-adaptive systems
M Camilli, A Gargantini… - 2015 IEEE 26th …, 2015 - ieeexplore.ieee.org
Self-adaptive systems autonomously adapt their behavior at run-time to react to internal
dynamics and to uncertain and changing environment conditions. Specification and …
dynamics and to uncertain and changing environment conditions. Specification and …
Optimal mapping of joint faults into healthy joint velocity space for fault-tolerant redundant manipulators
Self-reconfiguration of robotic manipulators under joint failure can be achieved via fault-
tolerance strategies. Fault-tolerant manipulators are required to continue their end-effector …
tolerance strategies. Fault-tolerant manipulators are required to continue their end-effector …
Interaction detection in configurable systems–A formal approach featuring roles
P Chrszon, C Baier, C Dubslaff… - Journal of Systems and …, 2023 - Elsevier
Modern software systems are increasingly complex due to their configurability and
adaptivity. For modeling and implementing such systems, the concept of roles is particularly …
adaptivity. For modeling and implementing such systems, the concept of roles is particularly …
Model driven development with mechatronic UML
W Schafer - 2008 IEEE Symposium on Visual Languages and …, 2008 - ieeexplore.ieee.org
We address these challenges by the model-driven mechatronic UML development approach
which combines domain specific modeling and refinement techniques with verification …
which combines domain specific modeling and refinement techniques with verification …