Rust for Foundation Software
summary
Rust already appears in production: a mobile robotics in production deployment and a medical device at mid-tier safety levels, while toolchains like the Ferris systems compiler, Hi-Tech’s Rust platform and GNAT Pro for Rust exist but lack full qualification. The Safety‑Critical Rust Consortium publishes draft coding guidelines, the FLS ties compiler tests to safety evidence, and interviews of ~20 practitioners show the compiler eliminates ~90% of past analysis work, yet UB specification, some std crates and ASIL tooling remain gaps while ASIL B by end of year is a plausible near‑term goal.
AI-written summary · about
chapters (19)
- 0:00Rust in safety critical systems
- 1:02What safety critical means
- 3:27Rust for safety critical code
- 8:45Rust in production safety systems
- 11:30Toolchains and libraries for Rust
- 15:47C/C++ challenges in automotive
- 21:03Why Rust isn't perfect yet
- 26:46Memory safety in safety systems
- 31:51Rust in safety critical future
- 35:20Rust in safety critical today
- 39:50Call to action for Rust
- 42:40Closing and contact
- 43:23Q&A: Safety critical scope
- 44:24Q&A: Incidents in Rust
- 45:28Q&A: Rust in aerospace
- 47:14Q&A: Compiler trust
- 49:03Q&A: Global safety standards
- 50:29Q&A: Formal methods
- 53:19Q&A: Runtime checks
related talks
22mRust as a Foundation for a Safe and Sustainable Future
07mLightning Talk: “How Rust Is Steering Automotive Software Toward Safety”
51mPete LeVasseur, Lead, Safety-Critical Rust Consortium [Rust Project Content
46mPanel: Rust in Safety Critical
56mRust for Safe and Scalable Automotive: Insights from
06mRust (in production) Without Fear
01h 09mThe Rust Programming Language: Origin, History and Why it's so important for Arm today
26mFerrocene - qualifying the Rust compiler using a fully open source tool stack