Program Language and OS environment for space ship, missile and military equipment

ADA [éidə] : https://en.wikipedia.org/wiki/Ada_(programming_language)

RTEMS (Real Time Executive for Multiprocessor System)