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