¿Qué tipo de lenguaje de programación se usa en los sistemas de guía de misiles y cohetes? ¿Es Ada?

La mayor parte es C / C ++, escrito sobre un sistema operativo en tiempo real como VxWorks.

Hace 20 años (por ejemplo, alrededor de 1995), era Ada – (ver 4. Resultados del uso del idioma), en gran parte debido al Mandato Ada del Congreso de 1991. Pero ese mandato finalizó en 1997, y con el final del mandato, se produjo un rápido descenso en el uso de Ada, y C / C ++ lo superó rápidamente, donde el grupo de talentos era probablemente una magnitud de orden o dos mayor que la de Ada programadores. En un artículo publicado en Software Tech News 13.1 (2010): 36-39, el Gerente Senior del equipo de Software de Vehículos Aéreos F-35 JSF en Lockheed Martin Aeronautics Fort Worth proporciona el siguiente gráfico que muestra el uso de idiomas para componentes críticos de seguridad del F-35: C / C ++ representa el 88% de ese código crítico de seguridad y Ada solo el 5%:

Fuente: https://www.csiac.org/wp-content…

Por lo general, es Ada, o para ser más precisos, su subconjunto formalmente verificado: la chispa.