На каком я.п. пишут софт в НАСА и Роскосмос?
Для языка C есть набор специальных правил MISRA C, соблюдая которые можно писать надежный безопасный код.
Спутники ГЛОНАСС пишут на Модула-2.
На ассемблере никто и нигде сейчас не пишет, потому что это непрактично. Максимум - ассемблерные вставки для оптимизации каких-нибудь вычислений.
Могу рассказать про язык программирования ДРАКОН. Будешь удивлен)