Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their
formal specification and verification uniquely challenging. Though commonly used, testing …

One major challenge in self-adaptive systems is to assure the required quality properties.
Formal methods provide the means to rigorously specify and reason about the behaviors of …

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 …

This paper gives an outlook on the potential use of mobile assistive robots in automotive
logistics and assembly applications. Motivated by the rising mass customization and the …

Various trends such as mobility of devices, Cloud Computing, or Cyber-Physical Systems
lead to a higher degree of distribution. These systems-of-systems need to be integrated. The …

The characteristics of self-adaptive, self-organizing systems lead to a significant higher
flexibility and robustness against a changing environment. This flexibility makes it hard to …

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 …

Self-adaptive avionics are capable to significantly reduce development effort, but require a
realignment of the safety process to account for their dynamic, not predetermined …

The development of self-adaptive software requires the engineering of an adaptation engine
that controls the underlying adaptable software by a feedback loop. State-of-the-art …

We provide a systematic approach for testing self-organization (SO) algorithms. The main
challenges for such a testing domain are the strongly ramified state space, the possible error …