logo SBA

ETD

Digital archive of theses discussed at the University of Pisa

 

Thesis etd-07042023-094321


Thesis type
Tesi di laurea magistrale
URN
etd-07042023-094321
Thesis title
Design and Implementation of Isolation Mechanisms for Zynq Ultrascale+ MPSoC
Department
INGEGNERIA DELL'INFORMAZIONE
Course of study
COMPUTER ENGINEERING
Supervisors
.
relatore Prof. Dini, Gianluca
relatore Prof. Biondi, Alessandro
correlatore Ing. Cicero, Giorgiomaria
Keywords
  • Arm architecture
  • embedded systems
  • Fpga
  • isolation
  • security
Graduation session start date
21/07/2023
Availability
None
Abstract (Inglese)
Abstract (Italiano)
Nowadays, embedded computing systems are becoming part of our daily life.
They are used in various applications including healthcare, automotive, industrial
control systems, etc. These systems are more and more capable of offering
advanced functionalities, such as AI-based and computer vision algorithms,
connectivity, complex human-machine interfaces, etc. With the increase of such
functionalities, the overall complexity of the systems is increasing accordingly,
from both hardware and software perspectives. These aspects are now known
to be a source of vulnerability, thus making modern embedded systems more
exposed to cyber-attacks. This work proposes the design and implementation
of hardware- and software-based mechanisms that enforce isolation between
multiple software domains of varying criticality and security levels on the AMD
Zynq Ultrascale+ MPSoC. The latter is a heterogeneous hardware platform
equipped with CPUs (both real-time and application processors), peripherals,
and an FPGA fabric. The proposed architecture leverages Arm TrustZone,
virtualization technology, and other AMD proprietary hardware IPs of the SoC
(e.g., XMPU and XPPU) to support up to three different criticality levels,
namely low, medium, and high. Additionally, it provides an extra secure domain
dedicated to executing secure tasks. This comprehensive design ensures the
optimal utilization of the hardware platform and its computing resources.
File