ADA - Seguridad de Grado Militar e Industrial

¿Qué es ADA?

Ada es un lenguaje de programación estructurado, fuertemente tipado, diseñado para sistemas donde la seguridad y la confiabilidad son críticas: aviación, defensa, ferrocarriles y medicina.

Historia

Desarrollado por encargo del Departamento de Defensa de EE.UU. y nombrado en honor a Ada Lovelace (considerada la primera programadora de la historia). Lanzado en 1980, sigue siendo el estándar en sistemas críticos militares.

Características Principales

• Fuertemente tipado con verificación en tiempo de compilación
• Diseñado para sistemas de tiempo real
• Manejo robusto de excepciones
• Concurrencia y paralelismo seguros
• Verificación formal del código (SPARK Ada)

Casos de Uso

• Sistemas de aviones de combate y comerciales
• Control de trenes y metro
• Sistemas médicos críticos
• Cohetes y satélites espaciales

Popularidad

Nicho pero insustituible. El Airbus A380, el Boeing 777 y los misiles Patriot usan Ada. Donde un fallo puede costar vidas, Ada está presente.

Recursos para Aprender

• AdaCore University (gratuito)
• Learn.adacore.com
• Programming in Ada 2012 (libro)