The two long-term existing environments are Misra-C and ADA.

https://en.wikipedia.org/wiki/MISRA_C

https://en.wikipedia.org/wiki/Ada_(programming_language)

ADA is particularly strong in aviation.

https://www.adacore.com/industries/avionics

Rust would also be a contender, but it's "the new kid on the block."