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:
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: