Hola Nelson.
Imagino que usan varios lenguajes, dependiendo del proyecto al que se vayan a aplicar. En lo relativo a las misiones espaciales y robótica usarán mayormente
Assembler y
C , aunque en este artículo:
Space software validation using abstract interpretation, también mencionan
C++ y
ADA.
Saludos