Skip to content
Rust Search
← Browse conferences

The trials of qualifying Rust

Watch on YouTube ↗
RustNL
RustWeek 29:32 364 views

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

Player unavailable or embedding blocked? Use the YouTube link above.

Other talks by Aïssata Maïga

Validating Rust for industry - Certification meets formal analysis

Oxidize Conference
Oxidize 31:05 215 views

Deploying Rust as a first-tier programming language in a production project requires addressing the entire verification and validation model around it. Employing a controlled toolchain and runtime is essential for achieving relevant certifications, but testing and verifying the code is also critical to ensure a successful delivery. In this talk, we will present qualified solutions that address several of these aspects, from exhaustive verification to complete, automated software qualification.