The trials of qualifying Rust
by Aïssata Maïga
Ferrocene is the first qualified Rust compiler for use in safety-critical industries. It is a fully open source “blackbox” where the tools included are qualified, but not qualified independently (The question whether LLVM is qualified tends to come back a lot!)
This session aims to cover the development history of Ferrocene compiler and how it had to grow organically. From the start, the intuition was that Rust was a solid language with a role to play in the safety critical industry. Fast-forward 4 years and Rust is delivered as a compiler and a toolchain.
Aïssata Maïga
she/herI am a Software Engineer at Ferrous Systems since 2021. I wrote a thesis “Does Rust SPARK joy? Safe Bindings from Rust to SPARK” which excellent title completely outshines its content.
I work on the Ferrocene Delivery team, which focuses on the customer products.
I used to do a lot of embedded Rust and I did some training materials for ESP32 ARM chips. I hope to get back to my first love one day.
I live in Sweden with my family.