While this submission may be unaware, Ada did make an announcement[1] a few weeks back that they are exploring Rust for critical applications.

[1] https://blog.adacore.com/adacore-and-ferrous-systems-joining...