7
Ada 2012 es la próxima generación del lenguaje de programación más importante del mundo para la ingeniería de software seguro y confiable.Ada es ampliamente utilizado en sistemas críticos, donde cualquier anomalía puede tener consecuencias muy graves, por ejemplo, muerte accidental, lesiones o pérdidas financieras graves.Los ejemplos de sistemas donde se usa Ada incluyen tecnología de aviónica, ferrocarriles, banca, militar y espacial.