Hacker News Reader

Yes. Adacore is working on it. They announce the first qualified compiler, for some qualification, here: https://www.adacore.com/press/adacore-announces-the-first-qu...

Check out the requirements in AUTOSAR and MISRA, it’s more than just certifying some golden toolchain.

Although Ferrocene is working on that as well :) https://ferrocene.dev/en/

You might also want to check out this comparison of MISRA's rules against idiomatic Rust code: https://github.com/PolySync/misra-rust/blob/master/MISRA-Rul...

Vector has AUTOSAR with Rust modules using a certified compiler now:

See ferrocene:

Hightec also have an ISO26262 qualified compiler focused on automotive: https://hightec-rt.com/rust

So there's lots of focus on having a good alternative to C/C++