The rust foundation announced a new consortium for safety-critical systems working in safety-critical domains.
If you are looking to build safety critical systems and software in robotics, consider this:
Ferrocene
Open source Compiler: GitHub - ferrocene/ferrocene: Source code of Ferrocene, safety-critical Rust toolchain
Documentation:
https://public-docs.ferrocene.dev/main/index.html
Talks on the compiler certification, meeting the standards and how this was achieved.
ADA-CORE & Rust
About ADA CORE
ADA CORE has integrated rust in its workflow:
GNAT Pro for Rust | AdaCore
ADA CORE is also part of the rust foundation: