7
O Ada 2012 é a próxima geração da principal linguagem de programação do mundo para engenharia de software seguro, protegido e confiável.O Ada é amplamente utilizado em sistemas críticos, onde qualquer anomalia pode levar a consequências muito graves, por exemplo, morte acidental, ferimentos ou perdas financeiras graves.Exemplos de sistemas em que o Ada é usado incluem aviônicos, ferrovias, bancos, militares e tecnologia espacial.