PORTALE DELLA DIDATTICA

Ricerca CERCA
  KEYWORD

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