Ada 2012 é a próxima geração da principal linguagem de programação do mundo para software seguro, seguro e confiável de engenharia. Ada é amplamente utilizada em sistemas críticos, onde qualquer anomalia pode levar a consequências muito graves, por exemplo, morte acidental, lesão ou perda financeira grave. Exemplos de sistemas onde Ada é usado incluem aviônica, ferrovias, bancos, militares e tecnologia espacial.