На чем пишут программное обеспечение для космических ракет/спутников/самолетов?
Ну, двоичный код это для мазохистов :) На С пишут, не обязательно на асме. На erlang-е тоже.
Уж точно не высокоуровневое. Двоичный код, максимум ассемблер