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 …

Modern software applications are subject to uncertain operating conditions, such as
dynamics in the availability of services and variations of system goals. Consequently …

This paper focuses on the challenges of modeling cyber–physical systems (CPSs) that arise
from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It …

Self-adaptation enables software to execute successfully in dynamic, unpredictable, and
uncertain environments. Control theory provides a broad set of mathematically grounded …

Self-adaptation is a first class concern for cloud applications, which should be able to
withstand diverse runtime changes. Variations are simultaneously happening both at the …

Modern software-intensive systems often interact with an environment whose behavior
changes over time, often unpredictably. The occurrence of changes may jeopardize their …

The software engineering community has proposed numerous approaches for making
software self-adaptive. These approaches take inspiration from machine learning and …

The pervasiveness and growing complexity of software systems are challenging software
engineering to design systems that can adapt their behavior to withstand unpredictable …

While software is becoming more complex everyday, the requirements on its behavior are
not getting any easier to satisfy. An application should offer a certain quality of service, adapt …

Engineering the upcoming generation of software systems and guaranteeing the required
qualities is complex due to the inherent uncertainties at design time, such as new user …