~/talk

Pete LeVasseur, Lead, Safety-Critical Rust Consortium [Rust Project Content

Talkat RustConf 2025 · 2025-09-02..09-05· [rust]
slides:none on file

Overview gives concrete, actionable details: a consortium of about 150 individuals with subcommittees (coding guidelines ~50 members with 10–15 active, tooling ~30, liaison ~10) is building Rust rules, Clippy lints, and certification paths; work targets automotive ADAS with ASIL levels and examples like Eclipse uProtocol and medical monitoring deployments. It documents the need for a FLS maintenance cadence, a safety‑qualified compiler, tooling gaps such as MCDC coverage, and concrete next steps rather than vague promises.

AI-written summary · about

  1. 0:00Safety-critical software intro
  2. 1:29Regulations and tiers in safety
  3. 3:56From assembly to Rust in automotive
  4. 8:53Safety-critical vs regular code
  5. 13:10Rust coding guidelines for safety
  6. 18:05Rust features complicating safety
  7. 21:58Rust language specification importance
  8. 28:00Safety regulations aren't bureaucracy
  9. 33:19Misra’s influence on Rust guidelines
  10. 37:11Rust in safety: current status and next steps
  11. 41:29Safety-Critical Rust Consortium community
  12. 44:19MCDC coverage for Rust
  13. 46:45Desires for Rust in safety
  14. 49:56Rust community values
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.