The focus of this thesis is related to the main safety issues regarding a mixed criticality system running multiple concurrent tasks. Our concerns are related to the guarantee of Freedom of Interference between concurrent partitions, and to the respect of the Worst Case Execution Time for tasks. Moreover, we are interested in the evaluation of resources budgeting and the study of system behavior in case of occurring random hardware failures. In this thesis we present a set of Safety LOg PEripherals (SLOPE): Performance Monitoring Unit (PMU), Execution Tracing Unit (ETU), Error Management Unit (EMU), Time Management Unit (TMU) and Data Log Unit (DLU); then, an implementation of SLOPE on a single core RISC-V architecture is proposed. Moreover, the design of a Control Flow Check device is described and presented. Such peripherals are able to collect software and hardware information about execution, and eventually trigger recovery actions to mitigate a possible dangerous misbehavior. We show results of the hardware implementation and software testing of the units with a dedicated software library. For the PMU we standardized the software layer according to embedded Performance Application Programming Interface (ePAPI), and compared its functionality with a bare-metal use of the library. To test the ETU we compared the hardware simulation results with software ones, to understand if overflow may occur in internal hardware buffers during tracing. Then, the architecture of SLOPE for a multi-core device is proposed. In conclusion, designed devices introduce new instruments for system investigation for RISC-V technologies and can generate an execution profile for safety related tasks.

SLOPE: Safety LOg PEripherals design and implementation for safety-critical RISC-V solutions

COSIMI, FRANCESCO
2024

Abstract

The focus of this thesis is related to the main safety issues regarding a mixed criticality system running multiple concurrent tasks. Our concerns are related to the guarantee of Freedom of Interference between concurrent partitions, and to the respect of the Worst Case Execution Time for tasks. Moreover, we are interested in the evaluation of resources budgeting and the study of system behavior in case of occurring random hardware failures. In this thesis we present a set of Safety LOg PEripherals (SLOPE): Performance Monitoring Unit (PMU), Execution Tracing Unit (ETU), Error Management Unit (EMU), Time Management Unit (TMU) and Data Log Unit (DLU); then, an implementation of SLOPE on a single core RISC-V architecture is proposed. Moreover, the design of a Control Flow Check device is described and presented. Such peripherals are able to collect software and hardware information about execution, and eventually trigger recovery actions to mitigate a possible dangerous misbehavior. We show results of the hardware implementation and software testing of the units with a dedicated software library. For the PMU we standardized the software layer according to embedded Performance Application Programming Interface (ePAPI), and compared its functionality with a bare-metal use of the library. To test the ETU we compared the hardware simulation results with software ones, to understand if overflow may occur in internal hardware buffers during tracing. Then, the architecture of SLOPE for a multi-core device is proposed. In conclusion, designed devices introduce new instruments for system investigation for RISC-V technologies and can generate an execution profile for safety related tasks.
17-set-2024
Italiano
fpga
hardware design
peripheral
risc-v
safety
Saponara, Sergio
Schiavi, Riccardo
File in questo prodotto:
File Dimensione Formato  
Publications.pdf

non disponibili

Licenza: Tutti i diritti riservati
Dimensione 67.03 kB
Formato Adobe PDF
67.03 kB Adobe PDF
SintesiEng.pdf

non disponibili

Licenza: Tutti i diritti riservati
Dimensione 67.97 kB
Formato Adobe PDF
67.97 kB Adobe PDF
TesiCosimiSLOPE_A.pdf

embargo fino al 20/09/2064

Licenza: Tutti i diritti riservati
Dimensione 6.23 MB
Formato Adobe PDF
6.23 MB Adobe PDF

I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14242/216325
Il codice NBN di questa tesi è URN:NBN:IT:UNIPI-216325