Recently, contract-based design has been proposed as an “orthogonal” approach that
complements system design methodologies proposed so far to cope with the complexity of …

Embedded devices are becoming increasingly pervasive in safety-critical systems of the
emerging cyber-physical world. While trusted execution environments (TEEs), such as ARM …

In recent years, there has been a growing interest in supporting component-based software
development of complex real-time embedded systems. Techniques such as machine …

Graphics Processing Units (GPU) are increasingly deployed on Cyber-physical Systems
(CPSs), frequently used to perform real-time safety-critical functions, such as object …

Virtualization has made feasible the full isolation of virtual machines (VMs) among each
other. When applications running within VMs have real-time constraints, threads …

Modern real-time virtual machines and containers are starting to make it possible to support
the execution of real-time applications in virtualized environments. Real-time scheduling …

Real-time virtualization is currently a hot topic, and there is much ongoing research on real-
time Virtual Machines and hypervisors. However, most of the previous research focused …

This paper contains two contributions: 1) A development methodology involving two
techniques to enhance the resource utilization and 2) a new generic multi-core resource …

Real-time virtualization is an emerging technology for embedded systems integration and
latency-sensitive cloud applications. Earlier real-time virtualization platforms require offline …

Over the years, schedulability of Cyber-Physical Systems (CPS) has mainly been performed
by analytical methods. These techniques are known to be effective but limited to a few …