Thesis etd-09132024-202024 |
Link copiato negli appunti
Thesis type
Tesi di dottorato di ricerca
Author
COSIMI, FRANCESCO
URN
etd-09132024-202024
Thesis title
SLOPE: Safety LOg PEripherals design and implementation for safety-critical RISC-V solutions
Academic discipline
ING-INF/01
Course of study
INGEGNERIA DELL'INFORMAZIONE
Supervisors
tutor Prof. Saponara, Sergio
tutor Dott. Schiavi, Riccardo
tutor Dott. Schiavi, Riccardo
Keywords
- fpga
- hardware design
- peripheral
- risc-v
- safety
Graduation session start date
20/09/2024
Availability
Withheld
Release date
20/09/2064
Summary
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.
File
Nome file | Dimensione |
---|---|
The thesis is not available. |