| KEYWORD |
ASAC Lab - Aerospace, Safety, and Computing Lab
Study and development of RUST-based Operating System for Embedded Systems
keywords COMPANY, EMBEDDED OPERATING SYSTEMS, EMBEDDED SOFTWARE, EMBEDDED SYSTEMS, OPERATING SYSTEMS, RELIABILITY, RELIABILITY ANALYSIS, RUST, SOFTWARE
Reference persons SARAH AZIMI, CORRADO DE SIO, LUCA STERPONE
Research Groups ASAC Lab - Aerospace, Safety, and Computing Lab, ELECTRONIC CAD & RELIABILITY GROUP - CAD
Thesis type COLLABORATION WITH A COMPANY
Description Rust, with its focus on memory safety, concurrency, and performance, presents an exciting opportunity for the development of a new operating system kernel that addresses the unique challenges faced by embedded systems adopted in safety-critical and mission critical systems such as systems operating in the automotive and aerospace domains.
The proposed thesis focus on the study of existing solutions for operating systems for Embedded Systems and explores how Rust's features, can be leveraged for developing efficient and reliable embedded operating systems. The objectives includes development of a prototype operating system kernel written in Rust that can run on a real embedded platform (e.g., ARM Cortex-M, RISC-V, etc.).
The thesis is carried out in the framework of a research project in collaboration with an important automotive company. The research will focus on addressing the specific embedded system requirements within the automotive domain, ensuring the developed operating system aligns with industry standards for safety, reliability, and performance.
Required skills RUST
Notes Optional/Utility:
- Experience with Embedded Systems
- Knowledge of Operating Systems
- Knowledge of Real-Time Systems
Deadline 21/11/2025
PROPONI LA TUA CANDIDATURA