Context: Software architecture (SA) as research area experienced an increase in empirical
research, as identified by Galster and Weyns in 2016 [1]. Empirical research builds a sound …

Almost without exception, cyber-physical systems operate alongside, for the benefit of, and
supported by humans. Unsurprisingly, disregarding their social aspects during development …

We present a work-in-progress approach to improving driver attentiveness in cars provided
with automated driving systems. The approach is based on a control loop that monitors the …

We present a new method for the accurate analysis of the quality-of-service (QoS) properties
of component-based systems. Our method takes as input a QoS property of interest and a …

The success of processes executed in uncertain and changing environments is reliant on
the dependable use of relevant information to support continuous planning at runtime. At the …

The dynamic nature of complex Cyber-Physical Systems (CPS) introduces new research
challenges since they need to smartly deal with changing situations in their environment …

Sources of temporal uncertainty affect the duration and start time of robot actions during
execution. For example, mobile robots may slip on uneven terrain, slowing them down. The …

Operational processes are at the core of many organisations. The failure and misuse of
these processes can cause significant economic losses to businesses or, in the worst cases …

Probabilistic models play an important role in many fields such as distributed systems and
simulations. Like non-probabilistic systems, they can be synthesized using classical …

In recent times, our reliance on software and software-controlled systems has drastically
increased, as has the impact of failures in the operation of these systems. To guarantee the …