Avionics, trains, oil rigs, basically everything where human life's are at stake, deemed as High Integrity Computing.

Only 4 languages apply, Java with Real Time extensions, C and C++ with certification processes like MISRA and AUTOSAR among others, and Ada/SPARK.