A rigorous formalization of desired system requirements is indispensable when performing
any verification task. This often limits the application of verification techniques, as writing …

Service-based systems that are dynamically composed at runtime to provide complex,
adaptive functionality are currently one of the main development paradigms in software …

Requirements should specify expectations on a software system and testing should ensure
these expectations are met. Thus, to enable high product quality and efficient development it …

Designing software systems that have to deal with dynamic operating conditions, such as
changing availability of resources and faults that are difficult to predict, is complex. A …

Formal methods offer an effective means to assert the correctness of software systems
through mathematical reasoning. However, the need to formulate system properties in a …

The process of scaling microservices is a challenging task, especially in maintaining
optimum resource provisioning while respecting QoS constraints and SLA. Many research …

This paper presents a component-based modelling approach to system-software co-
engineering of real-time embedded systems, in particular aerospace systems. Our method is …

Mobile and general-purpose robots increasingly support everyday life, requiring
dependable robotics control software. Creating such software mainly amounts to …

For embedded systems quality requirements are equally if not even more important than
functional requirements. The foundation for the fulfillment of these quality requirements has …

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