Demystifying arm trustzone: A comprehensive survey

S Pinto, N Santos - ACM computing surveys (CSUR), 2019 - dl.acm.org
The world is undergoing an unprecedented technological transformation, evolving into a
state where ubiquitous Internet-enabled “things” will be able to generate and share large …

Virtualizing mixed-criticality systems: A survey on industrial trends and issues

M Cinque, D Cotroneo, L De Simone… - Future Generation …, 2022 - Elsevier
Virtualization is gaining attraction in the industry as it promises a flexible way to integrate,
manage, and re-use heterogeneous software components with mixed-criticality levels, on a …

Bao: A lightweight static partitioning hypervisor for modern multi-core embedded systems

J Martins, A Tavares, M Solieri… - Workshop on next …, 2020 - drops.dagstuhl.de
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 …

Shedding light on static partitioning hypervisors for Arm-based mixed-criticality systems

J Martins, S Pinto - 2023 IEEE 29th Real-Time and Embedded …, 2023 - ieeexplore.ieee.org
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 …

Operating systems and hypervisors for network functions: A survey of enabling technologies and research studies

AS Thyagaturu, P Shantharama, A Nasrallah… - IEEE …, 2022 - ieeexplore.ieee.org
Scalable and flexible communication networks increasingly conduct the packet processing
for Network Functions (NFs) in General Purpose Computing (GPC) platforms. The …

Virtualization on TrustZone-enabled microcontrollers? Voilà!

S Pinto, H Araujo, D Oliveira, J Martins… - 2019 IEEE Real-Time …, 2019 - ieeexplore.ieee.org
With predictions pointing to more than 20 billion Internet-enabled'things' by 2020 and much
more to come, smart sensor nodes are expected to be predominant in the Internet of Things …

SoK: Security in real-time systems

M Hasan, A Kashinath, CY Chen, S Mohan - ACM Computing Surveys, 2024 - dl.acm.org
Security is an increasing concern for real-time systems (RTS). Over the last decade or so,
researchers have demonstrated attacks and defenses aimed at such systems. In this article …

seL4 Microkernel for virtualization use-cases: Potential directions towards a standard VMM

E Matos, M Ahvenjärvi - Electronics, 2022 - mdpi.com
Virtualization plays an essential role in providing security to computational systems by
isolating execution environments. Many software solutions, called hypervisors, have been …

Real-time embedded systems: Present and future

C Koulamas, MT Lazarescu - Electronics, 2018 - mdpi.com
Real-time and networked embedded systems are important bidirectional bridges between
the physical and the information worlds. Embedded intelligence increasingly pervades …

A Comprehensive Survey on the Use of Hypervisors in Safety-Critical Systems

S Lozano, T Lugo, J Carretero - IEEE Access, 2023 - ieeexplore.ieee.org
Virtualization has become one of the main tools for making efficient use of the resources
offered by multicore embedded platforms. In recent years, even sectors such as space …