Giuseppe Emanuele Messina
Advancing the Adoption of Rust in Operating Systems for Safety-Critical ARM-Based Embedded Systems.
Rel. Corrado De Sio, Sarah Azimi, Luca Sterpone. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2026
|
Preview |
PDF (Tesi_di_laurea)
- Tesi
Licenza: Creative Commons Attribution Non-commercial No Derivatives. Download (5MB) | Preview |
Abstract
Embedded systems in the automotive domain operate under strict constraints of real-time performance and functional safety. While the AUTOSAR standard dominates this landscape, its traditional implementation in C relies heavily on external static analysis and strict coding guidelines to mitigate the language's inherent vulnerabilities regarding memory safety and undefined behavior. This thesis addresses these limitations by presenting the design and implementation of an AUTOSAR-compatible Real-Time Operating System (RTOS) developed in Rust for the Armv8-R architecture. Targeting the Cortex-R52 processor on both the QEMU emulator and the STMicroelectronics Stellar SR6P6 hardware, the kernel leverages Rust's safety features to enforce memory safety and correctness at compile time.
The implementation features fully static memory allocation, hardware-enforced isolation via the Memory Protection Unit (MPU), and a Foreign Function Interface (FFI) that allows legacy C applications to utilize the kernel services without modification thanks to the compatibility with the AUTOSAR standard
Relatori
Anno Accademico
Tipo di pubblicazione
Numero di pagine
Corso di laurea
Classe di laurea
Aziende collaboratrici
URI
![]() |
Modifica (riservato agli operatori) |
