Given the increasingly complex and mixed-criticality nature of modern embedded systems,
virtualization emerges as a natural solution to achieve strong spatial and temporal isolation …

In this paper, we aim to understand the properties and guarantees of static partitioning
hypervisors (SPH) for Arm-based mixed-criticality systems (MCS). To this end, we performed …

This article describes the first public implementation and evaluation of the latest version of
the RISC-V hypervisor extension (H-extension v0. 6.1) specification in a Rocket chip core …

This survey reviews the scientific literature on techniques for reducing interference in real-
time multicore systems, focusing on the approaches proposed between 2015 and 2020. It …

Motivated by the increasing number of embedded applications that make use of traffic‐
intensive I/O devices, this work studies the memory contention generated by I/O devices and …

Abstract Multiprocessor Systems-on-Chip (MPSoC) integrating hard processing cores with
programmable logic (PL) are becoming increasingly common. While these platforms have …

The proliferation of multi-core, accelerator-enabled embedded systems has introduced new
opportunities to consolidate real-time systems of increasing complexity. But the road to build …

An uncertain graph (also known as probabilistic graph) is a generic model to represent
many real-world networks from social to biological. In recent times, analysis and mining of …

Temporal isolation is one of the most significant challenges that must be addressed before
Multi-Processor Systems-on-Chip (MPSoCs) can be widely adopted in mixed-criticality …

With the emergence of the Industry 4.0 paradigm, there is a need to introduce a significant
degree of flexibility, security and resilience in automation infrastructures, while keeping up …