The two long-term existing environments are Misra-C and ADA. https://en.wikipedia.org/wiki/MISRA_C https://en.wikipedia.org/wiki/MISRA_C https://en.wikipedia.

The two long-term existing environments are Misra-C and ADA. https://en.wikipedia.org/wiki/MISRA_C https://en.wikipedia.org/wiki/MISRA_C https://en.wikipedia.org/wiki/Ada_(programming_language) https://en.wikipedia.org/wiki/Ada_(programming_language) ADA is particularly strong in aviation. https://www.adacore.com/industries/avionics https://www.adacore.com/industries/avionics Rust would also be a contender, but it's "the new kid on the block."