Ада, Модула, ассемблер, Си, более специализированные языки. Зависит от требований к конкретной системе.
В отношении самолётов надо сказать, что там работает множество разных систем, начиная от отказоустойчивых компонентов управления и заканчивая мультимедийными системами для пассажиров на базе обычного линукса и Си++.