Ada

Uma linguagem de programação estruturada e de alto nível, projetada para sistemas embarcados e de tempo real, com forte ênfase na segurança e confiabilidade do código.