Rust in Production Ep 12 - OxidOS' Alexandru Radovici

It has become a trope by now: "Cars are computers on wheels." In modern cars, not only the infotainment system but also the engine, brakes, and steering wheel are controlled by software. Better make sure that software is safe.
Alexandru Radovici is a Software Engineer at OxidOS, a company that builds a secure, open-source operating system for cars built on Rust and Tock (tockos.org/) . We talk about the challenges of certifying Rust code for the automotive industry and the new possibilities with Rust-based car software.
About OxidOS
OxidOS is a Rust-based secure ecosystem for safety critical automotive ECUs. Their solution consists of a Rust-based Secure Operating System and DevTools for medium-size microcontrollers inside automotive ECUs, designed for safety-critical applications. The OxidOS ecosystem provides significant security and safety enhancements while reducing development and certification time by half for automotive ECU software development projects. This is achieved through the usage of Rust that brings benefits such as memory and thread safety enforced at compile time. The OxidOS architecture runs memory sandboxed applications, which have cryptographic credentials and are digitally signed.
About Alexandru Radovici
Alexandru Radovici is an Associate Professor at the Politehnica University in Bucharest, Romania, where he has been using Rust to teach for a few years. Alexandru is also one of the maintainers of the Tock embedded operating system, written fully in Rust.
Links From The Show
• llvm-cov (llvm.org/docs/...)
• Pietro Albini at Rust Nation UK: "How Ferrocene qualified the Rust Compiler" ( • Pietro Albini - How Fe... )
• microkernel (en.wikipedia.o...)
• Postcard (github.com/jam...)
• WASM (webassembly.org/)
• Embassy (embassy.dev/)
• Alex's embedded course (it's free) (ocw.cs.pub.ro/...)
• probe-rs (probe.rs/)
• Alex's Tock book: "Getting Started with Secure Embedded Systems: Developing IoT Systems for micro:bit and Raspberry Pi Pico Using Rust and Tock" (www.amazon.com...)
• Tour of Rust (tourofrust.com/)
• sudo-rs (www.memorysafe...)
• ntpd-rs (www.memorysafe...)
• embedded world (www.embedded-w...) Official Links
• OxidOS (oxidos.io)
• Tock (tockos.org/)
• Alexandru Radovici on LinkedIn ( / alexandruradovici ) About corrode
"Rust in Production" is a podcast by corrode, a company that helps teams adopt Rust. We offer training, consulting, and development services to help you succeed with Rust. If you want to learn more about how we can help you, please get in touch (github.com/cor...) .