This talk presents the lessons that we have learned while working to certify OxidOS, an operating system fully written in Rust. OxidOS is designed to be a safety critical certified version of Tock, an open source operating system for small ECUs.
From the lack of tools and methods, to ways of improving the ASPICE process, we will present all the issues that we had and still have in this process and the solutions that we have implemented.
Alexandru Radovici - I’m working at the confluence of academia and industry - CEO of a start-up bringing Rust into automotive and teaching programming and Operating Systems using Rust in the largest Computer Science Department in South-East Europe.
I am a board member of the Rust Foundation and a Core Working Group member of Tock OS, an open source operating system written in Rust.
Cristian Rusu is a senior research and development manager at OxidOS Automotive, a start-up committed to developing Rust for embedded systems where safety and security play a crucial role, such as the automotive industry.